Gruppi

Messaggioda hark » 20/11/2006, 20:54

Sia G un gruppo tale che |G| è dispari. Dimostrare che ogni elemento di G ha una "radice quadrata".
Cioè, dimostrare che per ogni g $in$ G esiste h $in$ G tale che h^2 = g.
hark
New Member
New Member
 
Messaggio: 17 di 60
Iscritto il: 22/10/2006, 17:06

Re: Gruppi

Messaggioda ficus2002 » 20/11/2006, 21:00

hark ha scritto:Sia G un gruppo tale che |G| è dispari. Dimostrare che ogni elemento di G ha una "radice quadrata".
Cioè, dimostrare che per ogni g $in$ G esiste h $in$ G tale che h^2 = g.

Sia $g\in G$. Per il Teorema di Lagrange, il periodo $o(g)$ di $g$ divide l'ordine del gruppo $|G|$. Poichè $|G|$ è dispari, anche $o(g)$ è dispari, quindi esistono $a,b\in ZZ$ tali che $2a+o(g)b=1$, pertanto $g=g^{2a+o(g)b}=g^{2a}$.
ficus2002
Average Member
Average Member
 
Messaggio: 272 di 640
Iscritto il: 09/02/2006, 17:35

Messaggioda Valerio Capraro » 20/11/2006, 23:01

bella soluzione...
Valerio Capraro
Advanced Member
Advanced Member
 
Messaggio: 1631 di 2911
Iscritto il: 03/02/2004, 23:58
Località: Southampton (UK)

Re: Gruppi

Messaggioda hark » 21/11/2006, 15:40

ficus2002 ha scritto:
hark ha scritto:Sia G un gruppo tale che |G| è dispari. Dimostrare che ogni elemento di G ha una "radice quadrata".
Cioè, dimostrare che per ogni g $in$ G esiste h $in$ G tale che h^2 = g.

Sia $g\in G$. Per il Teorema di Lagrange, il periodo $o(g)$ di $g$ divide l'ordine del gruppo $|G|$. Poichè $|G|$ è dispari, anche $o(g)$ è dispari, quindi esistono $a,b\in ZZ$ tali che $2a+o(g)b=1$, pertanto $g=g^{2a+o(g)b}=g^{2a}$.


non ho ben capito da quando parli di 2a+o(g)b=1 in poi???

:shock: che vuol dire???
hark
New Member
New Member
 
Messaggio: 18 di 60
Iscritto il: 22/10/2006, 17:06

Re: Gruppi

Messaggioda ficus2002 » 21/11/2006, 21:22

hark ha scritto:
ficus2002 ha scritto:
hark ha scritto:Sia G un gruppo tale che |G| è dispari. Dimostrare che ogni elemento di G ha una "radice quadrata".
Cioè, dimostrare che per ogni g $in$ G esiste h $in$ G tale che h^2 = g.

Sia $g\in G$. Per il Teorema di Lagrange, il periodo $o(g)$ di $g$ divide l'ordine del gruppo $|G|$. Poichè $|G|$ è dispari, anche $o(g)$ è dispari, quindi esistono $a,b\in ZZ$ tali che $2a+o(g)b=1$, pertanto $g=g^{2a+o(g)b}=g^{2a}$.


non ho ben capito da quando parli di 2a+o(g)b=1 in poi???

:shock: che vuol dire???

Allora, per l'identità di Bezout, due interi $x,y$ sono coprimi se e solo se esistono due interi $a,b$ t.c. $ax+by=1$. Nel caso nostro, 2 e $o(g)$ sono coprimi (perchè $o(g)$ è dispari) quindi esistono $a,b$ interi tali che $2a+o(g)b=1$, quindi $g=g^1=g^{2a+o(g)b}=g^{2a}g^{o(g)b}=g^{2a}$ perchè $g^{o(g)b}=(g^{o(g)})^b=1^b=1$. In conclusione $g=(g^a)^2$.
ficus2002
Average Member
Average Member
 
Messaggio: 276 di 640
Iscritto il: 09/02/2006, 17:35


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite