Krull dimension
環 "R" のクルル次元あるいは単に次元 dim "R" は、環のある種の大きさを測る概念で、かなり大雑把にいえば "R" が持つ独立な元を数えるものである。具体的には、素イデアルの成す昇鎖列