数学において、次元論（じげんろん、英: dimension theory）は可換環論の一分野であり、可換環の次元の概念や、より一般にスキームのそれを研究する分野である。

理論はアフィン環、すなわち体上有限生成多元環である整域に対しては、はるかに単純である。ネーターの正規化定理（英語版）により、そのような環のクルル次元は基礎体上の超越次数であり、理論は代数幾何学と並行して進む。代数多様体の次元（英語版）を参照。一般的な理論は幾何学的でなくなる傾向がある。特に、ネーター的でない環に対して知られていることはほとんどない。（Kaplansky の commutative rings は非ネーターのケースに詳しい。）今日、標準的なアプローチは本質的にブルバキとEGAのアプローチである。これは次数付き加群を本質的に使い、他のものの中で射影多様体の次数の一般化である重複度の役割を強調する。このアプローチでは、クルルの単項イデアル定理は系として現れる。

この記事を通して、 dim {\displaystyle \operatorname {dim} } は環のクルル次元を表し、 ht {\displaystyle \operatorname {ht} } は素イデアルのクルル次元（すなわちその素イデアルにおける局所化のクルル次元）を表す。
目次

1 基本的な結果

2 基本定理

3 基本定理から得られる結果

4 正則環

5 深さ

6 脚注

7 参考文献

基本的な結果

R をネーター環または付値環とする。すると dim ⁡ R [ x ] = dim ⁡ R + 1 {\displaystyle \operatorname {dim} R[x]=\operatorname {dim} R+1}

である。R がネーター環であるときは、これは下記の基本定理（特に、クルルの単項イデアル定理）から従う。しかしそれはまたより精密な結果からも従う。R の任意の素イデアル p {\displaystyle {\mathfrak {p}}} に対して以下が成り立つ。 ht ⁡ ( p R [ x ] ) = ht ⁡ ( p ) {\displaystyle \operatorname {ht} ({\mathfrak {p}}R[x])=\operatorname {ht} ({\mathfrak {p}})} . p {\displaystyle {\mathfrak {p}}} に縮小する R [ x ] {\displaystyle R[x]} の任意の素イデアル q ⊋ p R [ x ] {\displaystyle {\mathfrak {q}}\supsetneq {\mathfrak {p}}R[x]} に対して、 ht ⁡ ( q ) = ht ⁡ ( p ) + 1 {\displaystyle \operatorname {ht} ({\mathfrak {q}})=\operatorname {ht} ({\mathfrak {p}})+1}

これは基本的な環論の範囲で証明できる(cf. Kaplansky, commutative rings)。ところで、これは特に次のことを言っている。 Spec ⁡ R [ x ] → Spec ⁡ R {\displaystyle \operatorname {Spec} R[x]\to \operatorname {Spec} R} の各ファイバーにおいて、長さ ≥ 2 {\displaystyle \geq 2} の素イデアルの列は存在しえない。

アルティン環（例えば体）の次元は 0 なので、帰納的に次の公式を得る。アルティン環 R に対して dim ⁡ R [ x 1 , … , x n ] = n . {\displaystyle \operatorname {dim} R[x_{1},\dots ,x_{n}]=n.}
基本定理

( R , m ) {\displaystyle (R,{\mathfrak {m}})} をネーター局所環とし、I を m {\displaystyle {\mathfrak {m}}} -準素イデアル（すなわち m {\displaystyle {\mathfrak {m}}} のあるベキと m {\displaystyle {\mathfrak {m}}} の間にある）とする。 F ( t ) {\displaystyle F(t)} を associated graded ring gr I ⁡ R = ⊕ 0 ∞ I n / I n + 1 {\displaystyle \operatorname {gr} _{I}R=\oplus _{0}^{\infty }I^{n}/I^{n+1}} のポワンカレ級数とする。つまり、 F ( t ) = ∑ 0 ∞ ℓ ( I n / I n + 1 ) t n {\displaystyle F(t)=\sum _{0}^{\infty }\ell (I^{n}/I^{n+1})t^{n}}

ただし ℓ {\displaystyle \ell } は（アルティン環 ( gr I ⁡ R ) 0 = R / I {\displaystyle (\operatorname {gr} _{I}R)_{0}=R/I} 上の）加群の長さを意味する。 x 1 , … , x s {\displaystyle x_{1},\dots ,x_{s}} が I を生成するとすれば、それらの I / I 2 {\displaystyle I/I^{2}} における像は次数 1 をもち gr I ⁡ R {\displaystyle \operatorname {gr} _{I}R} を R / I {\displaystyle R/I} -多元環として生成する。ヒルベルト・セールの定理によって、F は位数 d ≤ s {\displaystyle d\leq s} の極を t = 1 {\displaystyle t=1} にちょうど1つもつ有理関数である。 ( 1 − t ) − d = ∑ 0 ∞ ( d − 1 + j d − 1 ) t j {\displaystyle (1-t)^{-d}=\sum _{0}^{\infty }{\binom {d-1+j}{d-1}}t^{j}} ,