Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:King
|
| gptkbp:characterizedBy |
Descending chain condition on ideals
|
| gptkbp:contrastsWith |
gptkb:Noetherian_ring
|
| gptkbp:defines |
A ring in which the descending chain condition on ideals holds
|
| gptkbp:example |
Matrix rings over a division ring of finite dimension
Finite rings are Artinian |
| gptkbp:hasProperty |
Every simple module is finite-dimensional
Has only finitely many maximal ideals Jacobson radical is nilpotent |
| gptkbp:implies |
gptkb:Noetherian_ring_(in_the_commutative_case)
|
| gptkbp:introduced |
gptkb:Emil_Artin
|
| gptkbp:namedAfter |
gptkb:Emil_Artin
|
| gptkbp:property |
Every Artinian ring has finite length as a module over itself
Every non-empty set of ideals has a minimal element Every Artinian ring is semisimple if it is also a simple ring Every Artinian ring is Noetherian if it is also commutative Every Artinian ring is Noetherian if it is a left or right Artinian ring with the descending chain condition on left or right ideals |
| gptkbp:usedIn |
gptkb:algebra
module theory ring theory |
| gptkbp:bfsParent |
gptkb:commutative_algebra
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Artinian ring
|