Un groupe (G, ·) dont la loi binaire est commutative : pour tous a, b dans G, a·b = b·a. Autrement dit, un groupe où chaque paire d'éléments commute pour la loi de groupe.

Principe

La commutativité de la loi est la contrainte organisatrice ; elle identifie la structure gauche et droite et permet des manipulations de type linéaire (réordonner les facteurs) qui simplifient la classification et le comportement en tant que module.

Démonstration

Les entiers (Z, +) forment un groupe abélien car m + n = n + m pour tous les entiers. Le groupe additif de tout anneau ou espace vectoriel est abélien ; les groupes cycliques finis Z/nZ en sont aussi des exemples.

Mauvaise application

Supposer que des résultats valables pour les groupes abéliens (par exemple que tous les sous-groupes sont automatiquement normaux ou que la classification à isomorphisme est triviale) s'étendent aux groupes non abéliens. Une autre erreur est de traiter une loi qui commute seulement pour certains éléments comme si elle était globalement commutative.

Conséquence

Quand un groupe est abélien, la structure des sous-groupes et la formation de quotients sont plus simples (tous les sous-groupes de groupes cycliques sont cycliques, de nombreux théorèmes de classification s'appliquent), les représentations se réduisent à des modules linéaires sur Z ou d'autres anneaux, et les méthodes tensorielles et homologiques deviennent disponibles.

Inversion

Un groupe non abélien conserve identité et inverses mais n'est pas globalement commutatif : l'ordre importe et l'action par conjugaison devient un phénomène central, permettant l'existence de commutateurs et de groupes simples non abéliens absents du cadre abélien.

Limite

Cette entrée concerne la seule commutativité de la loi de groupe. Elle ne traite pas des structures additionnelles comme les groupes abéliens ordonnés, les groupes abéliens topologiques, ou les catégories abéliennes ; elle n'inclut pas non plus les groupes seulement localement ou partiellement abéliens.

Tension sémantique

« Abélien » peut être confondu avec d'autres emplois de la commutativité (par exemple les anneaux commutatifs) : la tension consiste en ce que les groupes abéliens sont des modules sur Z et se comportent comme des objets linéaires de dimension un, tandis que les anneaux commutatifs possèdent une structure multiplicative qui modifie la classification et les invariants.

Synthèse

Un groupe abélien est un groupe commutatif : la symétrie de la loi réduit la complexité, permet une vue module‑théorique et soutient de nombreuses techniques de classification et d'homologie.