クルル環
可換環論において、クルル環 (Krull ring) あるいはクルル整域 (Krull domain) は素イデアル分解の良い振る舞いの理論を伴った可換環である。それらは テンプレート:Harvs によって導入された。それらはデデキント整域の高次元の一般化である。デデキント整域はちょうど次元が高々 1 のクルル整域である。
この記事において、環は可換で単位元をもつ。
正式な定義
テンプレート:Mvar を整域とし テンプレート:Mvar を高さ 1 の テンプレート:Mvar のすべての素イデアルからなる集合、すなわち、0 でない素イデアルを真に含まないすべての素イデアルの集合とする。このとき テンプレート:Mvar がクルル環 (Krull ring) であるとは、
- はすべての に対して離散付値環であり、
- テンプレート:Mvar はこれらの離散付値環の共通部分（テンプレート:Mvar の商体の部分環と考えて）である。
- テンプレート:Mvar の任意の 0 でない元は高さ 1 の素イデアルの有限個にしか含まれない。
性質
クルル整域が一意分解整域であることと高さ 1 のすべての素イデアルが単項イデアルであることは同値である[1]。
テンプレート:Mvar をザリスキ環（例えば局所ネーター環）とする。完備化 テンプレート:Math がクルル整域であれば、テンプレート:Mvar はクルル整域である[2]。
例
- すべての整閉ネーター整域はクルル環である。とくに、デデキント整域はクルル環である。逆に、クルル環は整閉であり、したがってネーター整域がクルルであることと整閉であることは同値である。
- テンプレート:Mvar がクルル環であれば多項式環 テンプレート:Math と形式的冪級数環 テンプレート:Math もそうである。
- 一意分解整域 テンプレート:Mvar 上の無限変数多項式環 テンプレート:Math はネーターでないクルル環である。一般に、任意の一意分解整域はクルル環である。
- テンプレート:Mvar をネーター整域で商体を テンプレート:Mvar とし、テンプレート:Mvar を テンプレート:Mvar の有限代数拡大とする。このとき テンプレート:Mvar の テンプレート:Mvar における整閉包はクルル環である (テンプレート:Ill2)[3]。
クルル環の因子類群
クルル環 テンプレート:Mvar の（ヴェイユ）因子は高さ 1 の素イデアルの形式的整数線型結合であり、これらは群 テンプレート:Math をなす。テンプレート:Mvar のある テンプレート:Math でない テンプレート:Mvar に対して テンプレート:Math の形の因子は主因子と呼ばれ、主因子は因子全体の群の部分群をなす。因子全体の群の主因子全体の部分群による商は テンプレート:Mvar の因子類群 (divisor class group) と呼ばれる。
クルル環のカルティエ因子は局所主（ヴェイユ）因子である。カルティエ因子は主因子を含む、因子全体の群の部分群をなす。カルティエ因子の主因子による商は因子類群の部分群であり、テンプレート:Math 上の可逆層のピカール群に同型である。
例： 環 テンプレート:Math において因子類群は位数 2 をもち、因子 テンプレート:Math によって生成されるが、ピカール部分群は自明群である。
参考文献
- テンプレート:Cite book
- テンプレート:SpringerEOM
- テンプレート:Citation
- 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