体上有限生成環の理論のソースを表示

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

==ネーターの正規化補題==
可換環 ''R'' を部分環として含む（可換）環 ''A'' の元 ''a''<sub>1</sub> , ... , ''a<sub>m</sub>'' が ''R'' 上'''代数的独立'''であるとは、変数 ''x<sub>i</sub>'' に ''a<sub>i</sub>'' を代入する操作で得られる準同型 ''R''[''x''<sub>1</sub> , ... , ''x<sub>m</sub>''] → ''A'' が単射であることを言う。

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

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

:<math> z_i = y_i - y_1^{r_i}</math>
で定めると、''I'' に属する多項式 ''f'' があって ''f''(''y''<sub>1</sub> , ... , ''y<sub>n</sub>'')=0 なので、特に

:<math>f(y_1, z_2+y_1^{r_2}, \ldots, z_n+y_1^{r_n})=0</math>
を得る。''r<sub>i</sub>'' を <math> 0\ll r_2\ll \ldots \ll r_n</math> ととれば、この関係式は

:<math>\alpha \cdot y_1^N +</math>（''y''<sub>1</sub>, ''z''<sub>2</sub>, ... , ''z<sub>n</sub>'' について ''N'' 次未満の項）= 0　( α ∈ ''k'' )
となるが、これは、''y''<sub>1</sub> が ''A'' の部分環 ''k''[''z''<sub>2</sub> , ... , ''z<sub>n</sub>''] 上整であることを示す。同じ議論を繰り返せば高々 ''n'' 回までの操作で定理の前半が示された。後半については、''g'' ∈ ''I'' ∩ ''k''[''a''<sub>1</sub> , ... , ''a<sub>m</sub>''] を取り、前半と同様 <math>b_i=a_i-a_1^{s_i}</math>なる置き換えを上手く取ると、

:<math>\beta\cdot a_1^M +</math> （''a''<sub>1</sub>, ''b''<sub>2</sub>, ... , ''b<sub>m</sub>'' について ''M'' 次未満の項）- ''g'' = 0　( β ∈ ''k'' )
とできる。従って、''k''[''a''<sub>1</sub> , ... , ''a<sub>m</sub>''] は部分多項式環 ''k''[''g'' , ''b''<sub>2</sub>... , ''b<sub>m</sub>''] 上整。よって、整拡大の推移性より、''A'' は ''k''[''g'' , ''b''<sub>2</sub>... , ''b<sub>m</sub>''] 上整になる。(''g'') ⊂ ''I'' ∩ ''k''[''g'' , ''b''<sub>2</sub>... , ''b<sub>m</sub>''] は明らかであるが、(''g'') は ''k''[''g'' , ''b''<sub>2</sub>... , ''b<sub>m</sub>''] の高さが 1 以上の素イデアルである一方で、下降定理 (going-down theorem) （[[整拡大]] 参照）によって、''I'' ∩ ''k''[''g'' , ''b''<sub>2</sub>... , ''b<sub>m</sub>''] の高さは 1 なので、高さの定義より (''g'') = ''I'' ∩ ''k''[''g'' , ''b''<sub>2</sub>... , ''b<sub>m</sub>'']とならなければならない。

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

==体上有限生成環の次元==
===定理===
''A'' を体 ''k'' 上有限生成な<span style="text-decoration:underline;">整域</span>とするとき、''A'' の[[ネーター環|クルル次元]]はその[[商体]]の ''k'' 上の[[超越次数]]と等しい。とくに、''A'' の極大イデアル ''m'' をとると、体 ''A'' / ''m'' は ''k'' の代数拡大体である。

===証明の概略===
<span style="text-decoration:underline;">より強く</span>''A'' の素イデアルの列

:<math>0=P_0\subsetneq P_1\subsetneq P_2 \subsetneq ... \subsetneq P_r</math>
で、''P<sub>r</sub>'' は極大イデアルであり、''P<sub>i</sub>'' と ''P''<sub>''i''+1</sub> の間には素イデアルが存在しないようなもの（飽和した素イデアル列）を取ると、''r'' が ''A'' の商体の超越次数と一致することを示す。[[#ネーターの正規化補題|正規化補題]]によれば、''A'' は多項式環と同型なその部分環 ''k''[''a''<sub>1</sub> , ... , ''a<sub>m</sub>''] 上整であり、''m'' は ''A'' の商体の ''k'' 上の超越次数と一致する。''r'' の帰納法で示す。''r'' = 0 ならば ''A'' は体であるので、''k''[''a''<sub>1</sub> , ... , ''a<sub>m</sub>'']も体になり（[[整拡大]]参照）''m'' = 0 = ''r'' となる。'' m '' > 1 の時は、[[#ネーターの正規化補題|正規化補題]]の後半により、帰納法の仮定を ''A''/''P''<sub>1</sub> と ''k''[''a''<sub>2</sub> , ... , ''a''<sub>''m''</sub>] に適用すれば、定理の前半を得る。後半は、''A'' / ''m'' のクルル次元は 0 であることを前半に適用して、''A'' / ''m'' の ''k'' 上の超越次数が0であることから従う。

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

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

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

===注釈===
* 任意の単位元付き可換環 ''A'' のイデアル ''I'' に対してその根基 <math>\sqrt{I}=\{a\in A\mid \exists n,\; x^n\in I\}</math>は ''I'' を含む素イデアルの共通部分に一致する（積閉集合と交わらない極大なイデアルが存在（[[ツォルンの補題]]）し、素イデアルとなることより。[[極大イデアル]]参照）。従って、''A'' が体上有限生成環のときは<div style="text-indent:2em"><math>\sqrt{I}=\bigcap _{I\subset m} m</math>（ただし ''m'' は極大イデアル）</div>を得る。標語的に言えば、体上有限生成環の被約イデアル（<math>\sqrt{I}=I</math> となるイデアル ''I''）は極大イデアルのみによってコントロールされている。
* ''k'' を代数的閉体とする。このとき、多項式環 ''A'' = ''k''[''x''<sub>1</sub> , ... , ''x<sub>m</sub>''] の極大イデアル ''m'' に対して ''A'' / ''m'' は ''k'' 上代数的になる（前定理後半）ので、''A'' / ''m'' = ''k''となる。よって、''m'' = ''m<sub>p</sub>'' = ( ''x''<sub>1</sub> - ''a''<sub>1</sub> , ... , ''x<sub>m</sub>'' - ''a<sub>m</sub>'') と ''p'' = (''a''<sub>1</sub> , ... , ''a<sub>m</sub>'') ∈ k<sup>n</sup> を用いて表せる（ヒルベルトの零点定理の「弱形」）。よって、[[代数多様体|アフィン代数多様体]] <math>V=V(I)\subset \mathbb A^n_k</math> に対しては<div style="text-indent:2em"><math>I(V(I))=\bigcap _{p\in V} I(\{p\})=\bigcap _{I\subset m_p} m_p=\sqrt{I}</math></div>となる（記号などについては[[代数多様体#アフィン代数多様体の座標環とヒルベルトの零点定理]]参照）。代数幾何学のコンテクストではこれをヒルベルトの零点定理と呼ぶことが多い。

==参考文献==
{{参照方法|date=2016年10月}}
本項記述は下記参考文献中、特に永田の第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


{{DEFAULTSORT:たいしようゆうけんせいせいかん}}
[[Category:可換環論]]
[[Category:代数幾何学]]
[[Category:数学に関する記事]]