Module artinien

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).

• 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.

• 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.

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