Un groupe dont l'opération binaire est commutative pour toute paire d'éléments ; autrement dit, pour tous a et b du groupe, a * b = b * a.

Principe

La commutativité de l'opération de groupe simplifie la théorie de la structure et des représentations : de nombreux théorèmes de classification (par exemple la structure des groupes abéliens de type fini) et les interprétations en tant que modules deviennent disponibles.

Démonstration

Les entiers Z munis de l'addition forment un groupe abélien car l'addition est commutative. Tout espace vectoriel sur un corps est un groupe abélien pour l'addition vectorielle ; les groupes cycliques finis Z/nZ en sont des exemples simples.

Mauvaise application

Supposer des propriétés valides pour les groupes abéliens (comme la décomposition en facteurs cycliques) sans vérifier la finitude ou d'autres hypothèses, ou croire que tout groupe abélien est cyclique, ce qui est faux en général.

Conséquence

Les groupes abéliens admettent souvent une riche classification, ont des invariants homologiques bien comportés et forment la catégorie des Z‑modules, reliant la théorie des groupes à l'algèbre linéaire et homologique.

Inversion

Le renversement est un groupe non abélien où la commutativité échoue ; apparaissent alors des phénomènes comme un sous‑groupe dérivé non trivial, une complexité de conjugaison et des comportements distincts des classes à gauche et à droite.

Limite

L'exigence est la commutativité globale pour toutes les paires d'éléments ; cela exclut les groupes seulement localement ou partiellement commutatifs (par ex. groupes nilpotents ou résolubles non abéliens).

Tension sémantique

Tension entre 'groupe abélien' et d'autres objets algébriques commutatifs : comme groupe additif d'un anneau, un groupe abélien peut porter une structure multiplicative supplémentaire ; il faut distinguer la commutativité additive de la commutativité de l'anneau.

Synthèse

Un groupe abélien est un groupe dont l'opération est commutative, donnant un objet algébrique proche du linéaire, susceptible de classification et de méthodes modulaires, et servant de socle additif pour de nombreuses théories algébriques.