Krull dimension
以下ではクルル次元のことを単に次元と呼ぶ。