Noetherian dimension-zero criterion for an Artinian ring (source code)

= Noetherian dimension-zero criterion for an Artinian ring
{c}

A commutative <Noetherian ring> is Artinian if and only if every <prime ideal> is maximal. Equivalently, it is Artinian exactly when its Krull dimension is zero.