Quadratrestgruppe/Q/Eindeutiger Vertreter/Aufgabe
Es sei die (multiplikative) Untergruppe der Quadrate innerhalb der positiven rationalen Zahlen und es sei die zugehörige Äquivalenzrelation auf . Zeige, dass jede Äquivalenzklasse einen eindeutigen Repräsentanten besitzt, der durch eine natürliche Zahl gegeben ist, in deren Primfaktorzerlegung jeder Primfaktor einfach ist (die erfülle diese Eigenschaft).