Une algèbre associative qui satisfait la condition de chaîne descendante sur les idéaux bilatères (équivalente à avoir une longueur finie comme module sur elle-même), souvent qualifiée d'artinienne quand cette propriété tient pour les idéaux à gauche et à droite dans le contexte associatif.

Principe

La condition de chaîne descendante impose des propriétés de finitude : il n'existe pas de suite strictement décroissante infinie d'idéaux bilatères, ce qui entraîne l'existence de séries de composition et le contrôle des radicaux et des quotients semisimples.

Démonstration

Toute algèbre associative de dimension finie sur un corps est artinienne ; par exemple une algèbre finie obtenue comme quotient d'une algèbre de chemins par des relations admissibles est artinienne et possède des modules de longueur finie et un radical bien contrôlé.

Mauvaise application

Supposer que artinien implique noethérien dans tous les contextes ou que artinien entraîne automatiquement la commutativité ; employer le terme sans préciser le côté lorsque seules des conditions unilatérales sont satisfaites.

Conséquence

Les algèbres artiniennes admettent des séries de composition finies, leur radical de Jacobson est nilpotent, et des théorèmes de structure (tels que Wedderburn–Artin) s'appliquent pour décrire les quotients semisimples et les décompositions.

Inversion

Une algèbre admettant des suites strictement décroissantes infinies d'idéaux bilatères ou n'ayant pas de longueur finie comme module sur elle-même ; de telles algèbres présentent souvent des comportements pathologiques d'infinité et résistent aux théorèmes de décomposition.

Limite

Concerne les idéaux bilatères dans les algèbres associatives ; des notions distinctes (artinien à gauche ou à droite) existent et doivent être précisées ; exclut les algèbres de dimension infinie qui ne satisfont pas la condition de chaîne descendante.

Tension sémantique

Tension avec la propriété noethérienne : artinien (CCD) et noethérien (CCI) sont des conditions de finitude distinctes qui coïncident dans certains cadres mais diffèrent en algèbre non commutative générale.

Synthèse

Une algèbre artinienne est une algèbre sans suites infinies décroissantes d'idéaux bilatères, garantissant longueur finie, radical nilpotent et application des théorèmes de décomposition.