クルル次元
R の素イデアル全体の成す空間にザリスキー位相を備えた環のスペクトル Spec(R) の定義から直ちに、R のクルル次元がちょうどそのスペクトルの既約次元に一致することが分かる。このことは、R のイデアルと Spec(R) の閉部分集合との間のガロア接続を考え、R の素イデアルをスペクトルの定義により(ガロア対応で対応付けられる)閉部分集合の生成点に対応させることを見ればよい。