Krull dimension
体上の多元環に対して、ベクトル空間としての次元が有限であることとクルル次元が 0 であることは同値である。