クルル次元
A field "k" has Krull dimension 0; more generally, "k"["x"1, ..., "x""n"] has Krull dimension "n". A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent.