Longueur d'un module

La longueur d'un module M sur un anneau A est un entier naturel ou l'infini. Elle généralise d'une certaine manière la notion de dimension d'un espace vectoriel sur un corps. Les modules de longueur finie ont beaucoup de particularités, généralisant celles des espaces vectoriels de dimension finie.

Motivation[modifier | modifier le code]

Les modules simples sont les modules M non nuls qui n'ont pas d'autres sous-modules que {0} et M. Par exemple, un espace vectoriel est simple en tant que module si et seulement si c'est une droite vectorielle. Pour un module simple M, la seule suite de sous-modules strictement croissante pour l'inclusion est

\{0\}\subsetneq M.

Les modules simples constituent en quelque sorte des entités faciles. Si pour un module M on peut trouver une suite strictement croissante de sous-modules $(M_{k})_{0\leq k\leq n}$ :

M_{0}=\{0\}\subsetneq M_{1}\subsetneq \cdots \subsetneq M_{n-1}\subsetneq M_{n}=M

telle que pour tout entier k de 1 à n, le module quotient $M_{k}/M_{k-1}$ soit simple, alors on ne peut pas intercaler de sous-module dans cette suite tout en conservant des inclusions strictes. On dit que le A-module M est de longueur finie et que sa longueur vaut n. Cette longueur concorde avec la définition donnée plus bas.

En particulier, si E est un k-espace vectoriel de dimension finie, alors une telle suite est constituée de sous-espaces vectoriels emboîtés dont la dimension croît d'une unité à chaque étape. On parle alors de décomposition de l'espace vectoriel en drapeau et la longueur de E est donc sa dimension.

Définition[modifier | modifier le code]

La longueur d'un module M sur un anneau A, non nécessairement commutatif, est le plus grand entier n tel qu'il existe une suite $M_{0}\subsetneq M_{1}\subsetneq \cdots \subsetneq M_{n}$ strictement croissante de sous-modules de M, si un tel maximum existe. Sinon, on dit que la longueur est infinie.

On la note $\ell _{A}(M)$ , ou $\ell (M)$ quand il ne fait aucun doute sur l'anneau des scalaires.

Remarque. La loi externe du A-module M est une opération de A qui (entre autres propriétés) fait de M un groupe à opérateurs dans A. La longueur du module M n'est autre que sa longueur comme groupe à opérateurs.

Exemples[modifier | modifier le code]

Par définition, les modules simples sont les modules de longueur 1.
Un espace vectoriel est de longueur finie si et seulement s'il est de dimension finie (cf. supra).
Le groupe cyclique ℤ/nℤ, vu comme ℤ-module, a pour longueur le nombre Ω(n) de facteurs premiers de n, comptés avec leurs ordres de multiplicité.
Sur un anneau artinien, tout module artinien (ou encore : de type fini^[1]) est de longueur finie.
Tout anneau non artinien A, vu comme A-module, est de longueur infinie.

Propriétés[modifier | modifier le code]

En ce qui concerne les modules de longueur finie, de nombreuses propriétés sont analogues à ce que l'on connaît pour les espaces vectoriels de dimension finie. Par exemple,

si M est un module de longueur finie, alors tout sous-module de M est de longueur finie ;
si M est de longueur finie et si N est un sous-module de M de même longueur que M, alors N = M ;
si M admet un sous-module de longueur finie N tel que le module quotient M/N soit aussi de longueur finie, alors M est de longueur finie et on a

\ell (M)=\ell (N)+\ell (M/N)

.

On en déduit une formule de Grassmann sur la longueur de sous-modules :

\ell (N+P)+\ell (N\cap P)=\ell (N)+\ell (P)

Par ailleurs, le théorème suivant donne une caractérisation des modules de longueur finie :

Un module est de longueur finie si et seulement s'il est à la fois artinien et noethérien^[2].

Le théorème de Krull-Schmidt garantit que tout module de longueur finie est, de façon unique à isomorphisme près, somme directe de modules indécomposables^[3].

Démonstration

Soit $M$ un module non nul de longueur finie $n$ . Pour toute décomposition de $M$ comme somme directe du plus grand nombre possible (nécessairement majoré par $n$ ) de sous-modules non nuls, les facteurs sont indécomposables. Ceci assure l'existence de la décomposition annoncée. Pour prouver son unicité, il suffit de démontrer que si

\oplus _{k=1}^{m}M_{k}=M=N\oplus N'

et si $N$ et tous les $M k$ sont indécomposables, alors $N$ est isomorphe à l'un des $M k$ et $N'$ à la somme des autres. Pour cela, notons $i : N\toM$ et $p : M\toN$ les inclusion et projection canoniques et de même, pour chaque $k$ , $i k : M k \toM$ et $p k : M\toM k$ . Alors,

\sum _{k}pi_{k}p_{k}i=p\left(\sum _{k}i_{k}p_{k}\right)i=pi=1_{N}

donc, d'après le lemme de Fitting, au moins l'un des $pi k p k i$ – disons : le premier, quitte à les renuméroter – est un automorphisme de $N$ . Alors, $p 1 ipi 1$ est un endomorphisme de $M 1$ non nilpotent donc (à nouveau par le lemme de Fitting) bijectif lui aussi, si bien que $pi 1$ est un isomorphisme de $M 1$ sur $N$ . On en déduit aisément que $M = M 1 \oplus N'$ . Ainsi,

M_{1}\oplus N'=M=\oplus _{k=1}^{m}M_{k}\quad {\text{donc}}\quad N'\simeq M/M_{1}\simeq \oplus _{k=2}^{m}M_{k}.

Notes et références[modifier | modifier le code]

↑ Voir Théorème de Hopkins-Levitzki (en).
↑ N. Bourbaki, Éléments de mathématique, Algèbre, Chapitre 8, Paris, 1981, rééd. 2012, partiellement consultable sur Google Livres et sur le « site des éditions Springer »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, p. VIII.2.
↑ (en) Tsit Yuen Lam, A First Course in Noncommutative Rings, Springer, coll. « GTM » (n^o 131), 2001, 2^e éd. (1^re éd. 1991), 385 p. (ISBN 978-0-387-95183-6, lire en ligne), p. 288

(en) M. F. Atiyah et I. G. Macdonald, Introduction to Commutative Algebra, Addison–Wesley, 1969, chap. 6

Voir aussi[modifier | modifier le code]

Théorème de Krull-Schmidt pour les groupes ou théorème de Krull-Remak (en)-Schmidt :

(en) Thomas W. Hungerford (en), Algebra, coll. « GTM » (n^o 73), 1974 (lire en ligne), p. 86
(en) Derek J. S. Robinson (de), A Course in the Theory of Groups, coll. « GTM » (n^o 80), 1996 (lire en ligne), p. 83
(en) Steven Roman (en), Fundamentals of Group Theory, Springer, 2012 (lire en ligne), p. 286
(en) Joseph J. Rotman (en), An Introduction to the Theory of Groups [détail des éditions], 4^e éd., th. 6.36, p. 149

Portail de l’algèbre

[1] Voir Théorème de Hopkins-Levitzki (en).

[2] N. Bourbaki, Éléments de mathématique, Algèbre, Chapitre 8, Paris, 1981, rééd. 2012, partiellement consultable sur Google Livres et sur le « site des éditions Springer »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, p. VIII.2.

[3] (en) Tsit Yuen Lam, A First Course in Noncommutative Rings, Springer, coll. « GTM » (n^o 131), 2001, 2^e éd. (1^re éd. 1991), 385 p. (ISBN 978-0-387-95183-6, lire en ligne), p. 288

[1]

[2]

[3]

v · m Théorie des anneaux
Structures	Anneau unitaire Pseudo-anneau Demi-anneau Anneau commutatif Anneau de polynômes Ordre Algèbre de Weyl Idéal Corps des fractions Module sur un anneau Algèbre sur un anneau Catégorie des anneaux Spectre
Propriétés arithmétiques	Anneau adélique Anneau local Anneau de Dedekind (non commutatif) Anneau sans diviseur de zéro Anneau principal (non commutatif) Anneau euclidien (non commutatif) Anneau factoriel Anneau à PGCD Anneau de Bézout Anneau de Schreier Anneau de Goldman Anneau intègre Anneau de valuation discrète Anneau d'Ore Anneau réduit Idéal premier Idéal maximal Idéal primaire Idéal primitif (en)
Chaînes d'idéaux	Anneau noethérien Anneau artinien Anneau de Jaffard Anneau cohérent Anneau de Goldie Anneau de Jacobson Anneau de Gorenstein (en) Anneau caténaire (en)
Mesures	Dimension de Krull Dimension homologique Longueur d'un module Profondeur d'un module
Modules	Catégorie des modules Module de type fini Module simple Module semi-simple Module monogène Module libre Module quotient Facteur direct Dual d'un module Annulateur Produit tensoriel Puissance extérieure Bimodule Module artinien Anneau de Cohen-Macaulay (en) Anneau des entiers
Fonctorialité	Anneau d'Hermite Module projectif Module injectif Module plat Module fidèle Anneau régulier
Opérations	Morphisme d'anneaux Localisation Somme directe Produit tensoriel Représentation Quotient Extension d'anneau (en) Radical d'un idéal Nilradical Radical de Jacobson Going up et going down