Krull dimension
クルル次元 "n" のネーター可換局所環 formula_1 に対して、以下は同値である。