Assertion: ring | /r/HasProperty | artinian
Facets:
value: after emil artin
type: OTHER
Source sentences:
text: A ring is semisimple if and only if it is artinian and is semiprimitive.
text: A ring is called Artinian (after Emil Artin), if every descending chain of ideals