クルル次元
ウィキペディアから
数学、とくに可換環論において可換環のクルル次元(クルルじげん、英: Krull dimension)とは、素イデアルのなす減少列の長さの上限である。ヴォルフガング・クルルに因んで名づけられた。文脈から明らかなときには単に次元と呼ぶことも多い。

定義
要約
視点
以下、環はすべて可換とする。環 R における素イデアル の高さ とは、素イデアルのなす減少列
の長さ n の上限として定義される[1][注釈 1]。このとき環 R における素イデアルの高さの上限をクルル次元(あるいは単に次元)といい、dim(R) で表す。たとえば体 k 上の n 変数多項式環 k[X1, …, Xn] は n 次元である[2]。
クルル次元は、ネーター環に対してさえ、有限とは限らない[注釈 2][3]。 実際、永田は「ネーター環でありながらもクルル次元が無限になるような環」の例を与えている[4][5][要出典]。 さらに永田は、必ずしも全ての鎖が極大鎖に拡張できるわけではないような環の例も与えている[6]。任意の素イデアル鎖を極大鎖に拡張することができるような環は鎖状環として知られる。
例
0次元
1次元
高次元
クルル次元とスキーム
R の素イデアル全体の成す空間にザリスキー位相を備えた環のスペクトル Spec(R) の定義から直ちに、R のクルル次元がちょうどそのスペクトルの既約次元に一致することが分かる。このことは、R のイデアルと Spec(R) の閉部分集合との間のガロア接続を考え、R の素イデアルをスペクトルの定義により(ガロア対応で対応付けられる)閉部分集合の生成点に対応させることを見ればよい。
加群のクルル次元
環 R 上の加群 M に対し、M のクルル次元を、M を忠実加群とするような R の剰余環のクルル次元によって定める。すなわち、等式
を満足するようなものとして定義する。ただし、零化イデアル AnnR(M) は R から M 上の R-線型自己準同型の環への自然写像 R → EndR(M) の核である。
脚注
参考文献
関連項目
Wikiwand - on
Seamless Wikipedia browsing. On steroids.