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 ${\displaystyle (G,*)}$ è abeliano se

${\displaystyle a*b=b*a,\quad \forall a,b\in G.}$

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 ${\displaystyle g}$ è un generatore di ${\displaystyle G}$ e ${\displaystyle x,y\in G,}$ allora

${\displaystyle xy=g^{n}g^{m}=g^{n+m}=g^{m+n}=g^{m}g^{n}=yx.}$

• 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 ${\displaystyle (F,+,\cdot )}$ dà origine in modo naturale a due gruppi abeliani: il gruppo additivo ${\displaystyle (F,+)}$ se si considera solo l'addizione e il gruppo moltiplicativo ${\displaystyle (F\setminus \{0\},\cdot )}$ dato dagli elementi di ${\displaystyle F}$ 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 ${\displaystyle G}$ può essere dotato di una struttura di modulo sull'anello ${\displaystyle \mathbb {Z} }$ dei numeri interi nel seguente modo: dati ${\displaystyle x\in G}$ e ${\displaystyle n\in \mathbb {Z} ,}$ l'elemento ${\displaystyle nx}$ è definito come il multiplo ${\displaystyle n}$-simo di ${\displaystyle x}$ rispetto all'operazione di gruppo, ossia: ${\displaystyle nx:=x+x+\ldots +x}$ con ${\displaystyle n}$ addendi, e ${\displaystyle (-n)x:=-(nx)}$. Di fatto, i moduli su ${\displaystyle \mathbb {Z} }$ 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 ${\displaystyle \mathrm {Hom} (G,H)}$ tra due gruppi abeliani ${\displaystyle G}$ e ${\displaystyle H}$ costituisce a sua volta un gruppo abeliano con l'operazione ${\displaystyle (f+g)(x):=f(x)+g(x)}$, dove ${\displaystyle f,g\colon G\to H}$ e ${\displaystyle x\in G.}$

Questa particolare definizione si può applicare solo ai gruppi abeliani, infatti, se ${\displaystyle H}$ e ${\displaystyle G}$ non fossero abeliani, avremmo:

${\displaystyle (f*g)(x*y):=f(x*y)*g(x*y)=f(x)*f(y)*g(x)*g(y)}$

che differisce da

${\displaystyle (f*g)(x)*(f*g)(y)=f(x)*g(x)*f(y)*g(y)}$

per l'ordine dei fattori, dimostrando che ${\displaystyle f*g}$ 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 ${\displaystyle G}$ si può invertire il teorema di Lagrange, cioè se ${\displaystyle m}$ divide ${\displaystyle n=|G|,}$ allora esiste (almeno) un sottogruppo di ordine ${\displaystyle m.}$

I gruppi ciclici ${\displaystyle \mathbb {Z} /n\mathbb {Z} }$ degli interi modulo ${\displaystyle n}$ 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 ${\displaystyle p}$ ci sono, a meno di isomorfismo, esattamente due gruppi di ordine ${\displaystyle p^{2},}$ ossia il gruppo ${\displaystyle \mathbb {Z} _{p^{2}}}$ e il gruppo ${\displaystyle \mathbb {Z} _{p}\times \mathbb {Z} _{p}.}$

Il teorema fondamentale dei gruppi abeliani finiti afferma che ogni gruppo abeliano finito ${\displaystyle G}$ 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 ${\displaystyle \mathbb {Z} _{mn}}$ di ordine ${\displaystyle mn}$ è isomorfo alla somma diretta di ${\displaystyle \mathbb {Z} _{m}}$ e ${\displaystyle \mathbb {Z} _{n}}$ se e solo se ${\displaystyle m}$ e ${\displaystyle n}$ sono coprimi. Segue che ogni gruppo abeliano finito ${\displaystyle G}$ è isomorfo a una somma diretta della forma

${\displaystyle \bigoplus _{i=1}^{u}\mathbb {Z} _{k_{i}}}$

in uno dei seguenti modi canonici:

• i numeri ${\displaystyle k_{1},k_{2},\ldots ,k_{u}}$ sono potenze di primi (non necessariamente distinti);
• oppure ${\displaystyle k_{1}}$ divide ${\displaystyle k_{2}}$ che divide ${\displaystyle k_{3}}$ e così via fino a ${\displaystyle k_{u}.}$

Per esempio ${\displaystyle \mathbb {Z} _{15}}$ può essere espresso, usando la prima dicitura, come somma diretta di due sottogruppi di ordine 3 e 5: ${\displaystyle \mathbb {Z} _{15}\cong \{0,5,10\}\oplus \{0,3,6,9,12\}\cong \mathbb {Z} _{3}\oplus \mathbb {Z} _{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 ${\displaystyle \mathbb {Z} _{8}}$ o a ${\displaystyle \mathbb {Z} _{4}\oplus \mathbb {Z} _{2}}$ o a ${\displaystyle \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}.}$

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

${\displaystyle n=\prod _{i}p_{i}^{q_{i}},}$

dove i ${\displaystyle p_{i}}$ sono primi distinti, allora il numero di gruppi (non isomorfi tra loro) di ordine ${\displaystyle n}$ è

${\displaystyle \prod _{i}P(q_{i}),}$

dove ${\displaystyle P(x)}$ è la funzione di partizione di un intero; ossia la numerosità dei gruppi non dipende dai fattori primi di ${\displaystyle n}$ ma soltanto dai loro esponenti.

• Struttura algebrica
• Glossario di teoria dei gruppi

• Wikimedia Commons contiene immagini o altri file sul gruppo abeliano

• Gruppo abeliano, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Abelian group, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Opere riguardanti Abelian groups, su Open Library, Internet Archive.
• (EN) Eric W. Weisstein, Abelian Group, su MathWorld, Wolfram Research.
• (EN) Abelian group, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

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