Un gruppo è una struttura algebrica formata da un insieme G e da un’operazione binaria, spesso indicata con \ast, che permette di comporre due elementi di G ottenendo ancora un elemento di G. Formalizza l’idea di operazioni che si possono eseguire in sequenza e poi invertire: somme, rotazioni, simmetrie, permutazioni, cambi di riferimento e trasformazioni invertibili.
La notazione completa è:
Il simbolo \ast non indica una singola operazione universale: può essere somma, prodotto, composizione di funzioni, composizione di trasformazioni geometriche o un’operazione definita da una tabella. Il punto non è il nome dell’operazione, ma le proprietà che soddisfa.
1. Assiomi di gruppo
Per ogni a,b,c\in G, devono valere quattro proprietà:
| Proprietà | Formula | Significato |
|---|---|---|
| chiusura | a\ast b\in G | il risultato resta nell’insieme |
| associatività | (a\ast b)\ast c=a\ast(b\ast c) | le parentesi non cambiano il risultato |
| elemento neutro | e\ast a=a\ast e=a | esiste un elemento che non modifica gli altri |
| inverso | a\ast a^{-1}=a^{-1}\ast a=e | ogni elemento può essere annullato |
L’elemento neutro è unico, e anche l’inverso di ogni elemento è unico. Questi fatti si dimostrano dagli assiomi e rendono coerente la notazione e e a^{-1}.
Se inoltre per ogni coppia di elementi vale:
il gruppo si dice abeliano o commutativo. La commutatività non è richiesta nella definizione generale: molti gruppi importanti non sono abeliani.
2. Esempi fondamentali
Gli interi con la somma formano un gruppo abeliano:
Il neutro è 0 e l’inverso di a è -a. Anche i reali con la somma, i razionali con la somma e i vettori di uno spazio vettoriale con la somma formano gruppi abeliani.
I reali non nulli con il prodotto formano un gruppo abeliano:
Il neutro è 1 e l’inverso di a è a^{-1}. Lo zero deve essere escluso perché non ha inverso moltiplicativo.
Le matrici invertibili n\times n a coefficienti reali formano il gruppo generale lineare:
L’operazione è il prodotto di matrici. Il neutro è la matrice identità e l’inverso è la matrice inversa. In generale questo gruppo non è abeliano:
3. Simmetrie e trasformazioni
Uno degli esempi più intuitivi è il gruppo delle simmetrie di una figura. Se si compongono due simmetrie di un quadrato, si ottiene ancora una simmetria del quadrato; la trasformazione identica lascia la figura invariata; ogni simmetria può essere invertita.
Questa idea è molto più generale. Le rotazioni del piano attorno all’origine formano un gruppo; le rotazioni dello spazio tridimensionale formano gruppi come SO(3); le trasformazioni rigide nello spazio sono alla base di robotica, grafica 3D, cinematica, navigazione e visione artificiale.
In ingegneria, parlare di gruppo significa spesso riconoscere che un insieme di trasformazioni è chiuso rispetto alla composizione. Se si ruota un corpo e poi lo si ruota di nuovo, si ottiene una rotazione; se si cambia sistema di riferimento e poi si cambia ancora riferimento, si ottiene un altro cambio di riferimento; se la trasformazione è invertibile, si può tornare allo stato precedente.
4. Gruppi finiti e tabelle
Un gruppo è finito se contiene un numero finito di elementi. Il numero di elementi si chiama ordine del gruppo:
Per gruppi piccoli si può rappresentare l’operazione con una tabella di Cayley. Ogni riga e ogni colonna devono contenere tutti gli elementi del gruppo una sola volta: questa proprietà riflette l’esistenza degli inversi e la possibilità di risolvere equazioni del tipo:
Un esempio importante è il gruppo degli interi modulo n con la somma:
È un gruppo abeliano finito. L’elemento neutro è la classe di 0 e l’inverso di [a] è [-a]. Questo tipo di struttura compare in aritmetica modulare, crittografia, codifica e analisi di simmetrie discrete.
5. Sottogruppi
Un sottoinsieme H\subseteq G è un sottogruppo se, con la stessa operazione di G, è a sua volta un gruppo. Si scrive:
Un criterio pratico è: H deve essere non vuoto e, per ogni a,b\in H, deve valere:
Per esempio, i numeri pari formano un sottogruppo di (\mathbb Z,+), perché la somma di pari è pari, lo zero è pari e l’opposto di un pari è pari. Le rotazioni di un quadrato formano un sottogruppo del gruppo completo delle sue simmetrie, che include anche riflessioni.
I sottogruppi servono a descrivere simmetrie parziali, vincoli conservati, trasformazioni ammissibili e strutture interne. In cristallografia, meccanica, grafica e algebra computazionale, riconoscere il sottogruppo giusto è spesso più utile che lavorare con il gruppo completo.
6. Omomorfismi e isomorfismi
Un omomorfismo tra gruppi è una funzione che preserva l’operazione. Se:
allora deve valere:
dove \ast è l’operazione di G e \diamond quella di H. L’omomorfismo traduce la struttura di un gruppo dentro un altro senza rompere la composizione.
Un isomorfismo è un omomorfismo invertibile. Due gruppi isomorfi possono avere elementi scritti in modo diverso, ma la stessa struttura algebrica. In algebra questa è una distinzione fondamentale: spesso interessa la forma della struttura, non il nome concreto degli elementi.
7. Relazione con anelli, campi e spazi vettoriali
Un gruppo usa una sola operazione. Un anello ne usa due, tipicamente somma e prodotto: rispetto alla somma è un gruppo abeliano, mentre il prodotto ha proprietà più deboli. Un campo è un anello in cui gli elementi non nulli formano un gruppo abeliano rispetto al prodotto.
Uno spazio vettoriale contiene due livelli: i vettori formano un gruppo abeliano rispetto alla somma, e gli scalari appartengono a un campo. Inoltre la moltiplicazione per scalare collega i due livelli. Per questo i gruppi sono una base comune dietro algebra lineare, algebra astratta e geometria delle trasformazioni.
8. Non esempi
I numeri naturali con la somma non formano un gruppo:
non contiene in generale gli inversi additivi. Per esempio, non esiste un naturale x tale che:
I reali con il prodotto non formano un gruppo se si include lo zero:
perché 0 non ha inverso. Le matrici quadrate tutte insieme non formano un gruppo rispetto al prodotto, perché le matrici singolari non sono invertibili.
Anche la sottrazione ordinaria su \mathbb R non definisce un gruppo: non è associativa. Infatti:
in generale. Questo mostra perché gli assiomi non sono formalità: ciascuno esclude strutture che sembrano operative ma non hanno la regolarità richiesta.
9. Perché è utile
Il concetto di gruppo è utile perché separa la struttura dalla rappresentazione. Una stessa simmetria può essere descritta con matrici, permutazioni, trasformazioni geometriche o funzioni; se le regole di composizione sono le stesse, il comportamento algebrico è lo stesso.
Applicazioni tipiche:
- simmetrie geometriche e cristallografiche;
- rotazioni e trasformazioni rigide in robotica e meccanica;
- permutazioni di oggetti, indici o configurazioni;
- aritmetica modulare e crittografia;
- codici correttori e strutture discrete;
- cambi di base e trasformazioni invertibili in algebra lineare;
- classificazione di configurazioni equivalenti.
In termini ingegneristici, un gruppo è il linguaggio delle trasformazioni reversibili: se un’operazione si può comporre, ha un’identità e può essere annullata da un’inversa, allora la teoria dei gruppi fornisce strumenti per studiarla senza dipendere dai dettagli superficiali della rappresentazione.
10. Errori comuni
Gli errori più frequenti sono:
- dimenticare la chiusura dell’operazione;
- assumere la commutatività anche quando non è richiesta;
- includere elementi senza inverso, come lo zero nel prodotto dei reali;
- confondere il gruppo con il suo insieme sottostante, ignorando l’operazione;
- pensare che ogni struttura con una tabella sia automaticamente un gruppo;
- confondere un gruppo con un anello o un campo, che hanno due operazioni;
- credere che gruppi isomorfi siano diversi solo perché gli elementi hanno nomi diversi.
La domanda corretta è sempre: qual è l’insieme? qual è l’operazione? l’operazione è chiusa, associativa, ha neutro e inversi? Solo dopo ha senso parlare di gruppo.
Vedi anche: Spazio vettoriale, Anello, Campo, Isomorfismo, Matrice e Determinante.