Изменения

Пусть <math>p</math> - простое число. Тогда если <math>0<a<p</math>, то <math>a</math> и <math>p</math> взаимно просты. Это означает, что выполнено соотношение Безу: <math>u\cdot p+v\cdot a=1</math> для некоторых целых <math>u,v</math>. При этом можно считать, что <math>0<v<p</math>, т.к. в противном случае можно прибавить и вычесть <math>a\cdot p</math>, отчего <math>v</math> увеличится(уменьшится) на <math>p</math>, а <math>u</math> уменьшится(увеличится) на a. Иными словами, <math>\forall a\in\mathbb{N},\,0<a<p : \exists v\in\mathbb{N},\,0<v<p : a\cdot v\equiv 1\mod p</math>. Это означает, что числа от 1 до <math>p</math> вместе с операцией умножения по модулю <math>p</math> образуют группу <math>\mathbb{Z}_p</math>.