クルル次元
For a commutative Noetherian local ring ("R", "m", "k") of Krull dimension "n", the following are equivalent: