En théorie des anneaux, un module artinien (du nom d'Emil Artin) est un module vérifiant la condition de chaîne descendante.
Définition
On dit qu'un module M vérifie la condition de chaîne descendante si toute suite décroissante de sous-modules de M est stationnaire. Cela équivaut à dire que tout ensemble non vide de sous-modules de M admet un élément minimal (pour la relation d'inclusion).
Exemples
- Tout module fini est artinien. En particulier, tout groupe abélien fini est artinien (en tant que ℤ-module).
- Tout espace vectoriel de dimension finie sur un corps k est artinien comme k-module.
- Soit p un nombre premier. Dans le groupe quotient ℚ/ℤ, le sous-groupe formé par les éléments ayant pour ordres des puissances de p, autrement dit le p-groupe de Prüfer, est un ℤ-module artinien (ses sous-groupes sont lui-même ou des groupes finis).
- Tout anneau artinien A est (par définition) un A-module artinien.
Propriétés
- La classe des modules artiniens (sur un anneau donné) est stable par quotient et somme directe finie.
- Si 0 → L → M → N→ 0 est une suite exacte de modules, alors M est artinien si et seulement si L et N le sont.
- Tout endomorphisme injectif d'un module artinien est bijectif.
- Un module est à la fois artinien et noethérien si et seulement s'il est de longueur finie.
Référence
(en) M. F. Atiyah et I. G. Macdonald, Introduction to Commutative Algebra, Addison–Wesley, 1969, chap. 6
