Algebra modulare

[Giravite]

Ciao a tutti ,vorrei chiedervi come risolvereste questo exe.

Sia p appartenente P con p>2. Dimostrare che per ogni x,y appartenente Z vale:

Se x congruo y (mod p) => x^p congruo y^p (mod p^2).

Grazie aloa.

[carlo232]

"Giravite":Ciao a tutti ,vorrei chiedervi come risolvereste questo exe.

Sia p appartenente P con p>2. Dimostrare che per ogni x,y appartenente Z vale:

Se x congruo y (mod p) => x^p congruo y^p (mod p^2).

Grazie aloa.

Piccolo teorema di Fermat (ma non ve lo han fatto studiare?):

dato un numero primo $p$ per ogni intero $a$ si ha $a^p -= a mod p$.

Si dimostra in tal modo, abbiamo la formula $(x+1)^p=sum_(j=0)^p ((p),(j))x^j$, costatiamo che $j!(p-j)!((p),(j))=p!$ e dato $p$ divide il membro destro dividerà un fattore del membro sinistro e se $0
Ciao Ciao

[Giravite]

Scusa la mia miopia, ma non riesco a vedere dove sfrutti l' ipotesi se x = y (mod p),e poi
non riesco a capire come arrivi all' assunto finale x^p = y^p (mod p^2)
Ti ringrazio per la tua risposta e scusa l'insistenza, BAY BAY

[carlo232]

"Giravite":Scusa la mia miopia, ma non riesco a vedere dove sfrutti l' ipotesi se x = y (mod p),e poi
non riesco a capire come arrivi all' assunto finale x^p = y^p (mod p^2)
Ti ringrazio per la tua risposta e scusa l'insistenza, BAY BAY

In realtà noto solo adesso che è x^p = y^p (mod p^2) mentre avevo letto x^p = y^p (mod p^2) !! Quindi la miopia mi sa tanto che è mia

Ora devo proprio andare, vedo se mi riesce di postare più tardi... comunque seguirebbe dalle proprietà delle congruenze e dal teorema che ti ho detto sopra

[Bruno13]

"carlo23":(...) In realtà noto solo adesso che è x^p = y^p (mod p^2) mentre avevo letto x^p = y^p (mod p^2) !!

...devo avere anch'io qualche problema alla vista, forse
dovuto anche al fatto che non posso visualizzare le
formule: Carlo, scusami l'intromissione, ma dove sarebbe
la tua svista? A me sembrano ugualiuguali...
Adesso provo a rileggere per bene tutto il topic.

[Fioravante Patrone1]

tranquillo, Bruno
sono davvero proprio ugualiugualiuguali