Gruppo Ciclico o meno

banino84
Chi mi sa spiegare se

Si decida se il gruppo $U(ZZ_35)$ è ciclico o meno.

Risposte
banino84
Mi sono dato una risposta da solo

Sappiamo che il prodotto diretto di due gruppi ciclici di ordine p e q ha ordine pq ed è ciclico se è solo se p e q sono coprimi.

Ragionando posso dire che $ZZ_35= ZZ_5$ X $ZZ_7$

posso dimostrare che $ZZ_5 $ è ciclico perchè ha ordine 2 è per definizione se che un gruppo $ZZ_n$ è ciclico se $MCD(n,k)=1$
con k è il suo ordine. Stessa cosa vale per $ZZ_7$ il $MCD(7,3)=1$

Quindi siccome entrambi gli ordini sono coprimi tra loro e i gruppi sono ciclici $ZZ_35$ è ciclico


GIUSTO??

Ma il gruppo che hai tra le mani non è il gruppo additivo [tex]\mathbb{Z}_{35}[/tex] ma il gruppo moltiplicativo [tex]U(\mathbb{Z}_{35})[/tex], cioè il gruppo degli elementi invertibili dell'anello [tex]\mathbb{Z}_{35}[/tex].

banino84
"Martino":
Ma il gruppo che hai tra le mani non è il gruppo additivo [tex]\mathbb{Z}_{35}[/tex] ma il gruppo moltiplicativo [tex]U(\mathbb{Z}_{35})[/tex], cioè il gruppo degli elementi invertibili dell'anello [tex]\mathbb{Z}_{35}[/tex].

Ah quindi la mia soluzione è errata?
io ho usato il gruppo moltiplicativo $g^n , n in ZZ $

Se scrivi [tex]\mathbb{Z}_{35} = \{0,1,2,...,34\}[/tex] allora
\[
G = U(\mathbb{Z}_{35}) = \{1,2,3,4,6,8,9,11,12,13,16,17,18,19,22,23,24,26,27,29,31,32,33,34\}.
\]
Questo è un gruppo moltiplicativo con 24 elementi. Per esempio le potenze di 2 in [tex]G[/tex] sono 2, 4, 8, 16, 32, 29, 23, 11, 22, 9, 18, 1. Quindi 2 ha ordine 12 in [tex]G[/tex]. Per mostrare che [tex]G[/tex] è ciclico devi trovare un elemento di [tex]G[/tex] le cui potenze esauriscono tutto [tex]G[/tex]. Cioè un elemento di [tex]G[/tex] di ordine 24.

banino84
usando la funzione φ(n) di Eulero posso ricavarmi l'ordine, e poi mi scrivo tutti i generatori di $ZZ_35$.
ma c'è un modo veloce per trovarmi un elemento di $G$ di ordine 24?

Ricorda che è un generatore di [tex]G[/tex] che devi trovare. Prova un po' a trovarne uno e poi vediamo se il ragionamento si può semplificare.

banino84
sinceramente mi sto esaurendo :) solo facendo con 3 arrivo a potenze enormi, e cmq 3 non è un elemento di G di ordine 24

Siccome 2 ha ordine 12 ti basta trovare un elemento il cui quadrato è uguale a 2.

banino84
"Martino":
Siccome 2 ha ordine 12 ti basta trovare un elemento il cui quadrato è uguale a 2.

quindi 4, giusto?

duombo
Anche a me interessa la richiesta di banino84. Martino posso chiederti una cortesia? Mi puoi spiegare perché la soluzione di banino84 non è corretta? Ho provato a ragionarci su e non ho capito xchè non dovrebbe essere corretta

banino84
Scusami Martino, ti faccio una risposta secca, perchè a questo punto non sto capendo più nulla :(
$ZZ_35$ e ciclico o no? mi spieghi velocemente il perchè con un esempio?

Kashaman
Ciao banino, credo che tu stia facendo un bel po' di confusione.
Ti ricordo un po' di questioni :
1) un gruppo $G$ si dice ciclico se esiste $g \in G$ tale per cui $G={ g^k | k \in \mathbb{Z} } $. $g$ prende il nome di generatore e si usa, generalmente, la notazione $G=$. Se l'ordine di $g$ è finito allora sarà finito anche l'ordine di $G$ e in particolare coinciderà con l'ordine di $g$. Se l'ordine di $g$ è infinito, lo sarà anche quello di $G$.
2) In generale se $G$ è un gruppo, $g \in G$ si ha che l'ordine di $g$ divide l'ordine del gruppo.
3) Ogni altro generatore di $G$ ha come ordine quello del gruppo.

Ora considera il tuo gruppo $U:=U(ZZ_35)$, se fosse ciciclo allora devi riuscire a trovare un elemento di $U$ di periodo 24, riesci a trovarlo?

PS : La tua risoluzione precedente non va bene perché $ZZ_35$ e $U$ sono due oggetti diversi.

banino84
"Kashaman":
Ciao banino, credo che tu stia facendo un bel po' di confusione.
Ti ricordo un po' di questioni :
1) un gruppo $G$ si dice ciclico se esiste $g \in G$ tale per cui $G={ g^k | k \in \mathbb{Z} } $. $g$ prende il nome di generatore e si usa, generalmente, la notazione $G=$. Se l'ordine di $g$ è finito allora sarà finito anche l'ordine di $G$ e in particolare coinciderà con l'ordine di $g$. Se l'ordine di $g$ è infinito, lo sarà anche quello di $G$.
2) In generale se $G$ è un gruppo, $g \in G$ si ha che l'ordine di $g$ divide l'ordine del gruppo.
3) Ogni altro generatore di $G$ ha come ordine quello del gruppo.

Ora considera il tuo gruppo $U:=U(ZZ_35)$, se fosse ciciclo allora devi riuscire a trovare un elemento di $U$ di periodo 24, riesci a trovarlo?

PS : La tua risoluzione precedente non va bene perché $ZZ_35$ e $U$ sono due oggetti diversi.


Ciao... la spiegazione di martino l'ho capita
"Martino":
Se scrivi \( \mathbb{Z}_{35} = \{0,1,2,...,34\} \) allora
\[ G = U(\mathbb{Z}_{35}) = \{1,2,3,4,6,8,9,11,12,13,16,17,18,19,22,23,24,26,27,29,31,32,33,34\}. \]
Questo è un gruppo moltiplicativo con 24 elementi. Per esempio le potenze di 2 in \( G \) sono 2, 4, 8, 16, 32, 29, 23, 11, 22, 9, 18, 1. Quindi 2 ha ordine 12 in \( G \). Per mostrare che \( G \) è ciclico devi trovare un elemento di \( G \) le cui potenze esauriscono tutto \( G \). Cioè un elemento di \( G \) di ordine 24.


solo che usando il metodo di martino per calcolarmi già le potenze di 3 è stato un lavoraccio per via dei calcoli grossi.... quello che chiedo io , esiste un metodo che mi faccia subito travare se un gruppo è ciclico o meno? ( senza calcolarmi le potenze di ogni elemento per vedere quelle che hanno il periodo che coincide con G)

"banino84":
[quote="Martino"]Siccome 2 ha ordine 12 ti basta trovare un elemento il cui quadrato è uguale a 2.

quindi 4, giusto?[/quote]No perché [tex]4^2 = 16 \neq 2[/tex].

Mi sono confuso, ti ho suggerito di cercare elementi il cui quadrato è 2 ma non ce ne sono.

C'è un teorema generale che dice che se [tex]n,m[/tex] sono coprimi allora [tex]U(\mathbb{Z}_n \times \mathbb{Z}_m) \cong U(\mathbb{Z}_n) \times U(\mathbb{Z}_m)[/tex]. Prova a usarlo.
esiste un metodo che mi faccia subito travare se un gruppo è ciclico o meno?
Purtroppo no.

banino84
"Martino":


C'è un teorema generale che dice che se \( n,m \) sono coprimi allora \( U(\mathbb{Z}_n \times \mathbb{Z}_m) \cong U(\mathbb{Z}_n) \times U(\mathbb{Z}_m) \). Prova a usarlo.


Mi sono sviluppato tutti i generatori di $U(ZZ_35)$ e non mi sono trovato nessuno di questi che sia di ordine 24, e quindi questo non è un gruppo ciclico. L'unico problema per svilupparmi le potenze ci ho messo un'eternità. sto cercando di capire dalla teoria se c'è un modo veloce per dimostare se un gruppo è ciclico o meno. Qualcuno mi sa dare una mano ??
grazie

banino84
nessuno ha suggerimenti o risposte da darmi ? :(

"banino84":
sto cercando di capire dalla teoria se c'è un modo veloce per dimostare se un gruppo è ciclico o meno.
Non c'è purtroppo.

Nel tuo caso puoi applicare l'isomorfismo [tex]U(\mathbb{Z}_{nm}) \cong U(\mathbb{Z}_n) \times U(\mathbb{Z}_m)[/tex] se [tex]n,m[/tex] sono coprimi.

banino84
Sono coprimi infatti ... ma nn so come applicarlo ... una mano ?
Grazie

[tex]U(\mathbb{Z}_{35}) = U(\mathbb{Z}_7 \times \mathbb{Z}_5) \cong U(\mathbb{Z}_7) \times U(\mathbb{Z}_5) \cong \mathbb{Z}_6 \times \mathbb{Z}_4[/tex] non è ciclico perché ha almeno due sottogruppi di ordine 2 (contenuti nei due singoli fattori), mentre il gruppo ciclico di ordine 24 ha solo un sottogruppo di ordine 2.

Ho usato che [tex]U(\mathbb{Z}_p) \cong \mathbb{Z}_{p-1}[/tex] se [tex]p[/tex] è primo.

banino84
Allora ci ragiono un po ...se ho ancora problemi scrivo qui

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