Обсуждение:Теорема о цикличности мультипликативной группы поля Z/pZ

Идея доказатеьства правильная но не покрыт случай когда р - 1 равно степени простого числа. Нужно рассуждать немного не так - взять элемент с самым большим порядком k и показать что любой элемент в степени k дает 1. Далее показывается что тогда k = p - точно так же как это сделано в приведенном доказательстве.