Groupe abélien

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche à compléter concernant l'algèbre, vous pouvez partager vos connaissances en le modifiant.

Cet article ou cette section doit être recyclé. Sa qualité devrait être largement améliorée en le réorganisant et en le clarifiant.
L'utilisateur qui appose ce bandeau est invité à énoncer les points à améliorer en page de discussion.

En algèbre générale, un groupe abélien, ou groupe commutatif, est un groupe $(\mathcal G, \star)$ où la loi de composition interne $\star$ est commutative, c'est à dire que pour tous les éléments $a, b \in \mathcal G$ , on a $a \star b = b \star a$ .

Les groupes abéliens portent le nom de Niels Henrik Abel.

[modifier] Notations habituelles

Il y a deux notations courantes pour les groupes abéliens : additive ou multiplicative.

Convention	Opération	Identité	Puissance	Inverse	Somme directe/produit
Addition	x + y	0	nx	−x	G ⊕ H
Multiplication	x * y ou xy	e ou 1	xⁿ	x ⁻¹	G × H

La notation multiplicative est la notation habituelle pour les groupes, la notation additive étant préférée pour les modules. La notation additive est également courante lorsque les groupes abéliens sont étudiés à part des autres groupes.

[modifier] Exemples

Des exemples de groupes abéliens incluent les groupes monogènes tels que l'ensemble des entiers $(\mathbb Z, +)$ et l'ensemble des entiers modulo n $(\mathbb Z/ n\mathbb Z, +)$ .

L'ensemble des nombres réels, $\mathbb R$ , forme un groupe abélien avec l'addition ; de même que l'ensemble des nombres réels non nuls, $\mathbb R^*$ , pour la multiplication. De la même façon tout corps $\mathbb K$ renferme deux groupes, $(\mathbb K, +)$ muni de l'addition sur ce corps et $(\mathbb K^*, .)$ privé de l'élément absorbant muni de la multiplication sur ce corps. Un autre exemple important est celui du groupe quotient $\mathbb Q/\mathbb Z$ .

Si n est un entier naturel et x est un élément d'un groupe abélien G, alors nx peut être défini comme x + x + ... + x (n sommes) et (-n)x = -(nx). De cette façon, $\mathcal G$ devient un module sur l'anneau $\mathbb Z$ des entiers. En fait, les modules sur $\mathbb Z$ peuvent être identifiés avec les groupes abéliens.

Les théorèmes sur les groupes abéliens peuvent souvent être généralisés en théorèmes sur les modules sur un anneau principal.

Un exemple est la classification des groupes abéliens de type fini.

[modifier] Propriétés

Tout sous-groupe d'un groupe abélien est un sous-groupe distingué, et ainsi les groupes quotients peuvent être formés librement.

Les sous-groupes, les groupes quotients, les produits et les sommes directes de groupes abéliens, sont aussi abéliens.

Si f, g : G → H sont deux homomorphismes entre groupes abéliens, alors leur somme f+g, définie par (f+g)(x) = f(x) + g(x), est aussi un homomorphisme. (ce qui n'est pas vrai si H n'est pas un groupe abélien). L'ensemble Hom(G, H) de tous les homomorphismes de groupes de G vers H devient ainsi lui-même un groupe abélien.

Les groupes abéliens, conjointement avec les homomorphismes, forment une catégorie, prototype d'une catégorie abélienne.

[modifier] Rang

Quelque peu apparenté à la dimension d'un espace vectoriel, tout groupe abélien a un rang. Le rang est défini comme le cardinal du plus grand ensemble d'éléments linéairement indépendants du groupe. Les ensembles des nombres entiers et des nombres rationnels respectivement ont un rang égal à un. Alors que les rangs des groupes abéliens finis sont bien compris, les rangs des groupes infinis peuvent être extrêmement complexes et encore beaucoup de questions en suspens subsistent, souvent intimement liées à des questions de la théorie des ensembles.