クルル環のソースを表示

可換環論において、'''クルル環''' (Krull ring) あるいは'''クルル整域''' (Krull domain) は素イデアル分解の良い振る舞いの理論を伴った[[可換環]]である。それらは {{harvs|txt|authorlink=:en:Wolfgang Krull|first=Wolfgang |last=Krull|year=1931}} によって導入された。それらは[[デデキント整域]]の高次元の一般化である。デデキント整域はちょうど次元が高々 1 のクルル整域である。

この記事において、環は可換で単位元をもつ。

==正式な定義==
{{mvar|A}} を[[整域]]とし {{mvar|P}} を[[高さ (環論)|高さ]] 1 の {{mvar|A}} のすべての[[素イデアル]]からなる集合、すなわち、0 でない素イデアルを真に含まないすべての素イデアルの集合とする。このとき {{mvar|A}} が'''クルル環''' (Krull ring) であるとは、
# <math> A_{\mathfrak{p}} </math> はすべての <math> \mathfrak{p} \in P </math> に対して[[離散付値環]]であり、 
# {{mvar|A}} はこれらの離散付値環の共通部分（{{mvar|A}} の商体の部分環と考えて）である。
# {{mvar|A}} の任意の 0 でない元は高さ 1 の素イデアルの有限個にしか含まれない。

== 性質 ==
クルル整域が[[一意分解整域]]であることと高さ 1 のすべての素イデアルが単項イデアルであることは同値である<ref>http://eom.springer.de/k/k055930.htm</ref>。

{{mvar|A}} を[[ザリスキ環]]（例えば局所ネーター環）とする。完備化 {{math|{{hat|''A''}}}} がクルル整域であれば、{{mvar|A}} はクルル整域である<ref>Bourbaki, 7.1, no 10, Proposition 16.</ref>。

==例==
# すべての[[整閉整域|整閉]][[ネーター環|ネーター]][[整域]]はクルル環である。とくに、[[デデキント整域]]はクルル環である。逆に、クルル環は整閉であり、したがってネーター整域がクルルであることと整閉であることは同値である。
# {{mvar|A}} がクルル環であれば[[多項式環]] {{math|''A''{{bracket|''x''}}}} と[[形式的冪級数環]] {{math|''A''{{brackets|''x''}}}} もそうである。
# [[一意分解整域]] {{mvar|R}} 上の無限変数多項式環 {{math|''R''{{bracket|''x''{{sub|1}}, ''x''{{sub|2}}, ''x''{{sub|3}}, …}}}} はネーターでないクルル環である。一般に、任意の一意分解整域はクルル環である。
# {{mvar|A}} を[[ネーター環|ネーター]][[整域]]で[[商体]]を {{mvar|K}} とし、{{mvar|L}} を {{mvar|K}} の[[体の拡大|有限代数拡大]]とする。このとき {{mvar|A}} の {{mvar|L}} における[[整閉包]]はクルル環である ({{ill2|森&ndash;永田の定理|en|Mori–Nagata theorem|label=Mori–Nagata theorem}})<ref>https://books.google.co.jp/books?id=APPtnn84FMIC&lpg=PA83&ots=2L9MiWbIYZ&dq=krull+akizuki&pg=PA85&redir_esc=y&hl=ja#v=onepage&q=krull%20akizuki&f=false</ref>。

==クルル環の因子類群==

クルル環 {{mvar|A}} の（ヴェイユ）因子は高さ 1 の素イデアルの形式的整数線型結合であり、これらは群 {{math|''D''(''A'')}} をなす。{{mvar|A}} のある {{math|0}} でない {{mvar|x}} に対して {{math|div(''x'')}} の形の因子は主因子と呼ばれ、主因子は因子全体の群の部分群をなす。因子全体の群の主因子全体の部分群による商は {{mvar|A}} の'''因子類群''' (divisor class group) と呼ばれる。

クルル環の[[カルティエ因子]]は局所主（ヴェイユ）因子である。カルティエ因子は主因子を含む、因子全体の群の部分群をなす。カルティエ因子の主因子による商は因子類群の部分群であり、{{math|Spec(''A'')}} 上の可逆層の[[ピカール群]]に同型である。

例： 環 {{math|''k''{{bracket|''x'', ''y'', ''z''}}/(''xy'' – ''z''{{sup|2}})}} において因子類群は位数 2 をもち、因子 {{math|1=''y'' = ''z''}} によって生成されるが、ピカール部分群は自明群である。

== 参考文献 ==
{{reflist}}
*{{cite book |author=N. Bourbaki |title=Commutative algebra}}
* {{SpringerEOM|title=Krull ring|urlname=Krull_ring}}
*{{Citation | last1=Krull | first1=Wolfgang | author1-link=Wolfgang Krull | title=Allgemeine Bewertungstheorie | url=http://gdz.sub.uni-goettingen.de/en/dms/load/img/?IDDOC=260807 | year=1931 | journal=  J. Reine Angew. Math. | volume=167 | pages=160–196}}
* Hideyuki Matsumura, ''Commutative Algebra''. Second Edition. Mathematics Lecture Note Series, 56. Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. xv+313 pp. ISBN 0-8053-7026-9
* Hideyuki Matsumura, ''Commutative Ring Theory''. Translated from the Japanese by M. Reid. Cambridge Studies in Advanced Mathematics, 8. Cambridge University Press, Cambridge, 1986. xiv+320 pp. ISBN 0-521-25916-9
*{{Citation | last1=Samuel | first1=Pierre | author1-link=Pierre Samuel | editor1-last=Murthy | editor1-first=M. Pavman | title=Lectures on unique factorization domains | url=http://www.math.tifr.res.in/~publ/ln/ | publisher=Tata Institute of Fundamental Research | location=Bombay | series=Tata Institute of Fundamental Research Lectures on Mathematics |mr=0214579 | year=1964 | volume=30}}

{{DEFAULTSORT:くるるかん}}
[[Category:環論]]
[[Category:可換環論]]
[[Category:数学に関する記事]]