Groupe abélien libre

En mathématiques, un groupe abélien libre est un groupe abélien qui possède une base, c'est-à-dire une partie B telle que tout élément du groupe s'écrive de façon unique comme combinaison linéaire à coefficients entiers d'un nombre fini d'éléments de B. Un groupe abélien libre de base B s'identifie donc à l'ensemble des sommes formelles d'éléments de B.

Comme les espaces vectoriels, les groupes abéliens libres sont classifiés (à isomorphisme près) par leur rang, défini comme le cardinal d'une base, et tout sous-groupe d'un groupe abélien libre est lui-même abélien libre. Tout groupe abélien est donc isomorphe au quotient d'un groupe abélien libre par un sous-groupe abélien libre.

Sommaire

Exemple et contre-exemple

  • Le groupe G=\Z\oplus\Z\simeq\Z\times\Z, somme directe de deux copies du groupe cyclique infini \Z, est abélien libre de rang 2, dont une base est B = {e1,e2} avec e1 = (1,0)et e2 = (0,1) puisque tout élément (n,m) de G s'écrit de manière unique sous la forme:
(n,m)=ne1+me2.
  • Aucun groupe abélien fini non réduit au neutre n'est abélien libre, d'après la propriété 5 ci-dessous (pour d'autres contre-exemples cf propriétés 5 et 6).

Terminologie

Contrairement aux espaces vectoriels, les groupes abéliens n'ont pas tous une base, c'est pourquoi on réserve à ceux qui en ont une un qualificatif supplémentaire ( « libres » ).

Ce qualificatif de « libre » peut prêter à confusion. L'expression « groupe abélien libre » est à prendre globalement, et ne signifie pas du tout « groupe qui est à la fois un groupe abélien et un groupe libre » . Les seuls groupes libres qui soient abéliens sont (à isomorphisme près) le groupe trivial déjà mentionné et le groupe cyclique infini \Z.

Propriétés

  1. Pour tout ensemble B, il existe un groupe abélien libre de base B, unique à isomorphisme près : le groupe des applications de B dans \Z nulles sur un sous-ensemble cofini de B. Il est isomorphe à une somme directe d'autant de copies de \Z qu'il y a d'éléments dans B.
  2. Un groupe abélien libre G de base B vérifie la propriété universelle suivante, qui le caractérise (à isomorphisme près) parmi les groupes abéliens : pour toute application f de B dans un groupe abélien A, il existe un unique morphisme de groupes de G dans A qui prolonge f.
  3. Pour tout groupe abélien A, il existe un groupe abélien libre G et un morphisme surjectif de G dans A. C'est une conséquence de la propriété universelle précédente.
  4. La notion de groupe abélien libre est un cas particulier de celle de module libre, puisqu'un groupe abélien n'est rien d'autre qu'un module sur l'anneau \Z des entiers.
  5. Tout groupe abélien libre est sans torsion, et tout groupe abélien de type fini sans torsion est un groupe abélien libre[1].
  6. Aucun groupe abélien divisible n'est abélien libre, sauf le groupe trivial. Par exemple, le groupe additif \Q des rationnels n'est pas un groupe abélien libre (bien qu'il soit sans torsion).
  7. Tout sous-groupe d'un groupe abélien libre est abélien libre (voir ci-dessous).
  8. Tout groupe abélien est isomorphe à un quotient de deux groupes abéliens libres (c'est une conséquence des propriétés 3 et 7). On peut formaliser ceci en disant que pour tout groupe abélien A, il existe une suite exacte 0 → GFA → 0, avec F et G abéliens libres. Une telle suite est appelée une résolution (en) libre de A de longueur 1, et A est le conoyau du morphisme injectif de G dans F.
  9. Tout groupe abélien projectif (en tant que \Z-module) est abélien libre (c'est une conséquence de la propriété 7).

Malgré sa simplicité, la propriété d'être abélien libre ou pas peut être difficile à déterminer, pour un groupe concret donné. Par exemple, Reinhold Baer (en) a démontré en 1937 que le groupe de Baer-Specker (en) \Z^\N (produit direct d'une infinité dénombrable de copies de \Z) n'est pas abélien libre, et Ernst Specker (en) a prouvé en 1950 que tous ses sous-groupes dénombrables sont abéliens libres.

Rang

Tout groupe abélien libre de type fini est isomorphe à \Z^n pour un certain entier naturel n, qu'on appelle son rang. En général, un groupe abélien libre F a de nombreuses bases, mais toutes ont le même cardinal, et c'est ce cardinal qu'on appelle le rang de F. Cette notion de rang d'un groupe abélien libre peut être étendue en celle de rang d'un groupe abélien (en), ou plus généralement, d'un module. Le lien entre les différentes bases peut être intéressant, par exemple dans l'étude des réseaux.

Somme formelle

Le foncteur objet libre (en) qui à tout ensemble B associe le groupe abélien libre de base B, noté \Z[B], est l'adjoint à gauche du foncteur d'oubli, de la catégorie des groupes abéliens dans celle des ensembles.

Une somme formelle d'éléments de B est un élément de \Z[B], i.e. un élément de la forme

\sum_{b\in C}n_b.b~,

C est une partie finie de B, avec la convention que si C est vide, la somme est nulle (ce qui rend cette description compatible avec le fait que le groupe abélien libre sur l'ensemble vide est réduit au neutre).

Sous-groupes

Théorème — Tout sous-groupe d'un groupe abélien libre F est abélien libre et de rang inférieur ou égal à celui de F.

Ce théorème est le cas particulier A=\Z du théorème similaire[2] concernant les modules libres sur un anneau principal A. Un analogue partiel, pour les groupes libres, est le théorème de Nielsen-Schreier.

Notes et références

  1. Paul Cohn (en), Algebra, t. 1, Wiley, 1974 (ISBN 0-471-16430-5) , p. 281
  2. Voir Serge Lang, Algèbre [détail des éditions], appendice 2, §2 (en utilisant le lemme de Zorn) pour un module libre de rang quelconque. Le cas particulier d'un module libre de rang fini sur un anneau euclidien est traité dans l'article Théorème des facteurs invariants.

Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • Groupe Abélien De Type Fini — Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi de composition interne est… …   Wikipédia en Français

  • Groupe abelien de type fini — Groupe abélien de type fini Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi… …   Wikipédia en Français

  • Groupe abélien — Un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l anneau commutatif des entiers relatifs ; l… …   Wikipédia en Français

  • Groupe abélien de type fini — En mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Les produits, les quotients, mais aussi les sous groupes des groupes abéliens de type fini sont eux mêmes de type fini. Un théorème… …   Wikipédia en Français

  • Groupe Libre — Le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application ensembliste f de S dans G, il existe un unique morphisme de groupe de F dans G… …   Wikipédia en Français

  • Groupe de Prüfer — En mathématiques, et plus particulièrement en théorie des groupes, on appelle p groupe de Prüfer, ou encore groupe p quasi cyclique[1], pour un nombre premier p donné, tout groupe isomorphe au groupe multiplicatif [2] formé par les racines comple …   Wikipédia en Français

  • Groupe libre — En théorie des groupes, le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application f : S → G, il existe un unique morphisme de groupes de… …   Wikipédia en Français

  • Groupe (mathématique) — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • groupe — [ grup ] n. m. • 1668; it. gruppo « nœud, assemblage », d o. germ. °kruppa « masse arrondie »; cf. croupe 1 ♦ Réunion de plusieurs personnages, formant une unité organique dans une œuvre d art (peinture, sculpture). Le groupe des trois Grâces. 2… …   Encyclopédie Universelle

  • Groupe Diédral — Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des …   Wikipédia en Français

Share the article and excerpts

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