Ancora Sottogruppi ...

Jack Durden
Ciao a tutti ho due esercizi e due dubbi.

Primo esercizio: Ricordando le proprietà che caratterizzano i sottogruppi determinare tutti i sottogruppi del gruppo $(U_12, *)$
Risposta:Allora io so che nel gruppo $U_12$ ci sono gli invertibili, ovvero tutti quegli elementi che sono coprimi con il modulo 12. So che $U_12$ è composto da quattro elementi, grazie ad Eulero, e più precisamente $U_12 = {bar1, bar5, bar7, bar11}$. So che affinchè un sottogruppo S possa essere chiamato tale deve avere l'elemento neutro, l'inverso e l'operazione deve essere chiusa in S. Detto ciò ho problemi a trovare i sottogruppi. :cry: Chi mi da una mano?

Secondo esercizio: Considerato il gruppo $G = (ZZ_3762, +)$ ricordare la condizione per cui una classe $bara in G$ appartenga al gruppo $G^1 = (U_3762, *)$. Dire quali fra i seguenti elementi appartengono a $G^1$: $bar95, bar1847, bar4, bar1859$. Determinare, quando possibile, l'inverso.
Risposta: Allora affinchè $a in G$ appartenga a $G1 = (U_3762, *)$, a deve essere coprimo con 3762. Detto questo secondo me l'unico elemento che appartiene a $G^1$ è $bar1847$. Giusto o sbagliato? Poi per trovare l'inverso devo trovare prima il numero degli elementi di $U_3762$ (cosa che non riesco a fare) e poi tramite la formula: y = x^(numero elementi di U) - 1 mod 3762 trovo l'inverso. Giusto?

Chiedo una manona d'aiuto. :?

Risposte
_luca.barletta
"Jack Durden":

Secondo esercizio: Considerato il gruppo $G = (ZZ_3762, +)$ ricordare la condizione per cui una classe $bara in G$ appartenga al gruppo $G^1 = (U_3762, *)$. Dire quali fra i seguenti elementi appartengono a $G^1$: $bar95, bar1847, bar4, bar1859$. Determinare, quando possibile, l'inverso.
Risposta: Allora affinchè $a in G$ appartenga a $G1 = (U_3762, *)$, a deve essere coprimo con 3762. Detto questo secondo me l'unico elemento che appartiene a $G^1$ è $bar1847$. Giusto o sbagliato?

Giusto

Poi per trovare l'inverso devo trovare prima il numero degli elementi di $U_3762$ (cosa che non riesco a fare) e poi tramite la formula: y = x^(numero elementi di U) - 1 mod 3762 trovo l'inverso. Giusto?

Chiedo una manona d'aiuto. :?


Per trovare il numero di elementi devi calcolare il quanti sono i coprimi con 3762 (<3672), quindi usi Eulero. Per trovare l'inverso di x fai $x^(phi(3762)-1) mod3762$

miuemia

_luca.barletta
a me risulta $phi(3762)=1080$

miuemia
scusa ma $3762=2*3^2*11*19$ allora $phi(3762)=phi(2)*phi(3^2)*phi(11)*phi(19)=1*4*10*18=720$ giusto???
sbaglio qlcs???

Jack Durden
ora so che la mia voce non conta moltissimo ... :-D ... ma anche a me esce 1080 ... è 1 * 6 * 10 * 18

_luca.barletta
$phi(9)=6$

miuemia
giusto che ca****ta... $phi(p^h)=p^h-p^{h-1}$

perfettamente ragione correggo

Manugal
Scusate se mi intrometto. Per quanto riguarda il primo esercizio, non basterebbe anche dire che siccome $U_12$ è un gruppo con un numero pari di elementi allora ha un numero dispari di sottogruppi di ordine 2? Poi non capisco quando si deve applicare il teorema di Lagrange per sapere che "tipo" di sottogruppi ho. Grazie.

miuemia
manugal e come si dimostra che un gruppo di ordine pari ha un numero dispari di elementi di ordine $2$??????

:-D :-D :-D

Manugal
Ah boh :D

Come hai fatto tu?

miuemia
beh io non l ho mica dimostrato quello era un esempio...
ma comunque si può dimostrare così:

se $|G|=2n$ allora sia $H$ l'insieme degli elementi di $G$ che coincidono con il proprio inverso ovvero gli elementi di ordine $2$
e $K$ l'insieme degli elementi di $G$ che sono diversi dal proprio inverso.
bene adesso si ha che $G={id}uuHuuK$
se $K=\emptyset$ allora $H$ ha cardinalità dispari ovviamente
se $K!=\emptyset$ allora gli elementi di $K$ li posso accoppiare, ognuno con il proprio inverso e quindi $|K|=2k$
allora $|H|=2(n-k)-1$
che è la tesi.

:wink:

Manugal
Si, ma forse non mi sono spiegato. Io non volevo sapere la dimostrazione; volevo solo sapere se per fare quell'esercizio potevo affermare che questo gruppo di ordine pari ha un numero dispari di elementi di ordine 2 (e naturalmente poi trovarli).

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.