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.