Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Artinian ring
Summary
In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition.
Precisely, a ring is left Artinian if it satisfies the descending chain condition on left ideals, right Artinian if it satisfies the descending chain condition on right ideals, and Artinian or two-sided Artinian if it is both left and right Artinian. For commutative rings the left and right definitions coincide, but in general they are distinct from each other.
The Wedderburn–Artin theorem characterizes every simple Artinian ring as a ring of matrices over a division ring. This implies that a simple ring is left Artinian if and only if it is right Artinian.
The same definition and terminology can be applied to modules, with ideals replaced by submodules.
Although the descending chain condition appears dual to the ascending chain condition, in rings it is in fact the stronger condition. Specifically, a consequence of the Akizuki–Hopkins–Levitzki theorem is that a left (resp. right) Artinian ring is automatically a left (resp. right) Noetherian ring. This is not true for general modules; that is, an Artinian module need not be a Noetherian module.
An integral domain is Artinian if and only if it is a field.
A ring with finitely many, say left, ideals is left Artinian. In particular, a finite ring (e.g., ) is left and right Artinian.
Let k be a field. Then is Artinian for every positive integer n.
Similarly, is an Artinian ring with maximal ideal .
Let be an endomorphism between a finite-dimensional vector space V.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.