Module libre

Module libre

En algèbre, un module libre est un module M qui possède une base B, c'est-à-dire un sous-ensemble de M tel que tout élément de M s'écrive de façon unique comme combinaison linéaire (finie) d'éléments de B.

Sommaire

Définitions

Une base de M est une partie B de M qui est à la fois :

  • génératrice pour M, c'est-à-dire que tout élément de M est combinaison linéaire d'éléments de B ;
  • libre, c'est-à-dire que pour toutes familles finies (ei)1≤i≤n d'éléments de B deux à deux distincts et (ai)1≤i≤n d'éléments de l'anneau sous-jacent telles que a1e1 + ... + anen = 0, on a : a1 = ... = an = 0.

Exemples et contre-exemple

  • Étant donné un anneau A, l'exemple le plus immédiat de A-module libre est An. Réciproquement, tout A-module libre de base à n éléments est isomorphe à An.
  • Tout groupe abélien admet une unique structure de \mathbb Z-module. Les groupes abéliens libres sont exactements les \mathbb{Z}-modules libres.
  • Contrairement aux espaces vectoriels, cas particuliers des modules sur un corps, un module n'est pas toujours libre. Par exemple les \mathbb{Z}-modules {\mathbb Z}/2{\mathbb Z} et \Q ne sont pas libres. En revanche, tout module est le quotient d'un module libre.
  • Un sous-module d'un module libre n'est en général pas libre. Par exemple tout idéal (à gauche) de A est un A-module (à gauche), mais il n'est libre que s'il est engendré par un seul élément.
  • Le théorème de construction des bases partant d'une partie libre ou génératrice n'est pas valide pour les modules. Ainsi la partie {2,3} engendre Z en tant que Z-module (car elle engendre 1 par 3 - 2 = 1). En revanche, ni le singleton {2} ni {3} n'engendrent Z seuls. De même la partie libre {2} ne peut pas se compléter en une base de Z.

Propriétés générales

  • Si {Mi}i est une famille de modules libres sur A, alors leur somme directe \oplus_{i} M_i est libre sur A.

Supposons que M,N sont des modules libres sur A.

  • L'ensemble HomA(M,N) des applications A-linéaires, qui possède une structure naturelle de A-module, est libre. En particulier, le dual HomA(M,A) est libre.
  • Si C est une A-algèbre, alors M\otimes_A C est libre sur C.
  • Sur un anneau principal, tout sous-module d'un module libre F est libre et de rang inférieur ou égal à celui de F[1].
  • Tout module libre est projectif et plus généralement plat. Ces dernières propriétés sont plus souples que la liberté : par exemple, si
0 \to M \to N \to L \to 0

est une suite exacte de modules avec N et L libres, cela n'implique pas en général que M est libre. En revanche cette propriété est vraie pour les modules projectifs et pour les modules plats.

Rang d'un module libre sur un anneau commutatif ou noethérien

Une question naturelle est de savoir si, comme pour les espaces vectoriels, toutes les bases d'un module libre ont même cardinal. La réponse est négative en général[2] ; mais affirmative avec de faibles conditions supplémentaires sur l'anneau sous-jacent. Par exemple il suffit que l'anneau soit commutatif, ou alors noethérien, pour que le résultat tienne ; on peut dans ce cas parler de la dimension, également appelée rang, du module libre.

Supposons dans ce qui suit A commutatif et non réduit à {0}.

  • Le rang d'une somme directe s'additionne, celui d'un produit tensoriel se multiplie, et reste inchangé par extension de scalaires.
  • Si P est un idéal maximal de A, alors M/PM est un espace vectoriel sur le corps A/P, de dimension égale au rang de M.
  • Si M \to N est une application linéaire injective entre deux modules libres avec N de rang fini, alors M est de rang fini et inférieur ou égal à celui de N[3].
  • Si M \to N est une application linéaire surjective entre deux modules libres, alors le rang de M est supérieur ou égal celui de N (en effet on a alors une application linéaire surjective d'espaces vectoriels M/PM \to N/PN).
  • Si M \to N est une application linéaire surjective entre modules libres de même rang fini, alors c'est un isomorphisme (son déterminant est inversible).

Les propriétés ci-dessus se traduisent également de la façon suivante: dans un module libre de rang n, toute partie libre a au plus n éléments; toute partie (ou famille) génératrice a au moins n éléments et toute partie génératrice à n éléments est une base.

  • Si 0 \to M \to N \to L \to 0 est une suite exacte de modules libres de rang fini, alors le rang de N est la somme des rangs de M et de L. Cela peut être vu comme la généralisation du théorème du rang pour les espaces vectoriels.

Notes

  1. ↑ Ce théorème est démontré dans ce cours de Wikiversité pour F de rang fini, et dans Serge Lang, Algèbre [détail des éditions], appendice 2, §2 (en utilisant le lemme de Zorn) pour F 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.
  2. ↑ Voir l'article Invariance de la dimension (en)
  3. ↑ Tsit-Yuen Lam, Lectures on modules and rings, GTM 189, Springer, 1999 (ISBN 9780387984285) en donne deux preuves, p. 14-16, la première via un détour par les anneaux noethériens et la seconde, plus élémentaire, via l'algèbre extérieure et extraite de N. Bourbaki, Éléments de mathématique, Algèbre, chap. III, § 7.9, prop. 12 p. 519.
v · Théorie des anneaux
Anneau unitaire • Anneau commutatif • Corps des fractions • Idéal • Anneau principal • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau artinien • Algèbre sur un anneau • Module • Module monogène • Module libre • Facteur direct • Module quotient • Dual d'un module • Annulateur • Produit tensoriel • Puissance extérieure • Bimodule • Module simple • Module semi-simple • Longueur d'un module • Module projectif • Module injectif • Module plat • Module fidèle • Module artinien

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Module Libre — En mathématiques, en algèbre, un module libre est un module qui possède une base. Étant donné un anneau A, l exemple le plus immédiat de A module libre est An. Soit M un R module, l ensemble E = {e1, e2, ... en} est une base libre pour M si  …   Wikipédia en Français

  • Module Sur Un Anneau — Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module, ceux ci sont de… …   Wikipédia en Français

  • Module Semi-Simple — Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus particulièrement en algèbre, un A module où A désigne un anneau est qualifié de semi simple ou de complètement réductible si et seulement s il est somme directe de… …   Wikipédia en Français

  • Module Fidèle — Un module M sur un anneau A e est dit fidèle si son annulateur est réduit à {0}, en d autres termes, si l action de chaque est non triviale ( pour un certain ). Autrement dit, un module est fidèle si la représentation associée est injective. À… …   Wikipédia en Français

  • Module fidele — Module fidèle Un module M sur un anneau A e est dit fidèle si son annulateur est réduit à {0}, en d autres termes, si l action de chaque est non triviale ( pour un certain ). Autrement dit, un module est fidèle si la représentation associée est… …   Wikipédia en Français

  • Module Monogène — Un module monogène est un module qui peut être engendré par un seul élément, par exemple est engendré par 1. Algèbre commutative Algèbre • Anneau commutatif • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau principal • Annulateur …   Wikipédia en Français

  • Module monogene — Module monogène Un module monogène est un module qui peut être engendré par un seul élément, par exemple est engendré par 1. Algèbre commutative Algèbre • Anneau commutatif • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau… …   Wikipédia en Français

  • Module sur un anneau — En mathématiques, au sein des structures algébriques, « un module est à un anneau ce qu un espace vectoriel est à un corps »[1] : pour un espace vectoriel, l ensemble des scalaires forme un corps tandis que pour un module, cet… …   Wikipédia en Français

  • Module plat — La notion de module plat a été introduite par Jean Pierre Serre[1]. Elle généralise les modules projectifs et a fortiori les modules libres. En algèbre commutative et en géométrie algébrique, cette notion a été notamment exploitée par Alexander… …   Wikipédia en Français

  • Module projectif — En mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme… …   Wikipédia en Français

Share the article and excerpts

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