離散付値環のソースを表示

'''離散付値環'''（りさんふちかん、{{lang-en-short|discrete valuation ring}}、略して '''DVR'''）とは、[[抽象代数学]]においてちょうど1つの0でない[[極大イデアル]]をもつ[[単項イデアル整域]]（PID）である{{sfn|ノイキルヒ|2012|p=70|loc=定義 11.3}}。

このことは DVR は次の同値な条件のうち1つを満たす[[整域]] ''R'' であることを意味する<ref>(4) &hArr; (5) は{{harvtxt|Atiyah|Macdonald|1969|p={{google books quote|id=HOASFid4x18C|page=94|94}}}}<!-- Proposition 9.2(iii), (ii) -->。(2) &hArr; (1) は{{harvtxt|Matsumura|1986|p={{google books quote|id=yJwNrABugDEC|page=79|79}}}}。<!-- Theorem 11.2(1), (2) -->他の性質との関係は{{harvtxt|Bourbaki|1989|p={{google books quote|id=Bb30CjGW7EAC|page=621|621}}}}<!-- Table of implications -->も参照。</ref>。

# ''R'' は[[局所環]]かつ[[単項イデアル整域]]であって、[[可換体|体]]でない。
# ''R'' は[[付値環]]であって、その値群は整数のなす加法群と同型。
# ''R'' は[[局所環]]かつ[[デデキント整域]]であって、体でない。
# ''R'' は[[クルル次元]]1の[[ネーター環|ネーター的]][[局所環]]であって、''R'' の極大[[イデアル]]は単項である。
# ''R'' はクルル次元1の[[整閉]]ネーター局所環である。
# ''R'' は唯一の0でない[[素イデアル]]をもつ PID である。
# ''R'' は（[[単元]]倍を除いて）唯一の[[既約元]]をもつ PID である。
# ''R'' は（単元倍を除いて）唯一の既約元をもつ[[一意分解整域]]である。
# ''R'' は体でなく、''R'' のすべての0でない[[分数イデアル]]は、それを真に含む分数イデアルの有限個の共通部分として書けないという意味で、[[既約イデアル|既約]]である。
# ''R'' の[[分数体]] ''K'' 上の[[離散付値]] ν であって {{math|''R'' {{=}} {''x'' : ''x'' &isin; ''K'', ν(''x'') ≥ 0} }}となるものが存在する。

== 例 ==
'''Z'''<sub>(2)</sub> = { ''p''/''q'' : ''p'', ''q'' &isin; '''Z''', ''q'' は奇数 } とする。このとき '''Z'''<sub>(2)</sub> の分数体は '''Q''' である。さて、'''Q''' の任意の 0 でない元 ''r'' に対して、その分母と分子に[[算術の基本定理|一意分解]]を適用して、''r'' を 2<sup>''k''</sup>''p''/''q'' と書くことができる。ただし、''p'', ''q'', ''k'' は整数であって ''p'' と ''q'' は奇数である。このとき、ν(''r'')=''k'' と定義する。すると、'''Z'''<sub>(2)</sub> は ν に関して離散付値環である。'''Z'''<sub>(2)</sub> の極大イデアルは 2 で生成された単項イデアルであり、（単元倍を除いて）"唯一の"既約元は 2 である。

'''Z'''<sub>(2)</sub> は[[デデキント整域]] '''Z''' の 2 で生成された[[素イデアル]]における[[環の局所化|局所化]]であることに注意しよう。デデキント整域の 0 でない素イデアルにおける任意の局所化は離散付値環である。実際上は、このようにして離散付値環が現れることが多い。特に、任意の[[素数]] ''p'' に対して環 '''Z'''<sub>(''p'')</sub> を全く同様に定義できる。

本質的により幾何学的な例のために、環 ''R'' = {''f''/''g'' : ''f'', ''g'' は '''R'''[''X''] の[[多項式]]で ''g''(0) ≠ 0} をとり、変数 ''X'' の[[有理関数]]体 '''R'''(''X'') の[[部分環]]と考える。''R'' は実軸の 0 の[[近傍]]で定義された（すなわち有限値の）すべての実数値有理関数と同一視できる（近傍は関数に依存する）。それは離散付値環である。"唯一の"既約元は ''X'' であり付値は各関数 ''f'' に対し 0 における零点の位数（0 でもかまわない）を割り当てる。この例は非特異な点の近くの一般の代数曲線を研究するテンプレートを提供する。この場合の代数曲線は実数直線である。

DVR の別の重要な例は、ある体 ''K'' 上の一変数 ''T'' の[[形式的冪級数]]環 ''R'' = ''K''<nowiki>[[T]]</nowiki> である。"唯一の"既約元は ''T'' であり、''R'' の極大イデアルは ''T'' で生成される主イデアルであり、付値 ν は各冪級数に対し最初の0でない係数の指数（すなわち次数）を割り当てる。

[[実数|実]]あるいは[[複素数|複素]]係数に制限すれば、0の近傍で''収束''する一変数冪級数の環を考えることができる（近傍は冪級数に依る）。これもまた離散付値環である。

最後に、任意の素数 ''p'' に対し[[p進整数|''p''-進整数]]環 '''Z'''<sub>''p''</sub> は DVR である。このとき ''p'' が既約元である。付値は各 ''p''-進整数 ''x'' に対し ''p''<sup>''k''</sup> が ''x'' を割り切るような最大の整数 ''k'' を割り当てる。

== 素元 ==
離散付値環 {{mvar|R}} に対し、{{mvar|R}} の任意の既約元は {{mvar|R}} の唯一の極大イデアルの生成元であり、逆もまた成り立つ。そのような元を離散付値環 {{mvar|R}} の'''素元'''（'''prime element''' あるいは '''uniformizing parameter''' / '''uniformizing element''' / '''uniformizer'''; 一意化元）と呼ぶ。

素元 {{mvar|t}} を一つ固定して {{mvar|R}} の唯一の極大イデアルを {{math|''M'' {{=}} (''t'')}} と書けば、ほかの任意の非零イデアルは {{mvar|M}} の冪、すなわち適当な整数 {{math|''k'' &ge; 0}} に対して {{math|(''t''<sup>&nbsp;''k''</sup>)}} の形になる。{{mvar|t}} の冪はすべて相異なるから、{{mvar|M}} についてもそうである。{{math|R}} の任意の非零元 {{mvar|x}} は {{mvar|x}} から一意的に定まる  {{math|R}} の単元 {{mvar|&alpha;}} と整数 {{math|''k'' &ge; 0}} を用いて {{math|α''t''<sup>&nbsp;''k''</sup>}} の形に書けて、その付値は {{math|''ν''(''x'') {{=}} ''k''}} で与えられる。従って、離散付値環を完全に知るには、{{mvar|R}} の単元群と、それが {{mvar|t}} の冪に対して加法的にどう作用するかが分かればよいことになる。

== 位相 ==
すべての離散付値環は、局所環なので、自然な位相が入り、[[位相環]]になる。2元 ''x'', ''y'' の距離を次のように定めることができる。
:<math>|x-y| = 2^{-\nu(x-y)}</math>
（あるいは 2 の代わりに任意の他の固定された実数 > 1 でもよい）。直感的に言えば、元 ''z'' が "小さく" て "0 に近い" こととその付値 ν(''z'') が大きいことは同値である。関数 |x-y|（ただし |0|=0 と定める）は、離散付値環の分数体上定義された{{仮リンク|絶対付値|en|Absolute value (algebra)}}の制限である。

DVR が[[コンパクト空間|コンパクト]]であることと、[[完備距離空間|完備]]かつ[[剰余体]] ''R''/''M'' が[[有限体]]であることは同値である。

完備離散付値環の例として、{{mvar|p}}-進整数環および任意の有限体上の形式冪級数環が挙げられる（[[局所体]]も参照）。離散付値環が与えられたとき、（しばしば完備化をして）それを含む完備離散付値環を考えたほうが扱いやすいことも多い。このように完備化を考えることは、有理函数から冪級数を得たり有理数から実数を得たりすることと同様の幾何学的な方法であると見做すことができる。

例に戻ろう。実係数で一変数のすべての形式的冪級数からなる環は実数直線上 0 の近傍において定義された（すなわち有限値の）有理関数の環の完備化である。それはまた 0 の近くで収束するすべての実冪級数の環の完備化でもある。（''p''-進整数であるようなすべての有理数からなる集合と見ることができる）'''Z'''<sub>(''p'')</sub> の完備化はすべての ''p''-進整数からなる環 '''Z'''<sub>''p''</sub> である。

== 脚注 ==
{{reflist}}

== 参考文献 ==
* {{Cite book|和書|author=斎藤秀司|authorlink=斎藤秀司|title=整数論|publisher=[[共立出版]]|series=共立講座 21世紀の数学|year=1997|isbn=4-320-01572-X}}
* {{Cite book|和書|last1=ノイキルヒ|first1=J.|title=代数的整数論|publisher=[[丸善出版]]|year=2012|isbn=978-4-621-06287-6|ref=harv}}
* {{Citation | last1=Atiyah | first1=Michael Francis | author1-link=Michael Atiyah | last2=Macdonald | first2=I.G. | title=Introduction to Commutative Algebra | publisher=Westview Press | isbn=978-0-201-40751-8 | year=1969 | url={{google books|HOASFid4x18C|plainurl=yes}} | mr=0242802 | zbl=0175.03601}} [http://www.maa.org/press/maa-reviews/introduction-to-commutative-algebra MAA review]
* {{Citation | last1=Bourbaki | first1=Nicolas | author1-link=ブルバキ | title=Commutative Algebra - Chapters 1-7 | year=1989 | url={{google books|Bb30CjGW7EAC|plainurl=yes}} | publisher=Springer | isbn=3-540-64239-0 | mr=0979760 | zbl=0666.13001 }}
* {{Citation | last1=Dummit | first1=David S. | last2=Foote | first2=Richard M. | title=Abstract algebra | publisher=[[John Wiley & Sons]] | location=New York | edition=3rd | isbn=978-0-471-43334-7 | mr=2286236 | year=2004}}
* {{cite book
|last1      = Matsumura
|first1     = Hideyuki
|year       = 1986
|title      = Commutative ring theory
|series     = Cambridge Studies in Advanced Mathematics
|volume     = 8
|url        = {{google books|yJwNrABugDEC|Commutative ring theory|plainurl=yes}}
|publisher  = Cambridge University Press
|isbn       = 0-521-36764-6
|mr         = 0879273
|zbl         = 0603.13001
|ref        = harv
}}

== 関連項目 ==
* [[局所環]]
* [[コーエン環]]
* [[:en:Category:Localization (mathematics)]]

== 外部リンク ==
* {{SpringerEOM | title=Discrete valuation ring | id=Discrete_valuation_ring}}

{{デフォルトソート:りさんふちかん}}
[[Category:代数的整数論]]
[[Category:可換環論]]
[[Category:局所化]]
[[Category:数学に関する記事]]