L’equazione Xᵖ⁺¹-Xᵖ=Yq usando il gruppo Zq*

[@AlbertoVigato]

Quando affermi che ([m+1]_q[m]_q⁻¹)ᵖ = [1]_q implichi che l'ordine di [m+1]_q[m]_q⁻¹ sia p ma non capisco perché.
A questo punto non potremmo solo affermare che l'ordine di [m+1]_q[m]_q⁻¹ DIVIDA p?

[@marcodamele]

@@AlbertoVigato si divide p, ma p è primo quindi l’ordine è p.

[@AlbertoVigato]

@@marcodamele infatti, mi è venuto in mente dopo che p è primo per ipotesi e necessariamente deve essere l'ordine.
Grazie

[@marcodamele]

@@AlbertoVigato figurati 😊