Показник числа за модулем: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Рядок 3:
: <math>a^\ell \equiv 1\pmod m.</math>
 
Показник визначений тільки для чисел ''a'', [[взаємно прості числа|взаємно простих]] з модулем ''m'', тобто для елементів [[группагрупа обратимыхоборотніх элементовелементів кольцакільця вычетовлишків|групи оборотнихоборотніх елементів]] [[кільце лишків|кільця лишків]] по модулю ''m''. При цьому, якщо показник числа ''a'' по модулю визначений, то він є [[дільник|дільником]] значення [[функція Ейлера|функції Ейлера]] <math>\varphi(m)</math> (наслідок [[теорема Лагранжа (теорія груп)|теореми Лагранжа]]).
 
Щоб показати залежність показника <math>\ell</math> від ''a'' і ''m'', його також позначають <math>P_m(a)</math>, а якщо ''m'' фіксоване, то просто <math>P(a)</math>.