Kertaluku (kokonaisluku)

Olkoon a ja m>1 keskenään jaottomia kokonaislukuja. Tällöin a:n kertaluku modulo m on pienin positiivinen kokonaisluku n, jolle aⁿ≡1 mod m. Tällainen luku on aina olemassa ja se on Eulerin lauseen perusteella korkeintaan φ(m). Kertalukua merkitään n=ord_ma. Jos a ja m ovat keskenään jaottomia, on aⁿ≡1 mod m jos ja vain jos ord_ma|n.