Strutture algebriche: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 153:
{{Matematica voce|Dimostrazione 2||
*Ipotesi: <math>(a,n) =1</math>
*Tesi: <math>[a]</math> è invertibile
 
Sia
Riga 191:
:<math>\forall a \neq 0, \ 1 < a < n, \ (a,n)=1</math>}} }}
 
{{Matematica voce|Lemma||Se <math>(\mathbb{Z}_n)</math> è campo, allora <math>\forall [a] \neq [0]</math>, <math>[a]</math> è invertibile.}}
 
Il lemma vuol dire che, se tutti i numeri <math>a</math> che precedono <math>n</math> sono primi con <math>n</math>, allora <math>n</math> è un numero primo; ne <math>n</math> è un numero primo, allora tutti i numeri che lo precedono sono primi con lui.