zahlentheoretischer Begriff.

Sind a, m teilerfremde natürliche Zahlen, so gibt es eine Zahl k ∈ ℕ mit \begin{eqnarray}{a}^{k}\equiv 1\,\,\mathrm{mod}\,\,m.\end{eqnarray}

Die kleinste (positive) Zahl k mit dieser Eigenschaft heißt Ordnung von a modulo m.