クルル次元

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

 定義 
以下、環はすべて可換とする。環  における素イデアル  の高さ  とは、素イデアルのなす減少列

の長さ  の上限として定義される。このとき環  における素イデアルの高さの上限をクルル次元（あるいは単に次元）といい、 で表す。たとえば体  上の  変数多項式環  は  次元である。

クルル次元は、ネーター環に対してさえ、有限とは限らない。
実際、永田は「ネーター環でありながらもクルル次元が無限になるような環」の例を与えているhttps://stacks.math.columbia.edu/tag/02JChttps://math.stackexchange.com/questions/1109732/noetherian-ring-with-infinite-krull-dimension-nagatas-example。 さらに永田は、必ずしも全ての鎖が極大鎖に拡張できるわけではないような環の例も与えているNagata, M. Local Rings (1962). Wiley, New York.。任意の素イデアル鎖を極大鎖に拡張することができるような環は鎖状環として知られる。

 例 
 0次元 
 整域が体である必要十分条件は、0次元となることである。
 ネーター環がアルティン環である必要十分条件は、0次元となることである。

 1次元 
 有理整数環  は1次元である。
 体でないデデキント整域（たとえば単項イデアル整域や離散付値環など）は1次元である。

 高次元 
 体  上の  変数多項式環  は  次元である。スキーム論の言葉で言えば、体上の多項式環はアフィン空間に対応するから、この結果は基本的と考えることができる。一般に、環  が  次元のネーター環ならば多項式環  は  次元である。ネーター性を仮定しないならば  の次元は  以上  以下の任意の値を取りうる。 
 ネーター局所環は有限次元である。

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

 加群のクルル次元 
環  上の加群  に対し、 のクルル次元を、 を忠実加群とするような  の剰余環のクルル次元によって定める。すなわち、等式

を満足するようなものとして定義する。ただし、零化イデアル  は  から  上の -線型自己準同型の環への自然写像  の核である。

スキーム論の言葉で言えば、有限型の加群は連接層あるいは一般化された有限階数ベクトル束として解釈することができる。

 脚注 
 出典 

 注釈 

 参考文献 


 Irving Kaplansky, Commutative rings (revised ed.), University of Chicago Press, 1974, ISBN 0-226-42454-5.  Page 32.
 A.I. Kostrikin and I.R. Shafarevich (edd), Algebra II, Encyclopaedia of Mathematical Scieinces 18, Springer-Verlag, 1991, ISBN 3-540-18177-6.  Sect.4.7.


 関連項目 
 次元論 (代数学)
 体上有限生成環の理論

Category:可換環論
Category:次元
Category:数学に関する記事
Category:数学のエポニム