Groupe dual

Groupe dual

Groupe abélien

En algèbre générale, un groupe abélien, ou groupe commutatif, est un groupe (\mathcal G, \star) dont 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.

Sommaire

Notations habituelles

Il y a deux notations courantes pour les groupes abéliens : la notation additive et la notation 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 xn x −1 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.

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 \mathcal 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.

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.

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.

Topologie

Beaucoup de grands groupes abéliens portent une topologie naturelle, les transformant en des groupes topologiques.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Groupe ab%C3%A9lien ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe dual de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Groupe Alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est composé des… …   Wikipédia en Français

  • Groupe alterne — Groupe alterné En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est… …   Wikipédia en Français

  • Groupe Abélien Fini — Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont le cardinal est fini.… …   Wikipédia en Français

  • Groupe Topologique Compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… …   Wikipédia en Français

  • Groupe abelien fini — Groupe abélien fini Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont le… …   Wikipédia en Français

  • Groupe topologique compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… …   Wikipédia en Français

  • Groupe alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini à n éléments. Ce sous groupe est composé des… …   Wikipédia en Français

  • Groupe de Picard — En géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l… …   Wikipédia en Français

  • Dual d'un module — En algèbre commutative et plus généralement en théorie des anneaux, le dual d un module A par rapport à un module B (sur un anneau R) est l ensemble des homomorphismes de A dans B. Il est noté Hom(A,B). Si le module B n est pas spécifié, par… …   Wikipédia en Français

  • Groupe abélien fini — Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont l ensemble sous jacent… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”