Krull dimension
ネーター局所環 ("A", "m") に対して、dim "A" をそのクルル次元として、関係式