体上有限生成環 (たいじょうゆうげんせいせいかん; finitely generated ring over a field）とは、ある（可環な）体 k 上有限個の元で生成される可換環の事を言う。k 上の多項式環 k[x1 , ... , xn] の剰余環として得られる環といっても同じである。体上有限生成環は、可換環論的見地からはネーター環の重要な例でありヴォルフガング・クルルらによるネーター環のイデアル論のひな形であった。また体上有限生成環の理論は代数幾何学におけるアフィン代数多様体の理論、すなわち、代数多様体の局所理論と本質的に等価である点からも重要である。本項では、ネーターの正規化補題 (Noether normalization lemma)、有限生成整域の次元論、ヒルベルトの零点定理 (Hilbert's Nullstellensatz) について説明する。

ネーターの正規化補題
可換環 R を部分環として含む（可換）環 A の元 a1 , ... , am が R 上代数的独立であるとは、変数 xi に ai を代入する操作で得られる準同型 R[x1 , ... , xm] → A が単射であることを言う。

定理
A を体 k 上有限生成な環とするとき、k 上代数的独立な A の元 a1 , ... , am が存在して、A はその部分環 k[a1 , ... , am] 上整である。更に、I が A の高さが 1 のイデアルであれば、a1 ∈ I かつ I ∩ k[a1 , ... , am] = (a1) とできる。

証明の概略
A を k[x1 , ... , xn] の剰余環として表し、A における xi の像を yiとする。k[x1 , ... , xn] → A が単射であれば定理の主張は自明。したがって準同型の核 I が0でないと仮定し、n が減少する帰納法で証明する。zi (i=2, 3, ... , n) を、自然数 ri を使って

で定めると、I に属する多項式 f があって f(y1 , ... , yn)=0 なので、特に

を得る。ri を  ととれば、この関係式は

（y1, z2, ... , zn について N 次未満の項）= 0　( α ∈ k )
となるが、これは、y1 が A の部分環 k[z2 , ... , zn] 上整であることを示す。同じ議論を繰り返せば高々 n 回までの操作で定理の前半が示された。後半については、g ∈ I ∩ k[a1 , ... , am] を取り、前半と同様 なる置き換えを上手く取ると、

 （a1, b2, ... , bm について M 次未満の項）- g = 0　( β ∈ k )
とできる。従って、k[a1 , ... , am] は部分多項式環 k[g , b2... , bm] 上整。よって、整拡大の推移性より、A は k[g , b2... , bm] 上整になる。(g) ⊂ I ∩ k[g , b2... , bm] は明らかであるが、(g) は k[g , b2... , bm] の高さが 1 以上の素イデアルである一方で、下降定理 (going-down theorem) （整拡大 参照）によって、I ∩ k[g , b2... , bm] の高さは 1 なので、高さの定義より (g) = I ∩ k[g , b2... , bm]とならなければならない。

注釈
任意の有限生成環は定義によって多項式環の剰余環としてかける。これはアフィン代数多様体をアフィン空間  の閉部分集合としてとらえる考え方に対応している。一方、ネターの正規化定理は、アフィン代数多様体 V をアフィン空間  の分岐被覆空間としてとらえる、すなわち、全射な有限射 V → でとらえる考え方に対応する。
Aを体上有限生成整域とし、K をその商体とする。もし、体 k の標数が 0 であれば、体の拡大 K / k(a1 , ... , am) は有限次拡大なので単拡大である、すなわち、K = k(a1 , ... , am)[t]/( f(a1 , ... , am , t) ) となる。従って、f の分母を払えば、K は有限生成環 k[a1 , ... , am+1]/(f) の商体として表せる。これは、A に対応するアフィン代数多様体 V は、アフィン空間  の中で f = 0 で定義される超曲面と双有理同値になることを意味している。k が正標数の体の場合も、部分環 k[a1 , ... , am] をうまくとって体の拡大 K / k(a1 , ... , am)　 が分離的であるようにとれるので、同様の議論で、任意の代数多様体が超曲面と双有理同値になることが証明できる。

体上有限生成環の次元

定理
A を体 k 上有限生成な整域とするとき、A のクルル次元はその商体の k 上の超越次数と等しい。とくに、A の極大イデアル m をとると、体 A / m は k の代数拡大体である。

証明の概略
より強くA の素イデアルの列

で、Pr は極大イデアルであり、Pi と Pi+1 の間には素イデアルが存在しないようなもの（飽和した素イデアル列）を取ると、r が A の商体の超越次数と一致することを示す。正規化補題によれば、A は多項式環と同型なその部分環 k[a1 , ... , am] 上整であり、m は A の商体の k 上の超越次数と一致する。r の帰納法で示す。r = 0 ならば A は体であるので、k[a1 , ... , am]も体になり（整拡大参照）m = 0 = r となる。 m  > 1 の時は、正規化補題の後半により、帰納法の仮定を A/P1 と k[a2 , ... , am] に適用すれば、定理の前半を得る。後半は、A / m のクルル次元は 0 であることを前半に適用して、A / m の k 上の超越次数が0であることから従う。

注釈
超越次元は、体 k 上、代数的に独立な変数の数であるので、体上有限生成整域の次元をその商体の k 上の超越次元と定義するのは自然である。これが、一般のネーター環に対して定義されるクルル次元と一致するというこの定理は、クルル次元の定義の妥当性を主張している。クルル次元は代数多様体（あるいはネータースキーム）の組み合わせ次元（ネーター次元）に一致しており、代数閉体上の代数多様体の滑らかな点での接空間の次元にも一致する（代数多様体#接空間と滑らかさ参照）。
定理の証明で示されていることは、体上有限生成整域では飽和した素イデアル列の長さが常に一定であることを主張している。このような性質の成り立つ環のことを鎖状環 (catenary ring) と呼ぶ。鎖状環 A ではその素イデアル P に対してが成り立つ（ここで dim はクルル次元、ht は高さを表す）。重要なネーター環の多くは鎖状環になるが、鎖状環にならないネーター環の例が永田雅宜によって知られている。

ヒルベルトの零点定理

定理
体上有限生成環 A の素イデアルは、それを含む極大イデアルの共通部分として書ける。すなわち、体上有限生成環はジャコブソン環 (Jacobson ring) である。

証明
A の素イデアル P をとって、剰余環 A / P を考えることで、A を体上有限生成整域として、そのすべての極大イデアルの共通部分が 0 になることを示せば良い。A の 0 でない元 f を取り、M を局所化 A[f-1] の極大イデアルとし、m = M ∩ A とおく。作り方より m は f を含まない。よって、m が A の極大イデアルであることを示せばよい。いま、A[f-1] は体上有限生成整域であるから、次元定理（の後半）によって、A[f-1] / M は k 上代数的な体なので、その部分環 A / m も k 上代数的である。よって、特に A / m は体であるので m は極大イデアルである。

注釈
 任意の単位元付き可換環 A のイデアル I に対してその根基 は I を含む素イデアルの共通部分に一致する（積閉集合と交わらない極大なイデアルが存在（ツォルンの補題）し、素イデアルとなることより。極大イデアル参照）。従って、A が体上有限生成環のときは（ただし m は極大イデアル）を得る。標語的に言えば、体上有限生成環の被約イデアル（ となるイデアル I）は極大イデアルのみによってコントロールされている。
 k を代数的閉体とする。このとき、多項式環 A = k[x1 , ... , xm] の極大イデアル m に対して A / m は k 上代数的になる（前定理後半）ので、A / m = kとなる。よって、m = mp = ( x1 - a1 , ... , xm - am) と p = (a1 , ... , am) ∈ kn を用いて表せる（ヒルベルトの零点定理の「弱形」）。よって、アフィン代数多様体  に対してはとなる（記号などについては代数多様体#アフィン代数多様体の座標環とヒルベルトの零点定理参照）。代数幾何学のコンテクストではこれをヒルベルトの零点定理と呼ぶことが多い。

参考文献

本項記述は下記参考文献中、特に永田の第4章を参考にした。
 永田雅宜　可換環論　紀伊國屋数学叢書1　紀伊國屋書店 (1974) ISBN 4314001178
 松村英之　可換環論　共立出版 (1980) ISBN 4320016580
 Mumford, D., The Red Book of Varieties and Schemes, LMN 1358, Springer-Verlag (1988), Second Expanded version (1999) ISBN 354063293X
 Reid, M., Undergraduate Algebraic Geometry, London Mathematical Society Student Texts 12, Cambridge University Press (1988) ISBN 0521356628

可換環論
代数幾何学
数学に関する記事