Порядок числа

Определение:

Порядком числа [math]a[/math] по модулю [math]n[/math] называется минимальное [math]x[/math] такое, что [math]a^x=1 \pmod n[/math].

Обозначается [math]ord_n(a)=x[/math], или просто [math]ord(a)=x[/math] — если понятно, о каком модуле идет речь.