Gruppo ciclico

Template:F In matematica, più precisamente nella teoria dei gruppi, un gruppo ciclico è un gruppo che può essere generato da un unico elemento.

Un tale gruppo è isomorfo al gruppo $\mathbb{Z}/n\mathbb{Z}$ delle classi di resto modulo $n$, oppure al gruppo $\mathbb{Z}$ dei numeri interi. Quindi i gruppi ciclici sono fra i più semplici, e sono completamente classificati.

Definizione

Un gruppo $G$ è ciclico se esiste un elemento $g$ del gruppo (detto generatore) tale che $G$ è l'insieme delle potenze di $g$ ad esponente intero, in simboli

$G=\{g^n:n\in \mathbb{Z}\}.$

Stiamo qui usando la notazione moltiplicativa. Quando si usa la notazione additiva, invece che di potenze si parla di multipli, dunque in simboli

$G=\{ng:n\in \mathbb{Z}\}.$

Ad esempio, se

$G=\{e,g^1,g^2,g^3,g^4,g^5\},$

allora $G$ è ciclico.

In altre parole, $G$ coincide con il sottogruppo $⟨g⟩$ generato da $g$. Si usa quindi scrivere $G=⟨g⟩$ oppure $G=[g]$.

Esempi

Classi di resto

L'esempio seguente, fornito dalla aritmetica modulare, è fondamentale.

Poiché $n\mathbb{Z}$ è un sottogruppo normale di $\mathbb{Z}$ di indice $n$, il gruppo quoziente $\mathbb{Z}/n\mathbb{Z}$ è un gruppo commutativo finito con $n$ elementi, che possiamo scrivere $\{0,1,2,\dots ,n-1\}$. La somma fra due elementi $a$ e $b$ è il resto della divisione di $a+b$ per $n$. Poiché ogni elemento si scrive come $n=1+\dots +1$ (sommato $n$ volte), il numero $1$ è generatore del gruppo. Quindi $\mathbb{Z}/n\mathbb{Z}$ è un gruppo ciclico.

Quando non si crea confusione con i numeri p-adici, si usa la notazione più stringata ${\mathbb{Z}}_n$ invece di $\mathbb{Z}/n\mathbb{Z}$.

Altri esempi

• I numeri interi $\mathbb{Z}$ sono un gruppo ciclico di ordine infinito.
• Le rotazioni del piano cartesiano che sono simmetrie di un poligono regolare con $n$ lati centrato nell'origine formano un gruppo ciclico di ordine $n$.
• Le radici n-esime dell'unità nel piano complesso formano un gruppo ciclico di ordine $n$ tramite moltiplicazione.
• Il gruppo di Galois di ogni estensione finita di un campo finito è finito e ciclico.
• Dato un gruppo $G$ ed un elemento $g$ di $G$, il sottogruppo $⟨g⟩$ generato da $g$ è un gruppo ciclico.

Proprietà dei gruppi ciclici

Gruppo abeliano

Un gruppo ciclico è abeliano.

Classificazione

Un gruppo ciclico $G$ con $n$ elementi è isomorfo al gruppo $\mathbb{Z}/n\mathbb{Z}$ delle classi di resto modulo $n$ se $n$ è finito, ed isomorfo al gruppo $\mathbb{Z}$ dei numeri interi se $n$ è infinito.

L'isomorfismo può essere costruito nel modo seguente. La funzione $\mathbb{Z}\to G$ che manda l'intero $i$ nella potenza $g^i$ del generatore $g$ di $G$ è un omomorfismo di gruppi suriettivo. Se $G$ è infinito, la funzione è anche iniettiva, dunque un isomorfismo. Se invece $G$ è finito, di ordine $n$, il nucleo della funzione è $n\mathbb{Z}$ ed il primo teorema d'isomorfismo fornisce un isomorfismo $\mathbb{Z}/n\mathbb{Z}\to G$.

Ordine

Per quanto scritto sopra, un gruppo ciclico è identificato, a meno di isomorfismo, dal suo ordine $n$.

Sia $G$ un gruppo ciclico finito, con generatore $a$. In questo caso, l'ordine è il minimo intero positivo $n$ tale che $a^n=e$. Più in generale, $a^m=e$ se e solo se $m$ è un multiplo di $n$.

Per ogni altro elemento $b$ del gruppo, vale comunque la relazione $b^n=e$.

Generatori

L'elemento $m$ è generatore di $\mathbb{Z}/n\mathbb{Z}$ se e solo se $m$ è coprimo con $n$. Quindi ci sono $\phi (n)$ generatori distinti in un gruppo ciclico con $n$ elementi, dove $\phi$ è la funzione φ di Eulero.

Sottogruppi

Ogni sottogruppo ed ogni gruppo quoziente di un gruppo ciclico è ciclico.

Se $G$ è ciclico di ordine $n$ ed $m$ divide $n$ allora esiste un solo sottogruppo ciclico di ordine $m$.

Prodotti di gruppi ciclici

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

D'altra parte, il teorema fondamentale per i gruppi abeliani finitamente generati asserisce che ogni gruppo abeliano finitamente generato è prodotto di gruppi ciclici.

Gruppi con un numero primo di elementi

Se $p$ è un numero primo, ogni gruppo $G$ con $p$ elementi è isomorfo a $\mathbb{Z}/p\mathbb{Z}$. In altre parole, ogni gruppo con $p$ elementi è isomorfo ad un gruppo ciclico.

Un tale gruppo possiede solo i due sottogruppi banali $\{e\}$ e $G$ stesso.

Struttura di anello di Z/n Z

Anello

Il sottogruppo $n\mathbb{Z}$ è anche un ideale nell'anello commutativo $\mathbb{Z}$, e quindi $\mathbb{Z}/n\mathbb{Z}$ eredita anche una struttura di anello commutativo. In altre parole, si può fare il prodotto fra due numeri: il prodotto fra $a$ e $b$ è il resto della divisione di $ab$ per $n$.

Se $n$ è primo, l'anello $\mathbb{Z}/n\mathbb{Z}$ è in verità un campo. Se $n$ non è primo, abbiamo $n=ab$ per qualche $a,b<n$. Questa relazione nel gruppo diventa $ab=0$: quindi l'anello non è un dominio di integrità, e quindi a maggior ragione non può essere un campo.

Gruppo delle unità

Le unità dell'anello $\mathbb{Z}/n\mathbb{Z}$ sono i numeri primi con $n$, ovvero i generatori del gruppo. Formano un gruppo con la moltiplicazione, di $\phi (n)$ elementi (vedi sopra), indicato generalmente come ${\mathbb{Z}}_n^{*}$.

Ad esempio, i gruppi ${\mathbb{Z}}_6^{*}=\{1,5\}$ e ${\mathbb{Z}}_8^{*}=\{1,3,5,7\}$ sono isomorfi rispettivamente a $\mathbb{Z}/2\mathbb{Z}$ e $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$.

In generale, ${\mathbb{Z}}_n^{*}$ è ciclico se e solo se $n$ è $2$, $4$, $p^k$ o $2p^k$ dove $p$ è un primo dispari e $k\ge 1$.

In particolare, il gruppo ${\mathbb{Z}}_p^{*}$ è ciclico con $p-1$ elementi per ogni primo $p$. Più in generale, ogni sottogruppo finito del gruppo moltiplicativo di un campo è ciclico.

Bibliografia

• Template:Cita libro

Voci correlate

• Gruppo diedrale

Collegamenti esterni

• Template:Collegamenti esterni