Ordnung
Die Ordnung von a modulo n ist das minimale k, welches den Satz von Euler erfüllt.
Wir haben also
ordn(a)=min{k∈N:ak≡1modn}.
Eigenschaften
ak≡1modn⟺ordn(a)∣k
{k∈N:ak≡1modn}=N⋅ordn(a)={ℓ⋅ordn(a):ℓ∈N}
Also alle Vielfachen der Ordnung von a modulo n erfüllen auch den Satz von Euler.
ordn(a)∣φ(n)
ak1≡ak2modn⟺k1≡k2modordn(a)
Wir können so also leicht im Exponenten rechnen.
ordn(ak)=ggT(ordn(a),k)ordn(a)
Ist d mit d∣ordn(a) , so hat
adordn(a)
Ordnung d.
Bestimmung der Ordnung
Ein naives Verfahren bei dem n klein ist oder die Ordnung selbst vermutlich klein ist: