Fie G un grup astfel incat ordinul oricarui element \( x \in G \), in afara de e, este numarul p. Sa se arate ca daca orice submultime cu \( p^2 -1 \) elemente contine \( p \) elemente ale lui G ce comuta intre ele, atunci G e abelian.
Unirea 2004
Problema destul de grea
Moderators: Bogdan Posa, Beniamin Bogosel, Marius Dragoi
-
Theodor Munteanu
- Pitagora
- Posts: 98
- Joined: Tue May 06, 2008 5:46 pm
- Location: Sighetu Marmatiei
Problema destul de grea
Last edited by Theodor Munteanu on Tue Jan 26, 2010 4:59 pm, edited 1 time in total.
La inceput a fost numarul. El este stapanul universului.
-
Theodor Munteanu
- Pitagora
- Posts: 98
- Joined: Tue May 06, 2008 5:46 pm
- Location: Sighetu Marmatiei
-
Cezar Lupu
- Site Admin
- Posts: 612
- Joined: Wed Sep 26, 2007 2:04 pm
- Location: Bucuresti sau Constanta
- Contact:
Nu a fost sters. Cel putin, eu nu l-am sters! Ar trebui sa-l intrebi chiar pe dansul de ce l-a sters. Oricum, nu mi se pare elegant sa faci asta. Oricum, nu te poti astepta la altceva din partea lui bae.
Last edited by Cezar Lupu on Sun Sep 05, 2010 5:38 pm, edited 1 time in total.
An infinite number of mathematicians walk into a bar. The first one orders a beer. The second orders half a beer. The third, a quarter of a beer. The bartender says “You’re all idiots”, and pours two beers.
Voi posta eu din nou rezolvarea(ca tot ti-am promis asta Theo 
)
Fie a si b doua elemente din G astfel incat b sa nu fie o putere a lui a sau invers.
Demonstram pentru inceput ca daca \( a^nb=ba^n \) atunci ab=ba oricare ar fi n<=p;
Cum (n;p)=1 rezulta ca exista x si y astfel incat nx+yp=1 rezulta ca nx=1-yp.
Din \( a^nb=ba^n \) inmultind cu \( a^n \) obtinem \( a^{2n}b=ba^{2n} \).
Reluand procesul de x ori obtinem \( a^{xn}b=ba^{xn} \) care e totuna cu \( a^{1-yp}b=ba^{1-yp} \) echivalent cu ab=ba.
Asadar daca exista un n astfel incat \( a^nb=ba^n \) atunci a si b comuta.
Fie H=<b> si fie multimea \( S=H \cup a^1H\cup a^2H ... \cup a^{p-1}H -\{e\} \)
unde multimile \( a^iH \) sunt disjuncte.
Multimea S are \( p^2-1 \) elemente. Cum H are p-1 elemente care comuta(toate fiind puteri ale lui b) inseamna ca exista un element x apartinand lui \( a^iH \) care sa comute cu toate elementele multimii H.
De aici rezulta ca \( a^ib=ba^i \) si conform celor demonstrate la inceput ab=ba.
Cum a si b au fost alese aleator rezulta ca G este abelian.
)Fie a si b doua elemente din G astfel incat b sa nu fie o putere a lui a sau invers.
Demonstram pentru inceput ca daca \( a^nb=ba^n \) atunci ab=ba oricare ar fi n<=p;
Cum (n;p)=1 rezulta ca exista x si y astfel incat nx+yp=1 rezulta ca nx=1-yp.
Din \( a^nb=ba^n \) inmultind cu \( a^n \) obtinem \( a^{2n}b=ba^{2n} \).
Reluand procesul de x ori obtinem \( a^{xn}b=ba^{xn} \) care e totuna cu \( a^{1-yp}b=ba^{1-yp} \) echivalent cu ab=ba.
Asadar daca exista un n astfel incat \( a^nb=ba^n \) atunci a si b comuta.
Fie H=<b> si fie multimea \( S=H \cup a^1H\cup a^2H ... \cup a^{p-1}H -\{e\} \)
unde multimile \( a^iH \) sunt disjuncte.
Multimea S are \( p^2-1 \) elemente. Cum H are p-1 elemente care comuta(toate fiind puteri ale lui b) inseamna ca exista un element x apartinand lui \( a^iH \) care sa comute cu toate elementele multimii H.
De aici rezulta ca \( a^ib=ba^i \) si conform celor demonstrate la inceput ab=ba.
Cum a si b au fost alese aleator rezulta ca G este abelian.