Algebra modulare

Messaggioda Giravite » 29/08/2006, 07:09

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.
Giravite
Starting Member
Starting Member
 
Messaggio: 14 di 29
Iscritto il: 23/11/2005, 19:18

Re: Algebra modulare

Messaggioda carlo23 » 29/08/2006, 08:12

Giravite ha scritto: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<j<p$ allora $p$ non divide ne $j!$ ne $(p-j)!$ per cui $p|((p),(j))$ e segue $(x+1)^p -= x^p +1 mod p$. Se il teorema di Fermat è vero per $x$ allora è vero per $x+1$, infatti sarà $x^p -= x mod p$ e $(x+1)^p -= x^p +1 -= x+1 mod p$, infine il teorema è sicuramente vero per $x=0$ da cui parte l'induzione.

Ciao Ciao :D
carlo23
Senior Member
Senior Member
 
Messaggio: 1299 di 1683
Iscritto il: 01/11/2005, 19:38

Messaggioda Giravite » 29/08/2006, 16:09

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
Giravite
Starting Member
Starting Member
 
Messaggio: 15 di 29
Iscritto il: 23/11/2005, 19:18

Messaggioda carlo23 » 29/08/2006, 16:23

Giravite ha scritto: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 :-D :-D

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 :wink:
carlo23
Senior Member
Senior Member
 
Messaggio: 1304 di 1683
Iscritto il: 01/11/2005, 19:38

Messaggioda Bruno » 29/08/2006, 16:30

carlo23 ha scritto:(...) 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.
Bruno
Avatar utente
Bruno
Junior Member
Junior Member
 
Messaggio: 79 di 223
Iscritto il: 10/11/2005, 10:02
Località: Bologna

Messaggioda Fioravante Patrone » 29/08/2006, 17:07

tranquillo, Bruno
sono davvero proprio ugualiugualiuguali
Avatar utente
Fioravante Patrone
Cannot live without
Cannot live without
 
Messaggio: 254 di 10808
Iscritto il: 09/06/2006, 19:18
Località: Temporaneamente a Novi Ligure ;-)


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite