Gruppi ciclici

Messaggioda anto_zoolander » 14/02/2018, 19:39

Ora comincerò a rompere anche qui con le dimostrazioni :-D

C’è questo teorema che volevo sapere se ho dimostrato correttamente.

sia $(G,times)$ un gruppo.
Se $G$ è ciclico allora $forallHleqG,H$ è ciclico.


Chiaramente se $H={e}$ o $H=G$ è banalmente vero.
Se $H$ è un sottogruppo non banale, allora consideriamo questo.
Sia per ipotesi $existsg inG:<g> =G$ pertanto

$(forallx inH=>x inG)=>existsk inZZ:x=g^k$

Inoltre poiché $H$ è sottogruppo allora $g^(-k)inH$ questo ci suggerisce che esista la quantità $m=min{k inNN:g^k inH}$
Vogliamo mostrare che $H=<g^m>$

Chiaramente se $x in <g^m> => x inH$ poiché $x=(g^m)^q$ ma $g^m inH$ e $H$ è sottogruppo pertanto anche $(g^m)^q$ gli appartiene.

Viceversa se $x inH$ allora per quanto visto $existst inZ:g^t=x$ allora dividendo $t$ per $m$ si ha

$x=g^t=g^(mq+r)=g^(mq)timesg^r,0leqrleqm-1$

Ora poiché $g^(mq)timesg^r inH$ e $g^(mq) inH$ deve essere $g^r inH$ ma $r<m$ pertanto deve essere $r=0$

Si può vedere meglio considerando $g^t times g^(-mq)=g^r$
Visto che entrambi gli elementi appartengono ad $H$ e visto che $H$ è gruppo anche $g^r$ deve appartenergli, pertanto anche quì deve essere $r=0$

Is it correct? :-k
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 1914 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Gruppi ciclici

Messaggioda Shocker » 15/02/2018, 21:51

Yep
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 798 di 1738
Iscritto il: 02/10/2011, 17:09

Re: Gruppi ciclici

Messaggioda Ernesto01 » 16/02/2018, 17:12

Anche a me sembra corretto.
Forse era più immediato dimostrarlo su $ZZ_n$ e su $ZZ$, e poi concludere ricordando che ogni gruppo ciclico è isomorfo a loro.
Ernesto01
Average Member
Average Member
 
Messaggio: 365 di 884
Iscritto il: 14/03/2015, 14:35

Re: Gruppi ciclici

Messaggioda anto_zoolander » 16/02/2018, 18:52

Grazie ad Entrambi :-D

@ernesto
Si l’unica cosa è che questo teorema andava esplicitamente dimostrato senza usare la teoria degli omomorfismi :evil:

Direttamente a seguire c’era questo

sia $(G,times)$ un gruppo finito e sia $o(G)=|G|$.

• se $G$ è ciclico allora $forallHleqG,o(H)|o(G)$
• se $G$ è ciclico allora $forallk inNN:k|n,exists!HleqG:o(H)=k$


Prima c’è un lemma utile.
sia $(G,times)$ un gruppo.
Sia $g inG:o(g)=m$ allora $g^k=g^h<=>hequivk(modm)$


$1)$ Dato che $G$ è ciclico allora ogni sottogruppo è ciclico.
In particolare se $HleqG=>H=<g^m>$ con $m=min{k inNN:g^k inH}$
Supponiamo che $o(H)=k$ allora otteniamo due cose

$1.$ $(g^m)^k=e$
$2.$ $(g^m)^n=(g^n)^m=e^m=e$

Pertanto per quanto visto prima $(g^m)^k=(g^m)^n<=>kequivn(modk)$ ovvero $k|n$ essendo $o(G)=n$ e $o(H)=k$ si ha la tesi.

$2)$ prendiamo $k inNN:k|n$ e mostriamo che esiste un sottogruppo di ordine $k$
Poiché $k|n=>existst inZZ:n=kt$ chiaramente deve essere $t>0$
Mostriamo che $H= <g^t>$ ha ordine $k$. Chiaramente $(g^t)^k=g^(tk)=g^n=e$ pertanto $k$ è un periodo, ma è anche il minimo poche se $o(H)<k$ allora $o(H)<kt=n$ e questo è assurdo. Quindi $H$ ha ordine $k$

Mi manca di mostrare che sia unico :-k
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 1925 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Gruppi ciclici

Messaggioda Shocker » 16/02/2018, 19:22

Non ho capito l'assurdo nel punto $2$, potresti essere più esplicito?
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 799 di 1738
Iscritto il: 02/10/2011, 17:09

Re: Gruppi ciclici

Messaggioda anto_zoolander » 16/02/2018, 19:36

Certo. Ponendo $H= <g^t>$ come definito prima
Sappiamo che $k$ è un periodo di $g^t$ poiché $(g^t)^k=e$
vogliamo mostrare che $k=min{p inNN:(g^t)^p=e}$
Se per assurdo fosse $o(g^t)<k$ allora si avrebbe che $t*o(g^t)<tk=n$

Si avrebbe che $(g^t)^(o(g^(t)))=e$ e $(g^t)^k=g^n=e$
Ovvero essendo $n=min{q inNN: g^q=e}$ deve essere $ngeqt o(g^t)$ ottenendo la contraddizione
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 1927 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Gruppi ciclici

Messaggioda Shocker » 17/02/2018, 11:25

OK molto bene. Hai fatto qualche progresso per l'unicità?
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 800 di 1738
Iscritto il: 02/10/2011, 17:09

Re: Gruppi ciclici

Messaggioda algibro » 18/02/2018, 22:20

Ho voluto fare un tentativo sull'unicità, anche se un passaggio non mi convince.

Testo nascosto, fai click qui per vederlo
Abbiamo $G$ gruppo ciclico di ordine $n$. Siano $H$ e $K$ due sottogruppi di $G$ aventi entrambe ordine $m$.
Sappiamo che $H$ e $K$ sono ciclici e, dato $g \in G : \langle g \rangle =G$, supponiamo che $H$ sia generato da $g^h$ e $K$ da $g^k$ così
$(g^h)^m=g^{hm}=1_G=g^{km}=(g^k)^m$.
Ora credo sia sufficiente mostrare che $h$ e $k$ siano nella stessa classe di resto modulo $n$ e poiché $n|hm$ e $n|km$ si ha che $n|hm-km=m(h-k) \Rightarrow $scusate da qui in poi mi sa che ho scritto una cavolata, adesso ci penso su $h \equiv k (mod n)$. Così $g^k \in H$ e $H=K$
algibro
Junior Member
Junior Member
 
Messaggio: 152 di 378
Iscritto il: 29/01/2017, 15:16

Re: Gruppi ciclici

Messaggioda algibro » 20/02/2018, 08:16

Riscrivo la dimostrazione provando un'altra strada :D .

Testo nascosto, fai click qui per vederlo
Abbiamo $G$ gruppo ciclico di ordine $n$. Siano $H$ e $K$ due sottogruppi di $G$ aventi entrambe ordine $m$.
Sappiamo che $H$ e $K$ sono ciclici e, dato $g \in G : \langle g \rangle =G$, supponiamo che $H$ sia generato da $g^h$ e $K$ da $g^k$ così
$(g^h)^m=g^{hm}=e=g^{km}=(g^k)^m$.
Se $h=k$ abbiamo banalmente la tesi. Se invece $h \ne k$, poniamo ad esempio $h < k$. Allora per il teorema della divisione euclidea $k=hq+r$ con $0 <= r < h$. Abbiamo:
$e=(g^k)^m=(g^{hq+r})^m=g^{hqm} \cdot g^{rm}=((g^h)^m)^q \cdot g^{rm}=e \cdot g^{rm} \Rightarrow g^{rm}=e$
Così, siccome $m$ è per ipotesi un intero positivo, ci sono due possibilità per $r$:
1) $r=h$ ma ciò contraddice $r < h$ dalla divisione euclidea;
2) $r=0$ da cui $g^k = g^{hq} = (g^h)^q \in H$
Può funzionare ?

E poi scusate, ma se $h < k$ e $hm, km$ sono due periodi di $g$, deve essere $hm|km \Rightarrow km=hmq \Rightarrow k=hq$, no ?
algibro
Junior Member
Junior Member
 
Messaggio: 153 di 378
Iscritto il: 29/01/2017, 15:16

Re: Gruppi ciclici

Messaggioda Shocker » 20/02/2018, 12:41

algibro ha scritto:Riscrivo la dimostrazione provando un'altra strada :D .
Così, siccome $ m $ è per ipotesi un intero positivo, ci sono due possibilità per $ r $:
1) $ r=h $ ma ciò contraddice $ r < h $ dalla divisione euclidea;
2) $ r=0 $ da cui $ g^k = g^{hq} = (g^h)^q \in H $

Non ho capito queste tre righe.

E poi scusate, ma se $ h < k $ e $ hm, km $ sono due periodi di $ g $, deve essere $ hm|km \Rightarrow km=hmq \Rightarrow k=hq $, no ?

Detta così è falsa: prendi $g$ di ordine $6$. Allora $g^12 = g^18 = e$ ma $12$ non divide $18$.


algibro ha scritto: $n | mk - mh = m(h-k) \Rightarrow $scusate da qui in poi mi sa che ho scritto una cavolata, adesso ci penso su $ h \equiv k (mod n) $

In generale questo è falso, quello che puoi dire è che $h \equiv k mod (\frac{n}{(n, m)})$, in questo caso $(n, m) = m$ perché $m | n$.

Comunque ci siamo quasi: se $k \equiv h \equiv 0 \mod(\frac{n}{m})$(è chiaro perché è zero, no?) allora sono entrambi multipli di $\frac{n}{m}$. Sarebbe interessante scoprire che ordine ha $g^\frac{n}{m}$.
#NikkioAlleIMO - https://www.youtube.com/watch?v=vEl5bFIALb8

"Se vivessimo in $\mathbb{R^4}$ allora nessuno si impiccherebbe perché in $\mathbb{R^4}$ tutti i nodi si sciolgono"
Avatar utente
Shocker
Senior Member
Senior Member
 
Messaggio: 802 di 1738
Iscritto il: 02/10/2011, 17:09

Prossimo

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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite