Artinian ring

Artinian ring
Name	Artinian ring
Field	Algebra
Introduced	Emil Artin
Related	Noetherian ring, Jacobson radical, semisimple ring

Artinian ring An Artinian ring is a ring satisfying the descending chain condition on ideals, named after Emil Artin. It plays a central role in ring theory and module theory and connects to classical results in representation theory, algebraic geometry, and number theory. The concept underpins structural classifications such as the Wedderburn–Artin theorem and informs dualities appearing in Serre duality and Morita equivalence.

Definition and basic properties

A (associative) ring R is Artinian if every descending sequence of two-sided ideals stabilizes; equivalently, every nonempty set of ideals has a minimal element. For commutative rings this property often coincides with finiteness conditions encountered in the study of Dedekind domains and Noetherian rings in algebraic contexts like the Krull dimension of a scheme. Important basic properties include that every Artinian ring has finite length as a module over itself and that the Jacobson radical is nilpotent in many settings, a fact used in analyses related to Hilbert's Nullstellensatz analogues and structural decompositions akin to those in Maschke's theorem contexts. Results by Kaplansky and others show that Artinian hypotheses yield strong restrictions on possible homological dimensions and interaction with projective modules studied in Serre's conjecture-type problems.

Examples and non-examples

Standard examples include finite rings such as matrix rings M_n(F_q) over finite fields like GF(2), group algebras of finite groups over fields in semisimple cases tied to Maschke's theorem, and Artinian principal ideal rings appearing in classifications connected to Frobenius algebraes. Local Artinian rings arise as completions at maximal ideals in algebraic geometry, such as the local rings at closed points of zero-dimensional schemes over Spec Z or finite field points studied by André Weil. Non-examples include polynomial rings k[x] over infinite fields like C or R, Dedekind domains such as the ring of integers in number fields like Q(√-1), and most infinite-dimensional algebras encountered in the representation theory of infinite groups like S_n for n → ∞.

Artinian vs Noetherian rings

Artinian and Noetherian conditions are dual finiteness properties. For commutative rings, the Hopkins–Levitzki theorem links the two: a left Artinian ring is left Noetherian, an observation influential in studies by Hopkins and Levitzki and applied in contexts such as homological algebra and the classification of orders in algebraic number theory. However, examples constructed by Goldie and others show that noncommutative rings can behave differently: semiprime Noetherian rings satisfying the ascending chain condition on annihilators lead to Goldie's theorem and notions of classical rings of quotients, whereas Artinian hypotheses produce different regularity properties exploited in Jacobson radical analyses. The contrast is pivotal in work by Wedderburn and later expansions by Brauer and Burnside in finite-dimensional algebra studies.

Structure theorem for Artinian rings

The Wedderburn–Artin theorem gives a complete structure for semisimple Artinian rings: every semisimple Artinian ring is isomorphic to a finite product of matrix rings over division rings, a classification foundational in linear algebra and representation theory and used in the proofs of results by Burnside and Artin. More generally, an Artinian ring R decomposes modulo its Jacobson radical J(R) into a semisimple Artinian quotient R/J(R), and J(R) is nilpotent; this stratification is exploited in the theory of idempotents, Peirce decompositions, and in constructions encountered in Auslander–Reiten theory and Gerstenhaber theory. These decompositions connect to module category equivalences studied in Morita theory and to block theory in the representation theory of finite groups as developed by Brauer and Alperin.

Modules over Artinian rings

Modules over Artinian rings have robust finiteness properties: finitely generated modules possess finite length, and notions of indecomposable decomposition follow Krull–Schmidt uniqueness results used extensively by Krull and Schmidt in module classification. Projective, injective, and simple modules over Artinian rings are well-behaved; for instance, every simple module appears as a quotient by a maximal ideal corresponding to a matrix block in the Wedderburn–Artin decomposition, an idea utilized in the representation-theoretic work of Cline, Parshall, and Scott. Homological dimensions of modules over Artinian rings influence applications in derived categories and tilting theory as developed by Rickard and Happel.

Applications and significance

Artinian rings are central in the classification of finite-dimensional algebras appearing in representation theory of algebras, block theory of finite groups, and the algebraic study of singularities of zero-dimensional schemes in algebraic geometry and commutative algebra. They provide the algebraic underpinning for duality theorems in cohomology theories and concrete computational frameworks in computational algebra systems used in cryptography over finite fields like GF(2) and GF(256). Historical and modern research connects Artinian hypotheses to advances by Noether, Artin, Wedderburn, and contemporary work in noncommutative algebraic geometry and categorical representation theory.

Category:Ring theory