Gruppo abeliano

Da Teknopedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

In matematica e in particolare in algebra astratta, un gruppo abeliano, o gruppo commutativo, è un gruppo la cui operazione binaria interna gode della proprietà commutativa, ossia il gruppo è abeliano se

Il nome deriva dal matematico norvegese Niels Henrik Abel. Se in un gruppo si vuole sottolineare che l'operazione non è commutativa, ci si riferisce a esso come gruppo non abeliano o gruppo non commutativo. La teoria dei gruppi abeliani è generalmente più semplice di quella dei gruppi non abeliani. In particolare i gruppi abeliani finiti sono ben conosciuti e completamente classificati.

  • I numeri interi con l'usuale addizione sono un gruppo abeliano.
  • Più in generale, tutti i gruppi ciclici sono abeliani, infatti, se è un generatore di e allora
  • I numeri razionali e i numeri reali con l'usuale addizione sono un gruppo abeliano. I numeri razionali senza lo zero e i numeri reali senza lo zero con l'usuale moltiplicazione sono un gruppo abeliano.
  • Più in generale, ogni campo dà origine in modo naturale a due gruppi abeliani: il gruppo additivo se si considera solo l'addizione e il gruppo moltiplicativo dato dagli elementi di diversi da zero e considerando la sola operazione di moltiplicazione.
  • Un esempio di gruppo non commutativo è dato dall'insieme delle matrici quadrate invertibili con l'usuale moltiplicazione tra matrici righe per colonne.
  • Ogni gruppo abeliano può essere dotato di una struttura di modulo sull'anello dei numeri interi nel seguente modo: dati e l'elemento è definito come il multiplo -simo di rispetto all'operazione di gruppo, ossia: con addendi, e . Di fatto, i moduli su possono essere identificati con i gruppi abeliani.
  • Ogni sottogruppo di un gruppo abeliano è normale, si può perciò costruire il gruppo quoziente a partire da ogni sottogruppo. Sottogruppi, gruppi quoziente, prodotti e somme dirette di gruppi abeliani sono ancora gruppi abeliani.
  • L'insieme degli omomorfismi tra due gruppi abeliani e costituisce a sua volta un gruppo abeliano con l'operazione , dove e

Questa particolare definizione si può applicare solo ai gruppi abeliani, infatti, se e non fossero abeliani, avremmo:

che differisce da

per l'ordine dei fattori, dimostrando che non è un omomorfismo.

I gruppi abeliani, insieme con gli omomorfismi di gruppi, costituiscono una categoria che è una sottocategoria della categoria dei gruppi.

In un gruppo abeliano si può invertire il teorema di Lagrange, cioè se divide allora esiste (almeno) un sottogruppo di ordine

Gruppi abeliani finiti

[modifica | modifica wikitesto]

I gruppi ciclici degli interi modulo sono tra i primi esempi di gruppi abeliani finiti. In effetti ogni gruppo abeliano finito è isomorfo a una somma diretta di gruppi ciclici finiti di ordine una potenza di un primo e questi ordini sono univocamente determinati determinando un sistema completo di invarianti. Il gruppo degli automorfismi di un gruppo abeliano finito può essere descritto direttamente in termini di questi invarianti. La teoria è stata elaborata in un articolo del 1879 da Georg Frobenius e Ludwig Stickelberger. In seguito essa fu semplificata e generalizzata ai moduli finitamente generati su domini a ideali principali, formando un importante capitolo dell'algebra lineare.

Ogni gruppo di ordine primo è isomorfo a un gruppo ciclico ed è quindi abeliano. Ogni gruppo il cui ordine è un quadrato di un primo è abeliano.[1] In effetti per ogni numero primo ci sono, a meno di isomorfismo, esattamente due gruppi di ordine ossia il gruppo e il gruppo

Classificazione

[modifica | modifica wikitesto]

Il teorema fondamentale dei gruppi abeliani finiti afferma che ogni gruppo abeliano finito può essere espresso come somma diretta di sottogruppi ciclici di ordine una potenza di un primo; questo teorema è noto anche come teorema della base per gruppi abeliani finiti.[2] Esso è generato dal teorema fondamentale dei gruppi abeliani finitamente generati, di cui i gruppi finiti sono un caso particolare, che ammette numerose ulteriori generalizzazioni.

Il teorema di classificazione è stato dimostrato da Leopold Kronecker nel 1870, sebbene non fu formulato in termini della moderna teoria dei gruppi fino a diverso tempo dopo.

Il gruppo ciclico di ordine è isomorfo alla somma diretta di e se e solo se e sono coprimi. Segue che ogni gruppo abeliano finito è isomorfo a una somma diretta della forma

in uno dei seguenti modi canonici:

  • i numeri sono potenze di primi (non necessariamente distinti);
  • oppure divide che divide e così via fino a

Per esempio può essere espresso, usando la prima dicitura, come somma diretta di due sottogruppi di ordine 3 e 5: Lo stesso è vero per ogni gruppo abeliano di ordine 15, quindi tutti i gruppi abeliani di ordine 15 sono isomorfi.

Altro esempio: ogni gruppo abeliano di ordine 8 è isomorfo o a o a o a

Numero di gruppi abeliani finiti

[modifica | modifica wikitesto]

Sebbene non esista una formula che esprima, per ogni il numero di gruppi di ordine essa tuttavia esiste nel caso di un gruppo abeliano: infatti, se

dove i sono primi distinti, allora il numero di gruppi (non isomorfi tra loro) di ordine è

dove è la funzione di partizione di un intero; ossia la numerosità dei gruppi non dipende dai fattori primi di ma soltanto dai loro esponenti.

  1. ^ Rose 2012, p. 79.
  2. ^ Kurzweil, H., & Stellmacher, B., The Theory of Finite Groups: An Introduction (New York, Berlin, Heidelberg: Springer Verlag, 2004), pp. 43–54.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàThesaurus BNCF 5494 · LCCN (ENsh85000128 · BNF (FRcb11979859b (data) · J9U (ENHE987007292972705171 · NDL (ENJA00560040
  Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica