Gruppo (matematica)

Da Wikipedia, l'enciclopedia libera.
Le mosse del cubo di Rubik formano un gruppo, chiamato il gruppo del cubo di Rubik.

In matematica, un gruppo è una struttura algebrica formata da un insieme non vuoto con un'operazione binaria interna (come ad esempio la somma o il prodotto) che soddisfa alcuni assiomi, cioè l'associatività, l'esistenza dell'elemento neutro e dell'inverso.

Tali assiomi sono soddisfatti da numerose strutture algebriche, come ad esempio i numeri interi con l'operazione di addizione, ma essi sono molto più generali e prescindono dalla natura particolare del gruppo considerato. In questo modo diviene possibile lavorare in maniera flessibile con oggetti matematici di natura e origine molto diverse tra loro, riconoscendone alcuni importanti aspetti strutturali comuni. Il ruolo chiave dei gruppi in numerose aree interne ed esterne alla matematica ne fa uno dei concetti fondamentali della matematica moderna.

Il concetto di gruppo nacque dagli studi sulle equazioni polinomiali, iniziati da Évariste Galois negli anni 1830. In seguito a contributi provenienti da altri settori della matematica come la teoria dei numeri e la geometria, la nozione di gruppo fu generalizzata e definita stabilmente attorno al 1870. La moderna teoria dei gruppi - una disciplina matematica molto attiva - si occupa dello studio astratto dei gruppi. Mathematical Reviews conta 3.224 articoli di ricerca di teoria dei gruppi e sue generalizzazioni pubblicati nel solo 2005.

I matematici hanno sviluppato varie nozioni per spezzare i gruppi in parti più piccole e più facili da studiare, come i sottogruppi ed i quozienti. Oltre alle loro proprietà astratte, i teorici dei gruppi si occupano anche dei differenti modi in cui un gruppo può essere espresso concretamente, da un punto di vista sia teorico, sia computazionale. Una teoria particolarmente ricca è stata sviluppata per i gruppi finiti, culminata con la monumentale classificazione dei gruppi semplici finiti, completata nel 1983.

Definizione e prime proprietà[modifica | modifica sorgente]

Definizione[modifica | modifica sorgente]

Un gruppo è un insieme G munito di una operazione binaria *, che ad ogni coppia di elementi a, b di G associa un elemento, che indichiamo con  a*b , appartenente a G, rispettando i seguenti assiomi:[1]

  1. proprietà associativa: dati  a, b, c appartenenti a G, vale (a*b)*c = a*(b*c).
  2. esistenza dell'elemento neutro: esiste in G un elemento neutro e rispetto all'operazione *, cioè tale che a*e = e*a = a per ogni  a appartenente a G.
  3. esistenza dell'inverso: ad ogni elemento  a di G è associato un elemento a', detto inverso di a , tale che a*a' = a'*a = e.

Imponendo solo alcuni fra questi assiomi si ottengono altre strutture, quali magma, quasigruppo, semigruppo e monoide.

Un gruppo si chiama commutativo (o abeliano) se vale anche a*b = b*a per ogni coppia  a ,  b di elementi di G.[2]

La cardinalità dell'insieme G viene indicata con |G| ed è chiamata ordine del gruppo: se questa è finita allora G è un gruppo finito, altrimenti è infinito.

Prime proprietà[modifica | modifica sorgente]

Si vede subito che l'elemento neutro di un gruppo è univocamente determinato. Infatti se e, f sono entrambi elementi neutri, si ha f = e * f = e, dove la prima eguaglianza segue dal fatto che e è un elemento neutro, e la seconda dal fatto che lo è f.

Allo stesso modo, l'inverso di un elemento è univocamente determinato. Infatti se a', a'' sono entrambi inversi di a, si ha a' = a' * e = a' * (a * a'') = (a' * a) * a'' = e * a'' = a'', dove le eguaglianze seguono nell'ordine dalla definizione di elemento neutro, dal fatto che a'' è un inverso di a, dalla proprietà associativa, dal fatto che a' è un inverso di a, e ancora dalla definizione di elemento neutro.

Notazione[modifica | modifica sorgente]

Come per l'usuale moltiplicazione fra numeri, il simbolo * è spesso omesso: il prodotto di due elementi è indicato con ab invece che a*b. La potenza a^n indica il prodotto di a con se stesso effettuato n-1 volte.

Quando il gruppo è abeliano, si preferisce a volte usare una notazione additiva invece che moltiplicativa, e indicare a*b con a+b. Con questa notazione, la potenza a^n diventa na.

L'elemento inverso è spesso indicato con a^{-1}.

Storia[modifica | modifica sorgente]

Il moderno concetto di gruppo trae le sue origini da vari settori della matematica.

Il matematico francese Evariste Galois è spesso indicato come il fondatore della moderna teoria dei gruppi.

In algebra, la teoria dei gruppi vide la luce all'inizio del XIX secolo nello studio delle equazioni polinomiali. Il matematico francese Évariste Galois, estendendo precedenti lavori di Paolo Ruffini e Joseph-Louis Lagrange, fornì nel 1832 un criterio per la risolubilità di un'equazione polinomiale in funzione del gruppo di simmetria delle sue radici (successivamente chiamato gruppo di Galois). Dai suoi lavori discende il teorema di Abel-Ruffini, che sancisce l'impossibilità di trovare formule di risoluzione generali per equazioni di grado superiore a 4.

I gruppi di permutazioni sono però oggetti matematici più generali e furono studiati in un'ottica più vasta da Augustin Louis Cauchy. La prima definizione astratta di gruppo finito apparve in On the theory of groups, as depending on the symbolic equation θn = 1 di Arthur Cayley nel 1854.

Il matematico tedesco Felix Klein mette in risalto le strette correlazioni fra gruppi e geometrie.

In geometria, la nozione di gruppo si sviluppò naturalmente nello studio delle simmetrie di oggetti piani e solidi, ad esempio poligoni e poliedri. Nella seconda metà del XIX secolo i matematici scoprirono l'esistenza di geometrie non euclidee e la nozione stessa di "geometria" fu ampiamente ridiscussa. Il matematico Felix Klein propose nel suo programma di Erlangen del 1872 di utilizzare il concetto di gruppo di simmetria come mattone fondante della definizione di una geometria: nell'ottica di Klein il gruppo di simmetria è l'elemento fondamentale che determina la geometria e distingue ad esempio la geometria euclidea da quella iperbolica o proiettiva. Di particolare importanza in geometria sono anche i gruppi di Lie, introdotti da Sophus Lie a partire dal 1884.

Un terzo settore che contribuì allo sviluppo della teoria dei gruppi è la teoria dei numeri. Alcune strutture di gruppo abeliano furono implicitamente utilizzate nelle Disquisitiones Arithmeticae di Carl Friedrich Gauss del 1798 e poi, più esplicitamente, da Leopold Kronecker. Nel 1847 Ernst Kummer, nel tentativo di dimostrare l'ultimo teorema di Fermat, diede avvio allo studio dei gruppi delle classi di ideali di un campo di numeri.

L'unificazione di tutti questi concetti sviluppati nei vari settori della matematica in un'unica teoria dei gruppi iniziò con il Traité des substitutions et des équations algébriques di Camille Jordan del 1870. Nel 1882 Walther von Dyck formulò per primo la definizione moderna di gruppo astratto. Nel XX secolo i gruppi ottennero un ampio riconoscimento grazie ai lavori di Ferdinand Georg Frobenius e di William Burnside, che si occupò di teoria delle rappresentazioni dei gruppi finiti, grazie alla teoria delle rappresentazioni modulari di Richard Brauer ed agli articoli di Issai Schur. La teoria dei gruppi di Lie e, più in generale dei gruppi localmente compatti fu portata avanti da Hermann Weyl, Elie Cartan e molti altri. La controparte algebrica, cioè la teoria dei gruppi algebrici fu sviluppata da Claude Chevalley (a partire dagli anni 1930) ed in seguito da Armand Borel e Jacques Tits.

L'anno accademico 1960-61 fu dedicato dall'Università di Chicago alla teoria dei gruppi. All'iniziativa parteciparono teorici dei gruppi del calibro di Daniel Gorenstein, John G. Thompson e Walter Feit, che iniziarono una fruttuosa collaborazione, culminata con la classificazione dei gruppi semplici finiti nel 1982, un progetto che coinvolse moltissimi matematici. Ancora oggi la teoria dei gruppi è una branca della matematica molto attiva con impatti cruciali in numerosi altri settori.

Esempi[modifica | modifica sorgente]

Numeri[modifica | modifica sorgente]

I numeri interi

\mathbb Z = \{\ldots, -4, -3, -2, -1, 0, 1, 2, 3, 4, \ldots \}

con l'operazione di somma "+" formano un gruppo abeliano. È importante evidenziare che la struttura di gruppo consiste di due oggetti: un insieme (gli interi) e una operazione (la somma). Il gruppo è quindi identificato dalla coppia

(\mathbb Z, + ).

Ad esempio, i numeri interi non formano un gruppo con l'operazione di moltiplicazione: la moltiplicazione è associativa e ha un elemento neutro 1, ma la maggior parte degli elementi non ha una inversa: non esiste nessun intero che moltiplicato per 2 dia come risultato 1. Gli interi con il prodotto formano un monoide commutativo.

Anche i numeri razionali, i numeri reali e i numeri complessi formano un gruppo con l'operazione somma. Si ottengono quindi tre altri gruppi

(\mathbb Q, +), \quad (\mathbb R,+), \quad (\mathbb C,+).

I numeri razionali, privati dello zero, formano un gruppo con la moltiplicazione. Un numero razionale diverso da zero è infatti identificato da una frazione a/b con a\neq 0, il cui inverso (rispetto alla moltiplicazione) è la frazione b/a. Analogamente, i numeri reali o complessi senza lo zero formano un gruppo con la moltiplicazione. Un insieme numerico privato dello zero è generalmente indicato con un asterisco; sono quindi gruppi le coppie seguenti:

(\mathbb Q^*, \times), \quad (\mathbb R^*, \times), \quad (\mathbb C^*,\times).

Questa costruzione non funziona con i numeri interi: ciò è correlato al fatto che i razionali, reali o complessi formano un campo con le operazioni di somma e prodotto, mentre gli interi formano soltanto un anello.

Tutti i gruppi numerici descritti sono commutativi.

Permutazioni[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi permutazione e gruppo simmetrico.

Le permutazioni di un insieme fissato X formano un gruppo assieme all'operazione di composizione di funzioni. Questo gruppo è noto come gruppo simmetrico ed è generalmente indicato con S(X). Ad esempio, se X è un insieme di lettere

X = \{A,B,C\}

una permutazione può essere descritta da una parola nelle tre lettere A,B,C, senza ripetizioni. Ad esempio, la parola ACB indica una permutazione delle ultime due lettere (detta trasposizione), mentre la parola BAC indica una trasposizione delle prime due. Il gruppo S(X) consta quindi di sei elementi: ABC, ACB, BAC, BCA, CAB, CBA.

Il gruppo simmetrico su 3 elementi S_3 è il più piccolo esempio di gruppo non abeliano. Componendo le due permutazioni ACB e BAC in due modi diversi si ottengono infatti permutazioni differenti.

Gruppi di simmetria[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi simmetria (matematica).

Le simmetrie di un oggetto geometrico formano sempre un gruppo. Ad esempio, le simmetrie di un poligono regolare formano un gruppo finito detto gruppo diedrale. Le simmetrie di un quadrato sono mostrate qui sotto.

Group D8 id.svg
identità (non muove nulla)
Group D8 90.svg
rotazione oraria di 90°
Group D8 180.svg
rotazione oraria di 180°
Group D8 270.svg
rotazione oraria di 270°
Group D8 fv.svg
simmetria verticale
Group D8 fh.svg
simmetria orizzontale
Group D8 f13.svg
simmetria diagonale
Group D8 f24.svg
altra simmetria diagonale
Gli elementi del gruppo di simmetria del quadrato.
Le simmetrie di un tetraedro sono 24: oltre all'identità, ci sono 11 rotazioni intorno ad un asse, 6 riflessioni rispetto ad un piano e altre 6 operazioni ottenute componendo rotazioni e riflessioni.

Anche le simmetrie di un poliedro formano un gruppo finito. Di particolare importanza sono i gruppi di simmetria dei solidi platonici. Ad esempio, il gruppo di simmetria del tetraedro consta di 24 elementi.

Algebra lineare[modifica | modifica sorgente]

L'algebra lineare fornisce molti gruppi, generalmente infiniti. Innanzitutto, uno spazio vettoriale come ad esempio lo spazio euclideo Rn di dimensione n è un gruppo abeliano con la usuale somma fra vettori.

Anche le matrici con m righe e n colonne sono un gruppo abeliano con la somma. Come per gli insiemi numerici, in alcuni casi è anche possibile costruire degli insiemi di matrici che formano un gruppo con il prodotto fra matrici. Tra questi,

Concetti di base[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi glossario di teoria dei gruppi.

Per comprendere in maniera più profonda la struttura di un gruppo sono stati introdotti alcuni importanti concetti. La caratteristica fondamentale che li accomuna è la loro “compatibilità” con l'operazione del gruppo.

Omomorfismi[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi omomorfismo di gruppi.
La mappa che manda un intero x nel suo opposto -x è un omomorfismo dal gruppo \mathbb Z in sé. Si tratta inoltre di un isomorfismo, perché è una corrispondenza biunivoca. Più in generale, ogni omomorfismo da \mathbb Z in sé manda x in kx, dove k è un intero fissato. L'isomorfismo mostrato è quindi l'unico isomorfismo, oltre all'identità (ottenuta con k=1).

Un omomorfismo di gruppi è una funzione

f:G \to H

fra gruppi compatibile con le strutture di gruppo di G e H. Più precisamente, deve essere verificata la relazione

 f(a\cdot b) = f(a) \cdot f(b)

per ogni coppia di elementi a e b in G. Con un piccolo abuso, nella formula il simbolo \cdot indica sia l'operazione del gruppo G (a sinistra) che quella del gruppo H (a destra). Questa richiesta assicura in particolare che f mandi l'elemento neutro di G in quello di H e sia compatibile con gli inversi:

f(e_G) = e_H,\quad f(a^{-1}) = f(a)^{-1}.

Ad esempio, la funzione

f:\mathbb Z \to \mathbb Z
f(n) = 2n

è un omomorfismo di gruppi.

Se la funzione f è biettiva, questa è chiamata isomorfismo.[3]

Come per altre strutture algebriche, due gruppi isomorfi G e H hanno le stesse proprietà intrinseche e possono essere considerati (con un minimo di cautela) "lo stesso gruppo". Questo è dovuto al fatto che tutte le relazioni algebriche vengono trasferite da G in H e viceversa: ad esempio, dimostrare che g^2=gg = e per un certo g in G equivale a dimostrare che f(g)^2 = f(g)f(g) = e in H.

Sottogruppi[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi sottogruppo.
Come visto sopra, le simmetrie di un quadrato formano un gruppo di ordine 8. Questo gruppo contiene 1 sottogruppo di ordine 8 (se stesso), 3 sottogruppi di ordine 4, 5 sottogruppi di ordine 2 e 1 sottogruppo di ordine 1 (il sottogruppo banale). I sottogruppi sono descritti qui in figura mostrando gli effetti delle singole simmetrie su una figura non simmetrica (la lettera F).

Un sottogruppo è un gruppo H contenuto in un gruppo più grande G. In altre parole, un sottoinsieme H di un gruppo G è un sottogruppo se è esso stesso un gruppo con l'operazione di G. Questa richiesta equivale a chiedere i fatti seguenti:

  1. H deve contenere l'elemento neutro e di G,
  2. H deve essere chiuso rispetto all'operazione; ovvero, se a e b sono elementi di H anche ab appartiene a H.

Una richiesta equivalente alle due è la seguente:

  1. se g e h sono elementi di H, allora g^{-1}h appartiene a H.

Lo studio dei sottogruppi è molto importante nella comprensione della struttura globale di un gruppo. La relazione di sottogruppo viene generalmente indicata nel modo seguente:

H< G.

Ad esempio, i numeri pari formano un sottogruppo dei numeri interi. Si può scrivere:

2\mathbb Z < \mathbb Z.

Più generalmente, i numeri interi divisibili per un numero naturale fissato n>0 formano un sottogruppo, che viene indicato con n\mathbb Z.

Fra i sottogruppi di un gruppo G, vi sono sempre G stesso (il più grande) e il sottogruppo banale \{e\} (il più piccolo), che consta del solo elemento neutro.

Generatori[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi generatori di un gruppo.

Un sottoinsieme S di G può non essere un sottogruppo: questi genera comunque un sottogruppo H, formato da tutti i prodotti degli elementi di S e dei loro inversi. Si tratta del minimo sottogruppo di G contenente S.

Ad esempio, l'insieme \{2\} e l'insieme \{4,6\} sono entrambi generatori del sottogruppo 2\mathbb Z di \mathbb Z formato da tutti i numeri pari.

Ordine di un elemento[modifica | modifica sorgente]

Un elemento a di un gruppo moltiplicativo G genera un sottogruppo, formato da tutte le sue potenze intere ...,a^{-2},a^{-1},a^0, a^1, a^2, ... L'ordine di questo gruppo è il minimo numero naturale n per cui vale la relazione a^n = e . Tale n può essere anche infinito (nel caso in cui a^n è diverso da e per ogni n) ed è (per definizione) l'ordine dell'elemento a. Si noti che nei gruppi additivi (per esempio gli interi modulo n) l'ordine di un elemento a è definito come "il minimo intero positivo k che verifichi ka=0".

Classi laterali[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi classe laterale.

A volte può essere utile identificare due elementi di un gruppo che differiscono per un elemento di un determinato sottogruppo. Questa idea è formalizzata nel concetto di classe laterale: un sottogruppo H definisce classi laterali destre e sinistre, che possono essere pensate come traslazioni di H per un arbitrario elemento g. Più precisamente, le classi laterali sinistre e destre di H contenenti g sono rispettivamente

 gH = \big\{gh\ |\ h \in H\big\}, \quad Hg = \big\{hg\ |\ h \in H\big\}.

Le classi laterali sinistre hanno tutte la stessa cardinalità e formano una partizione di G. In altre parole, due classi laterali sinistre g_1H e g_2H coincidono oppure hanno intersezione vuota. Le classi coincidono se e solo se

g_1^{-1}g_2 \in H

cioè se i due elementi "differiscono" per un elemento di H. Analoghe considerazioni valgono per le classi laterali destre.

Ad esempio, il sottogruppo 3\mathbb Z di \mathbb Z formato dagli elementi divisibili per 3 ha tre classi laterali

3\mathbb Z, 3\mathbb Z+1, 3\mathbb Z+2

che consistono rispettivamente negli interi congrui a 0, 1, 2 modulo 3. Più in generale, n\mathbb Z ha n classi laterali.

L'indice di un sottogruppo H è definito come il numero delle sue classi laterali.

Sottogruppo normale[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi sottogruppo normale.
Le 16 simmetrie di un ottagono regolare formano un gruppo diedrale di ordine 16. Sono 8 rotazioni (prima riga) e 8 riflessioni (seconda riga). Le rotazioni formano un sottogruppo (ciclico) H di ordine 8. Le riflessioni non formano un sottogruppo, ma possono essere descritte come classe laterale sH = Hs di H, dove s è una qualsiasi riflessione. Il sottogruppo H ha due classi laterali H e sH ed è normale perché sH=Hs.[4] Questo sottogruppo ha solo due classi laterali: H stesso e rH, dove r è una qualsiasi riflessione.

In un gruppo non abeliano, le classi laterali destre e sinistre di  H possono non coincidere: è possibile la relazione seguente

gH \neq Hg.

Quando le classi coincidono per ogni g, il sottogruppo H è chiamato sottogruppo normale ed è indicato con il simbolo seguente:

H\triangleleft G.

In tale caso si parla semplicemente di classi laterali.

In un gruppo abeliano tutti i sottogruppi sono normali.

Gruppi quoziente[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo quoziente.
Le classi laterali di N formano una partizione del gruppo G. Considerando ciascuna classe come un singolo elemento, e moltiplicando due classi aN e bN come suggerito in figura, si ottiene il gruppo quoziente. Per fare ciò è necessario che il sottogruppo N sia normale.

I sottogruppi normali hanno molte buone proprietà: la più importante è la possibilità di definire una struttura di gruppo sull'insieme delle classi laterali, e quindi una nozione di gruppo quoziente.

Il gruppo quoziente di un sottogruppo normale N in G è l'insieme delle classi laterali

G/_N = \{gN\ |\ g \in G \}

con una operazione ereditata da G:

g_1N \cdot g_2 N = (g_1\cdot g_2) N.

Questa definizione risulta ben posta grazie all'ipotesi di normalità. La proiezione

\pi:G \to G/_N

che associa ad un elemento g la sua classe laterale gN risulta essere un omomorfismo. La classe eN = N è l'identità del gruppo quoziente e l'inverso di gN è semplicemente g^{-1}N.

Ad esempio, il sottogruppo n\mathbb Z di \mathbb Z definisce un quoziente

\mathbb Z/_{n\mathbb {Z}} = \{n\mathbb Z, n\mathbb Z+1, \ldots, n\mathbb Z+n-1\}.

Questo quoziente ha n elementi ed è il prototipo di gruppo ciclico. Usando il linguaggio dell'aritmetica modulare, questo gruppo può essere pensato come l'insieme delle classi di resto modulo n:

\mathbb Z/_{n\mathbb {Z}} = \{0,1,\ldots, n-1\}

e la proiezione

\pi:\mathbb Z \to \mathbb Z/_{n \mathbb{Z}}

è la mappa che manda l'intero i nel resto della divisione di i per n.

Tipologie[modifica | modifica sorgente]

Gruppi ciclici[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo ciclico.
Le radici seste complesse dell'unità, ovvero i numeri complessi z tali che z^6 = 1, formano (con la moltiplicazione) un gruppo ciclico di ordine 6.

Un gruppo ciclico è un gruppo generato da un solo elemento g. Il gruppo è determinato dall'ordine dell'elemento: se g ha ordine finito n, il gruppo consta solo degli elementi e=g^0, g^1, \ldots, g^{n-1} ed è quindi isomorfo a

\mathbb Z/_{n\mathbb Z}.

Questo gruppo è a volte indicato con il simbolo C_n. Se l'elemento g ha ordine infinito, il gruppo è invece isomorfo a \mathbb Z.

I gruppi ciclici compaiono in moltissimi contesti. Un elemento g di un gruppo arbitrario G genera sempre un sottogruppo ciclico: per questo motivo, ogni gruppo contiene numerosi sottogruppi ciclici.

Gruppi abeliani[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo abeliano.

Un gruppo abeliano è un gruppo la cui operazione è commutativa. Sono gruppi abeliani tutti i gruppi numerici considerati sopra e anche tutti i gruppi ciclici. Il più piccolo gruppo abeliano che non fa parte di queste categorie è il gruppo di Klein, che contiene 4 elementi.

Gruppi diedrali[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo diedrale.

Il gruppo diedrale D_{2n} è il gruppo di simmetria di un poligono regolare con n lati. Il gruppo contiene 2n elementi e non è abeliano (se n>1): infatti se s indica una riflessione rispetto ad un asse e r una rotazione di 2\pi/n gradi vale la relazione r^k s = s r^{n-k}.

Gruppi simmetrici[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo simmetrico.

Il gruppo simmetrico S(X) di un insieme è definito come l'insieme delle permutazioni dell'insieme X. Quando X consta di n elementi, il gruppo simmetrico ne contiene n! ed è generalmente indicato con il simbolo S_n. Questo gruppo non è mai abeliano per n>2.

Gruppi finiti[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo finito.

Un gruppo finito è un gruppo che ha ordine n finito. Vi sono svariati tipi di gruppi finiti: tra questi, i gruppi ciclici C_n, i diedrali D_{2n} ed i simmetrici S_n.

Gruppi semplici[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo semplice.

Un gruppo semplice è un gruppo G che non contiene sottogruppi normali, eccetto il sottogruppo banale \{e\} e se stesso G. Un gruppo semplice non ha quozienti (perché i quozienti si fanno solo con i sottogruppi normali!) ed è quindi in un certo senso un "blocco primario" con cui poter costruire gruppi più complessi.

Ad esempio, il gruppo ciclico C_n è semplice se e solo se n è primo.

Costruzioni[modifica | modifica sorgente]

Prodotto diretto[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi prodotto diretto.

Il prodotto diretto di due gruppi G e H è il prodotto cartesiano

G\times H

munito di una operazione che riprende indipendentemente le due operazioni di G e H.

I vettori del piano centrati in un punto fissato, muniti dell'usuale somma fra vettori, formano un gruppo. Dopo aver fissato un sistema di coordinate nel piano, tale gruppo risulta essere \mathbb R^2 = \mathbb R \times \mathbb R. Analogamente, i vettori nello spazio centrati nell'origine formano il gruppo \mathbb R^3.

L'ordine del prodotto è il prodotto degli ordini, quindi il prodotto di due gruppi finiti è anch'esso finito. Inoltre, il prodotto di due gruppi abeliani è abeliano. Quindi un prodotto di gruppi ciclici come ad esempio

\mathbb Z/_{2\mathbb Z} \times \mathbb Z/_{2\mathbb Z}

è abeliano di ordine 4. Questo gruppo, noto come gruppo di Klein, è il più piccolo gruppo abeliano non ciclico.

Il prodotto di n copie di \mathbb R

\mathbb R^n = \mathbb R \times \ldots \times \mathbb R

è l'usuale spazio euclideo con n coordinate, munito della somma fra vettori.

Prodotto libero[modifica | modifica sorgente]

Il prodotto libero di due gruppi G e H è il gruppo

G* H

ottenuto prendendo tutte le parole con lettere in G e H a meno di una semplice relazione di equivalenza che permette l'inserimento (o l'eliminazione) di sottoparole del tipo u^{-1}u.

A differenza del prodotto diretto, il prodotto libero di due gruppi non banali non è mai finito, né abeliano. Il prodotto libero di n copie di \mathbb Z:

\mathbb Z * \ldots * \mathbb Z

è detto gruppo libero.

Prodotto semidiretto[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi prodotto semidiretto.

Il prodotto semidiretto di due gruppi G e H è una operazione che generalizza il prodotto diretto: l'insieme è sempre il prodotto cartesiano G\times H, ma l'operazione di gruppo è definita in modo diverso. Ad esempio, il gruppo diedrale D_{2n}, che consta di 2n elementi, può essere descritto come prodotto semidiretto di due gruppi ciclici di ordine 2 e n. Si scrive:

 \mathbb{Z}_n  \rtimes_\psi \mathbb{Z}_2.

Il simbolo \psi indica un particolare omomorfismo utile a definire di quale prodotto semidiretto si tratta.

Presentazioni[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi presentazione di un gruppo.

Combinando le nozioni di generatore e di gruppo quoziente è possibile ottenere una descrizione di un generico gruppo tramite una sua presentazione. Una presentazione è una scrittura del tipo

\langle a, b, c\ |\ a^2b, ab^2c, ac^2b \rangle.

I termini a sinistra della sbarretta sono i generatori, mentre le parole a destra sono le relazioni. Una permutazione determina effettivamente un gruppo, ottenuto come quoziente del gruppo libero su tre elementi a,b,c per il più piccolo sottogruppo normale che contiene le relazioni. Ad esempio, le presentazioni seguenti indicano rispettivamente un gruppo ciclico, diedrale, ed il gruppo di Klein:

\langle a\ |\ a^n\rangle, \quad \langle r, s\ |\ r^n, s^2, srsr \rangle, \quad \langle a, b\ |\ a^2, b^2, aba^{-1}b^{-1} \rangle.

La prima presentazione indica che il gruppo ha un solo generatore di ordine n, cioè vale a^n=1. Nell'ultima presentazione, la parola aba^{-1}b^{-1} fornisce la relazione aba^{-1}b^{-1}=1; altrimenti detto, i due elementi commutano: ab=ba. Questa parola è detta commutatore e viene spesso indicata con il simbolo [a,b].

Teoremi[modifica | modifica sorgente]

Teorema di Lagrange[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi teorema di Lagrange (teoria dei gruppi).

In presenza di un gruppo finito G, l'ordine o(g) di un qualsiasi elemento g è un numero finito che divide l'ordine |G| di G. Questo fatto, noto come teorema di Lagrange, pur essendo di immediata dimostrazione, ha come conseguenza vari fatti non ovvi.

Una delle prime conseguenze è il fatto che un gruppo di ordine primo p è necessariamente un gruppo ciclico.

Questo risultato può inoltre essere usato per dimostrare agevolmente il piccolo teorema di Fermat.

Teoremi di isomorfismo[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi teoremi di isomorfismo.

Vi sono tre teoremi di isomorfismo che asseriscono che, in condizioni molto generali, alcuni gruppi costruiti in modo diverso risultano in realtà isomorfi. Tutti e tre i teoremi fanno uso della nozione di gruppo quoziente. Il primo, ampiamente usato anche in algebra lineare per gli spazi vettoriali, asserisce che in presenza di un omomorfismo di gruppi

f:G\to H

il nucleo

\operatorname{Ker} f = \{g\in G\ | f(g) = e\}

è sempre un sottogruppo normale e l'omomorfismo f induce un isomorfismo

G/\operatorname{Ker}f \cong \operatorname{Im}f

dove il termine a destra è l'immagine di f.[5]

Teorema di Cayley[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi teorema di Cayley.

Il teorema di Cayley asserisce che qualsiasi gruppo può essere visto sottogruppo di un gruppo simmetrico. Se il gruppo è finito, anche il gruppo simmetrico in questione lo è. Ad esempio, un gruppo ciclico può essere interpretato come un gruppo di permutazioni cicliche, un gruppo diedrale come un gruppo di particolari permutazioni dei vertici di un poligono, etc.

Teoremi di Sylow[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi teoremi di Sylow.

Sia G un gruppo finito. Il teorema fornisce una condizione necessaria per l'esistenza di sottogruppi di ordine fissato in G: ad esempio, se G ha ordine 20 allora non ci sono sottogruppi di ordine 3, perché 3 non divide 20.

I teoremi di Sylow forniscono delle condizioni sufficienti per l'esistenza di sottogruppi di ordine fissato. Il primo teorema di Sylow asserisce che per ogni potenza p^r di un numero primo p che divida l'ordine di G esiste almeno un sottogruppo di G con questo ordine. Gli altri teoremi di Sylow forniscono delle informazioni più dettagliate nel caso in cui l'esponente r sia il più grande possibile.

Come conseguenza, se G ha ordine 20 allora contiene sicuramente dei sottogruppi di ordine 2, 4 e 5. Il teorema non si estende però a tutti i divisori: ad esempio, un tale gruppo G potrebbe non contenere un sottogruppo di ordine 10.

Classificazioni[modifica | modifica sorgente]

Non esistono tabelle generali che descrivano in modo esaustivo tutti i gruppi possibili. Usando strumenti semplici, quali ad esempio le presentazioni, è estremamente facile costruire gruppi molto complicati, la maggior parte dei quali non ha un "nome" come D_{2n} o S_n. Esistono però delle classificazioni parziali in alcuni ambiti.

Gruppi abeliani finitamente generati[modifica | modifica sorgente]

I gruppi abeliani finitamente generati sono classificati. Ciascun gruppo è del tipo

\mathbb{Z}^n \times \mathbb{Z}/_{k_1 \mathbb Z} \times \cdots \times \mathbb{Z}_{k_u \mathbb Z}.

Un gruppo abeliano finitamente generato è quindi un prodotto di gruppi ciclici. Questa scrittura non è però unica: ad esempio, i gruppi seguenti sono isomorfi

\mathbb Z/_{2\mathbb Z} \times \mathbb Z/_{3\mathbb Z} \cong \mathbb Z/_{6\mathbb Z}.

La scrittura è però unica se si richiede che ciascun k_i divida il successivo k_{i+1}. Si noti che \mathbb Q e \mathbb R non sono finitamente generati.

Gruppi semplici finiti[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi classificazione dei gruppi semplici finiti.

Non esiste una classificazione di tutti i gruppi finiti. D'altra parte, ogni gruppo finito può essere "decomposto" (in un certo senso) in gruppi semplici, e tali gruppi sono stati effettivamente classificati.

Ci sono 4 classi infinite di gruppi semplici finiti (ciclici, alternanti, lineari, di tipo Lie) più 26 gruppi sporadici. Il più grosso di questi contiene circa 8\times 10^{53} elementi!

Gruppi piccoli[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi tavola dei gruppi piccoli.

Esistono tavole che mostrano tutti i gruppi aventi ordine i=1,2,3,... fino ad un certo n. Per ogni i vi è almeno un gruppo di ordine i, il gruppo ciclico C_i. Il primo gruppo non ciclico è il gruppo di Klein C_2\times C_2, che ha ordine 4. Il primo gruppo non abeliano è S_3, che ha ordine 6, seguito da D_8 ed il gruppo dei quaternioni Q_8, aventi ordine 8.

Applicazioni[modifica | modifica sorgente]

Teoria di Galois[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi teoria di Galois.

La teoria di Galois nasce come strumento per studiare le radici di un polinomio. Le radici, anche complesse, di un polinomio di secondo grado ax^2+bx+c sono individuate dalla nota formula

x = \frac{-b \pm \sqrt{b^2-4ac}}{2a}.

Analoghe formule per risolvere le equazioni di terzo e quarto grado erano già note nel Cinquecento. Secondo il teorema di Abel-Ruffini, non ci sono però formule di questo tipo per equazioni di grado 5 o superiore. Usando il linguaggio della teoria di Galois, questo problema può essere affrontato nel modo seguente: le soluzioni di un dato polinomio possono essere espresse con formule di questo tipo (che usano le quattro operazioni e i radicali) se e solo se il relativo gruppo di Galois è un gruppo risolubile. I gruppi simmetrici S_2, S_3, S_4 sono risolubili, ma S_5 no: questo implica che non vi sia una formula generale per le equazioni di quinto grado.

La teoria di Galois si applica anche a problemi di costruzione con riga e compasso. Ad esempio, può essere usata per capire quali poligoni regolari possono essere costruiti e per dimostrare l'impossibilità della quadratura del cerchio o della trisezione di un angolo.

Aritmetica modulare[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi aritmetica modulare.

L'aritmetica modulare è strettamente connessa con la teoria dei gruppi ciclici. Tramite questa connessione, è possibile dimostrare vari fatti aritmetici non banali usando semplici strumenti della teoria dei gruppi. Il collegamento fra le due teorie è sancito dal fatto seguente: i numeri interi considerati a meno di congruenza rispetto ad un intero fissato n formano con l'addizione un gruppo ciclico C_n di ordine n.

Ad esempio, tramite questa corrispondenza il piccolo teorema di Fermat può essere dedotto dal fatto che, similmente a quanto accade per i numeri razionali o reali, se n è primo si può togliere lo zero da C_n e ottenere un gruppo anche con la moltiplicazione.[6]

Analogamente il fatto che il prodotto di C_a e C_b sia isomorfo a C_{ab} se e solo a e b sono coprimi è un enunciato moderno equivalente al teorema cinese del resto, già noto nel III secolo.

Gruppi di simmetria[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo di simmetria.
L'ottaedro ha 24 simmetrie rotatorie: queste formano il gruppo S_4. Il cubo, duale dell'ottaedro, ha lo stesso gruppo di simmetria.
Il dodecaedro ha 60 simmetrie rotatorie: queste formano il gruppo alternante A_5. Idem per il suo duale, l'icosaedro.

Le simmetrie di un oggetto geometrico formano sempre un gruppo. Ad esempio, le simmetrie di un poligono regolare formano un gruppo diedrale D_{2n}; le simmetrie di un tetraedro regolare formano invece un gruppo isomorfo al gruppo simmetrico S_4 su quattro elementi: ogni permutazione dei suoi 4 vertici è realizzata da una simmetria.

Per un oggetto nel piano e nello spazio, le simmetrie possono essere di vario tipo: traslazioni, rotazioni, riflessioni e operazioni più complicate ottenute componendo queste, come ad esempio le glissoriflessioni. Alcune di queste simmetrie (come le rotazioni e le traslazioni) preservano l'orientazione del piano (o dello spazio), mentre altre (come le riflessioni) la invertono. Se sono presenti simmetrie di entrambi i tipi, quelle che preservano l'orientazione formano sempre un sottogruppo di indice 2. Ad esempio, per un poligono regolare questo sottogruppo è un gruppo ciclico C_n dentro D_{2n}, mentre per il tetraedro è il gruppo alternante A_4 dentro S_4.

Il gruppo di simmetria di un poliedro è sempre finito. Le simmetrie di un poliedro che preservano l'orientazione sono tutte rotazioni intorno a qualche asse. Nonostante la grande varietà di poliedri esistenti, vi sono però pochi gruppi di simmetria possibili. I gruppi di rotazioni possibili sono i seguenti:

C_n, D_n, A_4, S_4, A_5\,\!

I primi due tipi di gruppi sono realizzati da piramidi e prismi (e più generalmente dei prismatoidi). I tre gruppi A_4, S_4 e A_5 sono realizzati dai solidi platonici.

Gruppo fondamentale[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo fondamentale.
Il gruppo fondamentale dello spazio ottenuto rimuovendo un punto dal piano è isomorfo a \mathbb Z. La curva che fa due giri mostrata in figura corrisponde al valore intero "2".
Il gruppo fondamentale di un toro è \mathbb Z \times \mathbb Z: i due generatori sono mostrati in figura.

In topologia, il "numero di buchi" di uno spazio topologico X è codificato efficientemente dal suo gruppo fondamentale, generalmente indicato con il simbolo \pi_1(X). Il gruppo fondamentale è costruito prendendo tutte le curve chiuse contenute nello spazio (che partono e arrivano da un fissato punto base). Due curve che possono essere ottenute l'una dall'altra tramite uno spostamento continuo (detto omotopia) sono considerate equivalenti. Due curve possono essere composte tramite concatenamento ed il risultato è effettivamente un gruppo.

Il gruppo fondamentale è uno dei concetti più importanti in topologia, ed è uno dei primi strumenti usati per distinguere spazi topologici distinti (ovvero non omeomorfi). Ad uno spazio topologico possono essere associati vari altri gruppi, come i più generali gruppi di omotopia o di omologia.

La circonferenza unitaria nel piano complesso con l'operazione di moltiplicazione (fra numeri complessi) forma un gruppo di Lie e quindi in particolare un gruppo topologico. Si tratta di una varietà differenziabile: ogni punto ha un intorno (qui disegnato in rosso) omeomorfo ad un intervallo aperto della retta reale.

Estensioni[modifica | modifica sorgente]

Anelli, campi, spazi vettoriali[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi anello (algebra), campo (matematica) e spazio vettoriale.

La nozione di gruppo può essere estesa aggiungendo all'operazione di gruppo un'altra operazione che soddisfi dei nuovi assiomi. Ad esempio, un anello è un insieme A dotato di due operazioni, generalmente indicate con i simboli + e \times, che soddisfano alcune proprietà. Queste proprietà richiedono in particolare che (A,+) sia un gruppo abeliano. L'esempio fondamentale di anello è \mathbb Z con le usuali operazioni di addizione e moltiplicazione.

Quando la moltiplicazione è commutativa e ammette un'inversa per tutti gli elementi diversi da zero, l'anello è detto campo. Gli esempi fondamentali di campo sono \mathbb Q, \mathbb R e \mathbb C. Gli interi non formano però un campo.

Una struttura un po' più complessa è quella di spazio vettoriale. Uno spazio vettoriale V è un gruppo abeliano dotato di un'altra operazione chiamata "prodotto per scalare". Gli spazi vettoriali vengono studiati nell'ambito dell'algebra lineare.

Gruppi topologici e di Lie[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi gruppo topologico e gruppo di Lie.

La nozione di gruppo può essere arricchita anche usando alcuni strumenti propri della topologia. Un gruppo topologico è un gruppo che è anche uno spazio topologico, che soddisfi delle naturali relazioni di compatibilità fra le due nozioni (l'operazione interna e la topologia). Ad esempio, \mathbb Z, \mathbb Q, \mathbb R e \mathbb C muniti dell'usuale topologia euclidea sono gruppi topologici.[7]

Se il gruppo topologico ha anche una struttura di varietà differenziabile (sempre compatibile con l'operazione del gruppo), allora è un gruppo di Lie. I gruppi di Lie hanno un ruolo molto importante nella geometria del XX secolo. Esempi di gruppi di Lie sono:

\mathbb R^n, \mathbb C^n, S^1, \operatorname O(n), \operatorname{GL}(n,\mathbb R)

dove S^1 è la circonferenza unitaria del piano complesso, O è il gruppo ortogonale e GL è il gruppo generale lineare.

Semigruppi, monoidi[modifica | modifica sorgente]

Generalizzazioni della nozione di gruppo
Totalità Associatività Neutro Inverso
Gruppo
Monoide no
Semigruppo no no
Loop no
Quasigruppo no no
Magma no no no
Gruppoide no
Categoria no no

Eliminando alcuni dei tre assiomi è possibile definire varie strutture algebriche che generalizzano la nozione di gruppo. Tali strutture, riassunte nella tabella a fianco, sono però molto meno utilizzate. Ad esempio, i numeri naturali \mathbb N formano un monoide e i numeri pari 2\mathbb Z formano un semigruppo, entrambi con la somma. Le nozioni di loop, quasigruppo e magma sono meno frequenti perché è poco usuale trovare operazioni non associative.

Si può inoltre sostituire l'operazione di gruppo con una funzione parziale, definita solo per alcune coppie di elementi. Ad esempio, le matrici invertibili (di grandezza arbitraria) con la moltiplicazione formano un gruppoide: quando possono essere moltiplicate fra loro, tutte e tre gli assiomi di gruppo sono soddisfatti.

Note[modifica | modifica sorgente]

  1. ^ Hoffman, Kunze, op. cit., Pag. 82
  2. ^ Hoffman, Kunze, op. cit., Pag. 83
  3. ^ Una condizione equivalente consiste nel richiedere che esista una inversa g:H\to G, tale che componendo le due funzioni (in entrambi i modi possibili) si ottenga l'identità di G o H, rispettivamente.
  4. ^ Più in generale, ogni sottogruppo di indice 2 è normale. Un sottogruppo di indice 3 può però essere non normale!
  5. ^ Si noti che l'immagine, a differenza del nucleo, non è necessariamente un sottogruppo normale.
  6. ^ In altre parole, C_n in questo caso è un campo. Quando n non è primo le classi di resto formano soltanto un anello.
  7. ^ La topologia su \mathbb Z risulta essere discreta. Quella su \mathbb Q no.

Bibliografia[modifica | modifica sorgente]

Voci correlate[modifica | modifica sorgente]

Altri progetti[modifica | modifica sorgente]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica