Meine Lösung dazu wäre:
(i) ord(ga)= kleinster gemeinsamer Vielfach von a und n
Es ist doch ord(g)=n also g^n = e
Damit ist auch (g hoch a) ^n = ( g hoch n ) a = e
und damit ord(ga) ≤ n also eher ein Teiler als ein
Vielfaches von n.
(ii) ord(g)=min(xn) mit min(xn)∈U und x∈ℕ ???
mit g enthält U auch alle Potenzen von g. Diese bilden eine
zyklische Untergruppe von U mit der Ordnung n.
Also enthält U eine Untergruppe der
Ordnung n, und damit ist ord(G) ein Vielfaches von n.