Strutture algebriche: differenze tra le versioni

Per ipotesi, <math>n</math> non può dividere <math>a</math>, quindi deve dividere <math>(x-y)</math>, ma <math>(x-y)<n</math>, quindi si ha un assurdo, perché dovrebbe essere <math>x=ny</math>. }} }}

 

 

{{Matematica voce|Dimostrazione 1||<math>(\mathbb{Z}n,+,\cdot)</math> campo significa che <math>\forall [a] \in \mathbb{Z}_n, \ [a]\neq 0</math> è invertibile. Allora, si ha

cioè, nessun numero intero minore di <math>n</math> divide <math>n</math>.}}

 

 

:<math>\forall a \neq 0, \ 1 < a < n, \ (a,n)=1</math>}} }}