クルル次元
数学、とくに可換環論において可換環のクルル次元（クルルじげん、英: Krull dimension）とは、素イデアルのなす減少列の長さの上限である。ヴォルフガング・クルルに因んで名づけられた。文脈から明らかなときには単に次元と呼ぶことも多い。
定義
以下、環はすべて可換とする。環 R における素イデアル [math]\mathfrak{p}[/math] の高さ [math]\operatorname{ht}(\mathfrak{p})[/math] とは、素イデアルのなす減少列
- [math]\mathfrak{p} = \mathfrak{p}_0\supsetneq \mathfrak{p}_1\supsetneq \dotsb \supsetneq \mathfrak{p}_n[/math]
の長さ n の上限として定義される[1][注釈 1]。このとき環 R における素イデアルの高さの上限をクルル次元（あるいは単に次元）といい、dim(R) で表す。たとえば体 k 上の n 変数多項式環 k[X1, …, Xn] は n 次元である[2]。
クルル次元は、ネーター環に対してさえ、有限とは限らない[2]。 永田は任意の素イデアルが高さ有限であるにもかかわらずクルル次元が無限になるような環の例を与えた。 さらに永田は、必ずしも全ての鎖が極大鎖に拡張できるわけではないような環の例も与えている[3]。任意の素イデアル鎖を極大鎖に拡張することができるような環は鎖状環として知られる。
例
0次元
1次元
高次元
- 体 k 上の n 変数多項式環 k[X1, …, Xn] は n 次元である。スキーム論の言葉で言えば、体上の多項式環はアフィン空間に対応するから、この結果は基本的と考えることができる。一般に、環 R が n 次元のネーター環ならば多項式環 R[X] は n + 1 次元である[4]。ネーター性を仮定しないならば R[X] の次元は n + 1 以上 2n + 1 以下の任意の値を取りうる。
- ネーター局所環は有限次元である。
クルル次元とスキーム
R の素イデアル全体の成す空間にザリスキー位相を備えた環のスペクトル Spec(R) の定義から直ちに、R のクルル次元がちょうどそのスペクトルの既約次元に一致することが分かる。このことは、R のイデアルと Spec(R) の閉部分集合との間のガロア対応を考え、R の素イデアルをスペクトルの定義により（ガロア対応で対応付けられる）閉部分集合の生成点に対応させることを見ればよい。
加群のクルル次元
環 R 上の加群 M に対し、M のクルル次元を、M を忠実加群とするような R の剰余環のクルル次元によって定める。すなわち、等式
- [math]\dim_R M := \dim R/\operatorname{Ann}_R(M)[/math]
を満足するようなものとして定義する。ただし、零化イデアル AnnR(M) は R から M 上の R-線型自己準同型の環への自然写像 R → EndR(M) の核である。
スキーム論の言葉で言えば、有限型の加群は連接層あるいは一般化された有限階数ベクトル束として解釈することができる。
脚注
出典
- ↑ Matsumura 1986.
- ↑ 2.0 2.1 Eisenbud 1995, テンプレート:Google books quote.
- ↑ Nagata, M. Local Rings (1962). Wiley, New York.
- ↑ Bourbaki 2006, テンプレート:Google books quote.
注釈
- ↑ 素イデアルの数ではなく真の包含関係の数を数えていることに注意。
参考文献
- (2006) Algèbre commutative. Chapitres 8 et 9, Éléments de mathématique. Springer. ISBN 978-3-540-33942-7.
- (1995) Commutative algebra, Graduate Texts in Mathematics. Springer-Verlag. ISBN 0-387-94268-8.
- 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.
- (1986) Commutative ring theory, Cambridge Studies in Advanced Mathematics. Cambridge University Press. ISBN 0-521-36764-6.