Teoria dei gruppi — gruppi, sottogruppi e omomorfismi

La teoria dei gruppi spiega quando un insieme e un’operazione si combinano in modo stabile. Un gruppo ha quattro ingredienti: chiusura, associatività, un elemento neutro e un inverso per ogni elemento. Un sottogruppo è un gruppo più piccolo dentro uno più grande, e un omomorfismo è una mappa che preserva l’operazione.

Se devi ricordare un solo esempio, usa gli interi con l’addizione. Mostra la definizione di gruppo, fornisce un sottogruppo chiaro e rende facile verificare l’idea di omomorfismo.

Definizione di gruppo: i quattro assiomi

Un gruppo è un insieme $G$ insieme a un’operazione, spesso scritta in forma moltiplicativa come $ab$, tale che valgano quattro condizioni:

1. Chiusura: se $a,b \in G$, allora $ab \in G$.
2. Associatività: $(ab)c = a(bc)$ per tutti $a,b,c \in G$.
3. Elemento neutro: esiste un elemento $e \in G$ tale che $ea = ae = a$ per ogni $a \in G$.
4. Inversi: per ogni $a \in G$, esiste un elemento $a^{-1} \in G$ tale che $aa^{-1} = a^{-1}a = e$.

Questa è la definizione completa. Se anche una sola condizione fallisce, l’insieme con quell’operazione non è un gruppo.

Perché la definizione è importante

La definizione ti dà un sistema in cui puoi combinare elementi, annullare ciò che hai fatto e fidarti del fatto che cambiare il raggruppamento non cambi il risultato. Per questo i gruppi compaiono nelle simmetrie, nell’aritmetica modulare, nelle permutazioni e nell’algebra delle matrici.

Se pensi a un’operazione come a una mossa consentita, allora un gruppo è un sistema in cui le mosse consentite si possono combinare, esiste una mossa che non fa nulla e ogni mossa può essere invertita.

Esempio: perché $(\mathbb{Z}, +)$ è un gruppo

Prendi l’insieme di tutti gli interi $\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}$ con l’operazione di addizione.

Questo è un gruppo:

• La chiusura vale perché la somma di due interi è ancora un intero.
• L’associatività vale perché $(a+b)+c = a+(b+c)$ per gli interi.
• L’elemento neutro è $0$ perché $a+0 = 0+a = a$.
• L’inverso di $a$ è $-a$ perché $a + (-a) = 0$.

Quindi $(\mathbb{Z}, +)$ è un gruppo.

Questo esempio è il punto di partenza giusto perché rende concreti anche i sottogruppi e gli omomorfismi.

Definizione di sottogruppo con gli interi pari

Un sottogruppo è un sottoinsieme di un gruppo che è esso stesso un gruppo rispetto alla stessa operazione.

Dentro $(\mathbb{Z}, +)$, considera gli interi pari:

$$2\mathbb{Z} = \{\dots,-4,-2,0,2,4,\dots\}$$

Questo è un sottogruppo di $\mathbb{Z}$ rispetto all’addizione perché:

• la somma di due interi pari dà un altro intero pari
• $0$ è pari, quindi l’elemento neutro è ancora presente
• l’opposto di un intero pari è ancora pari

Quindi $2\mathbb{Z}$ non è solo un sottoinsieme. Mantiene le stesse regole algebriche del gruppo più grande.

Questa è l’idea principale di un sottogruppo: è un mondo più piccolo e chiuso in cui la stessa operazione continua a funzionare.

Definizione di omomorfismo: preservare l’operazione

Un omomorfismo è una funzione tra gruppi che preserva l’operazione.

Se $f : G \to H$ è un omomorfismo, allora

$$f(ab) = f(a)f(b)$$

per tutti $a,b \in G$.

I simboli esatti dipendono dai gruppi coinvolti. Se l’operazione è l’addizione, la stessa condizione si scrive spesso come

$$f(a+b) = f(a) + f(b)$$

Il punto è lo stesso: prima combini e poi applichi la mappa, oppure prima applichi la mappa e poi combini. Un omomorfismo fa sì che questi due percorsi coincidano.

Esempio svolto: mappa della parità da $\mathbb{Z}$ a $\mathbb{Z}_2$

Definisci $f : \mathbb{Z} \to \mathbb{Z}_2$ con

$$f(n) = \text{il resto di } n \text{ modulo } 2$$

Qui $\mathbb{Z}_2 = \{0,1\}$ con l’addizione modulo $2$.

Questa funzione registra se un intero è pari o dispari. Per verificare che sia un omomorfismo, confronta i due lati:

$$f(a+b)$$

è la parità della somma, mentre

$$f(a) + f(b)$$

somma le due parità modulo $2$.

Questi coincidono per tutti gli interi $a$ e $b$, quindi

$$f(a+b) = f(a) + f(b)$$

in $\mathbb{Z}_2$.

Per esempio, se $a=3$ e $b=5$, allora

$$f(3) = 1,\qquad f(5) = 1,\qquad f(3+5) = f(8) = 0$$

e

$$f(3)+f(5) = 1+1 = 0 \pmod{2}$$

Quindi la mappa preserva l’operazione di gruppo.

Errori comuni nella teoria dei gruppi

Dimenticare che l’operazione fa parte dei dati

Dire “gli interi formano un gruppo” è incompleto se l’operazione non è chiara. Gli interi formano un gruppo rispetto all’addizione, ma non rispetto alla moltiplicazione, perché la maggior parte degli interi non ha inversi moltiplicativi dentro $\mathbb{Z}$.

Supporre che ogni sottoinsieme sia un sottogruppo

Un sottoinsieme deve contenere l’elemento neutro, restare chiuso rispetto all’operazione e contenere gli inversi. Per esempio, gli interi positivi non sono un sottogruppo di $(\mathbb{Z}, +)$ perché non contengono $0$ e non contengono gli inversi additivi.

Trattare gli omomorfismi come funzioni arbitrarie

Un omomorfismo non è una qualunque mappa tra insiemi. Il suo compito essenziale è preservare l’operazione. Se questa condizione fallisce, non è un omomorfismo di gruppi.

Mescolare la notazione tra gruppi diversi

In un gruppo l’operazione può essere l’addizione, in un altro la moltiplicazione e in un altro ancora la composizione. La regola dell’omomorfismo deve usare l’operazione corretta da ciascun lato.

Dove si usa la teoria dei gruppi

La teoria dei gruppi si usa ogni volta che un problema ha una struttura ripetibile e reversibile. Esempi comuni includono le simmetrie delle figure, l’aritmetica modulare, le permutazioni, l’algebra lineare e alcune parti della fisica.

Non hai bisogno di esempi avanzati per trarne beneficio. Anche a un livello di base, la teoria dei gruppi ti aiuta a riconoscere quando problemi diversi condividono la stessa struttura di fondo.

Prova un problema simile

Parti da $(\mathbb{Z}, +)$. Verifica se i multipli di $3$ formano un sottogruppo. Poi considera la mappa $g(n) = n \bmod 3$ da $\mathbb{Z}$ a $\mathbb{Z}_3$ e verifica se

$$g(a+b) = g(a) + g(b)$$

vale modulo $3$.

Se vuoi fare un passo in più, prova le stesse domande con le rotazioni di un triangolo equilatero. È spesso lì che la teoria dei gruppi comincia a sembrare uno strumento invece che una definizione.