Un module qui ne satisfait pas la condition de chaîne descendante sur ses sous-modules ; il existe une suite infinie strictement décroissante de sous-modules N1 ⊃ N2 ⊃ N3 ⊃ ... qui ne se stabilise jamais.

Principe

L'idée organisatrice est que l'absence d'une borne inférieure sur les chaînes de sous-modules permet des sous-structures propres arbitrairement profondes, de sorte que les raisonnements reposant sur la minimalité ou la terminaison des chaînes descendantes peuvent échouer.

Démonstration

Exemple concret : le groupe abélien Z vu comme Z-module n'est pas artinien car la suite Z ⊃ 2Z ⊃ 4Z ⊃ 8Z ⊃ ... est strictement décroissante. De nombreux modules de torsion et constructions infiniment divisibles démontrent un comportement non artinien.

Mauvaise application

Supposer l'existence de sous-modules minimaux ou utiliser des preuves par contre-exemple minimal dans des contextes où des chaînes descendantes infinies existent, ou confondre la propriété artinienne de l'anneau avec celle de tous les modules qui l'implantent.

Conséquence

La présence de modules non artiniens empêche l'usage d'inductions descendantes ou l'existence d'éléments minimaux ; les résultats de classification et de décomposition requérant des hypothèses artiniennes peuvent échouer, ce qui impose de recourir à d'autres invariants structurels.

Inversion

Un module artinien satisfait la condition de chaîne descendante, donc toute chaîne descendante de sous-modules se stabilise ; de tels modules autorisent des raisonnements fondés sur la minimalité et la longueur finie, à la différence des modules non artiniens.

Limite

S'applique aux modules sur des anneaux quelconques et doit être distingué du comportement noethérien (chaînes ascendantes). La propriété dépend du côté (gauche/droite) et de la restriction éventuelle aux modules de type fini ou arbitraires.

Tension sémantique

Il existe une tension entre les propriétés artinienne et noethérienne : un module peut avoir l'une sans l'autre ; les modules de longueur finie sont à la fois artiniens et noethériens, de sorte que la longueur finie est une condition plus forte que chacune séparément.

Synthèse

Un module non artinien signale l'échec du contrôle descendant de finitude ; reconnaître cet échec indique quelles démonstrations et théorèmes de décomposition ne s'appliquent pas et quels invariants alternatifs doivent être privilégiés.