Krull dimension
クルル次元は、ネーター環に対してさえ、有限とは限らない。