Module artinien

Un module artinien (du nom d'Emil Artin) est un module vérifiant la condition de chaîne descendante. 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 to…