アルティン環
If "R" is an Artinian ring, then formula_155 is nilpotent and formula_156. (Proof: first note the DCC implies formula_157 for some "n". If (DCC) formula_158 is an ideal properly minimal over the latter, then formula_159. That is, formula_160, a contradiction.)