アルティン環
Let "M" be a left module over a left Artinian ring. Then the following are equivalent (Hopkins' theorem): (i) "M" is finitely generated, (ii) "M" has finite length (i.e., has composition series), (iii) "M" is Noetherian, (iv) "M" is Artinian.