Assertion: artinian ring | /r/HasProperty | noetherian
Facets:
value: by the hopkins–levitzki theorem
type: OTHER
Source sentences:
text: In fact, by the Hopkins–Levitzki theorem, every Artinian ring is Noetherian.