付値環

抽象代数学において、付値環とは、整域 //D// であって、その分数体 //F// のすべての元 //x// に対して、//x// か //x//   −1 の少なくとも一方が //D// に属するようなものである。

体 //F// が与えられたとき、//D// が //F// の部分環であって、//F// のすべての 0 でない元 //x// に対して //x// か //x//   −1 が //D// に属しているとき、//D// を 体 //F// の付値環または座  という。この場合 //F// は確かに //D// の分数体であるので、体の付値環は付値環である。体 //F// の付値環を特徴づける別の方法は、//F// の付値環 //D// は //F// をその分数体としてもち、そのイデアルは包含関係で全順序づけられている、あるいは同じことだが、その単項イデアルが包含関係で全順序付けられていることである。とくに、すべての付値環は局所環である。

体の付値環は支配あるいは細分によって順序を入れた体の局所部分環の集合の極大元である、ただし

かつ ならば、 は を支配する。体 //K// のすべての局所環は //K// のある付値環によって支配される。

任意の素イデアルにおける局所化が付値環であるような整域はプリューファー整域と呼ばれる。

1. 例
----

任意の体は付値環である。
有理整数環 Z の素イデアル  における局所化 Z。これは分子が任意の整数で分母が //p// で割り切れないような整数であるような有理数からなる。分数体は有理数体 Q である。
マクローリン級数をもつ、全複素平面上の有理型関数の環は、付値環である。分数体は平面全体で有理型な関数である。//f// がマクローリン級数をもたなければ 1///f// がもつ。
任意に与えられた素数 //p// に対して、p-進整数環 Z//p// は、//p//-進数 Qp を分数体としてもつ局所環である。p-進整数環の整閉包 Z//p//cl はまた局所環であり、その分数体は Q//p//clである。 Z//p// と Z//p//cl はともに付値環である。
k を順序体とする。k の元は、2つの整数の間にある //n//<//x//<//m// とき、有限であるという。そうでないときは無限大であるという。k の有限な元全体の集合 //D// は付値環である。//x// ∈ //D// かつ //x//−1∉//D// であるような元 //x// 全体の集合は無限小である元全体の集合である。//x//∉//D// かつ //x//−1∈//D// であるような元 //x// は無限大であるという。
超実数体 *Rの有限超実数からなる部分環 //F// は *R の付値環である。F は普通の実数から無限小異なるすべての超実数からなる。有限超実数を無限小超実数のイデアルで割った剰余体は実数体と同型である。

2. 定義
-----

付値環のいくつかの同値な定義が存在する。環 //D// とその分数体 //K// について、以下は同値である。

//K// のすべての 0 でない元 //x// に対して、//x// ∈ //D// あるいは //x//−1 ∈ //D//。
//D// のイデアルは包含関係で全順序が入る。
//D// の単項イデアルは包含関係で全順序が入る。
全順序アーベル群 Γ と全射群準同型 ν://K//× → Γ with //D// = { //x// in //K//× : ν ≥ 0 } ∪ {0} が存在する。はじめの3つの定義の同値性は容易にわかる。Krull の定理によるとはじめの3つの条件を満たす任意の環は4つ目も満たす。Γ を //K// の単数群の //D// の単数群による商 //K//×///D//× とし、ν を自然な射影とする。//D// の元の剰余類を "正"とすることによって Γ を全順序群にすることができる。

さらに一般的に、任意の全順序アーベル群 Γ が与えられたとき、値群 Γ をもつ付値環 //D// が存在する。

付値環のイデアル全体は全順序集合をなすという事実から、付値環は局所整域であり、付値環のすべての有限生成イデアルは単項であると結論できる。実は次のことがクルルによる定理である。整域が付値環であることと局所ベズー整域であることは同値である。またこのことから付値環がネーター的であることと単項イデアル整域であることが同値であることがしたがう。この場合、それは体であるかまたはちょうど1つの 0 でない極大イデアルをもつ。そのような付値環は離散付値環と呼ばれる。

値群は整数のなす加法群と同型であるときに//離散的//と呼ばれる。そして、付値環が離散的な値群をもつことと離散付値環であることは同値である。

ごくまれに、//付値環//は2つ目か3つ目の条件を満たすが必ずしも整域でないような環を指すことがある。このタイプの環に対するより一般的な用語は "単列加群"である。

3. 構成
-----

与えられた全順序アーベル群 Γ と剰余体 //k// に対し、//K// = //k//) をベキが Γ から来る形式的ベキ級数環と定義する。つまり、//K// の元は、各関数の台が //G// の整列部分集合であるような、Γ から //k// への関数である。加法は点ごとの和で、乗法はコーシー積あるいは畳み込み積、すなわちベキ級数

with として関数を見たときに自然な演算である。

//f// の //K// における付値 ν は //f// の台の最小の元、すなわち //f// が 0 でないような最小の Γ の元 //g// であると定義される。ν≥0 であるような //f// は値群 Γ、付値ν、剰余体 //k// であるような //K// の部分環 //D// をなす。この構成はFuchsに詳しい。また、ベキ級数の代わりに多項式の商を使っているKrullの構成に従っている。

4. 支配と整閉包
---------

付値環の単元すなわち可逆元は、//x//   −1 が再び //D// の元であるような元 //x// である。//D// の他の元は、非単元と呼ばれるが、逆元をもたず、イデアル //M// をなす。このイデアルは //D// のイデアルの中で極大である。//M// は極大イデアルであるので、商環 //D/////M// は体であり、//D// の剰余体と呼ばれる。

一般に、次のとき局所環 は局所環 を支配すると言う。 かつ 。言い換えれば、包含 は局所射である。体 //K// におけるすべての局所環 はある //K// の付値環によって支配される。実際、//A// を含み であるような //K// のすべての部分環 //R// からなる集合は空でなく帰納的なので、ツォルンの補題によって極大元 をもつ。//R// は付値環であると主張する。//R// は極大性によってを含む極大イデアルをもった局所環である。再び極大性によって整閉でもある。さて、 であれば、極大性によって、 でありしたがって次のように書ける。

. は単元であるので、このことは は //R// 上整であることを示しており、したがって //R// の元である。このことは //R// が付値環であることを示している。

体 //K// の局所環 //R// が付値環であることとそれが支配で順序を入れた //K// に含まれるすべての局所環からなる集合の極大元であることは同値である。これは上記から容易に従う。

//A// を体 //K// の部分環とし、 を代数的閉体 //k// の中への環準同型とする。このとき //f// は、//D// を //A// を含む //K// のある付値環として、環準同型 に拡張する。

体 //K// の部分環 //R// が //K// の付値環 //D// を含めば、定義 1 を確認することによって、//R// もまた //K// の付値環である。とくに、//R// は局所環であり、その極大イデアルは //D// のある素イデアルと交わる。 としよう。すると である、なぜならば は を支配し、これはイデアルが全順序付けられているから付値環である。この考察は以下に含まれている。全単射な対応 //D// を含む //K// のすべての部分環の集合、が存在する。とくに、//D// は整閉であり、//D// のクルル次元は //D// を含む //K// の真の部分環たちの濃度である。

実は、整域 //A// の //A// の分数体 //K// における整閉包は //A// を含む //K// のすべての付値環の共通部分である。実際、付値環は整閉なので整閉包はその共通部分に含まれる。逆に、//x// を //K// の元だが //A// 上整でないとしよう。イデアル は でないので、それはある極大イデアル に含まれる。すると の における局所化を支配する付値環 //R// が存在する。 であるので、。

支配は代数幾何学において使われる。//X// を体 //k// 上の代数多様体とする。このとき の付値環 //R// は、 が構造層の //x// における局所環 を支配するときに、"//X// 上に中心 //x//"をもつと言う。

5. 付値環のイデアル
-----------

付値環のイデアルを値群によって記述することができる。

Γ を全順序アーベル群とする。Γ の部分集合 Δ は次のとき線分  と呼ばれる。空でなく、任意の α ∈ Δ に対し、-α と α の間にある任意の元もまた Δ の元である。Γ の部分群は segment であり真部分群であるときに//孤立部分群//と呼ばれる。

//D// を付値 //v// と値群 Γ をもった付値環とする。//D// の任意の部分集合 //A// に対して、 を と の和集合の における補集合とする。//I// が真のイデアルであれば、 は の segment である。実際、写像 は //D// の真のイデアルの集合と の segment の集合の間の包含関係を逆にする全単射を定義する。この対応のもとで、//D// の 0 でない素イデアルは Γ の孤立部分群と全単射に対応する。

例：//p//-進整数環 は値群 をもつ付値環である。 の零部分群は唯一の極大イデアル と対応し、群そのものは零イデアルと対応する。極大イデアルは の唯一の孤立部分群である。

孤立部分群の集合は包含で全順序付けられている。Γ の高さあるいはランク //r// は Γ の孤立部分群の集合の濃度と定義される。0でない素イデアルは全順序付けられており Γ の孤立部分群と対応するので、Γ の高さは Γ に付随する付値環 //D// のクルル次元と等しい。

最も重要なのは高さ 1 の場合である。これは Γ が実数のなす加法群の部分群であることと同値である。高さ 1 の付値をもった付値環は超距離素点を定義する対応する絶対値をもつ。これの特別なケースはさきに言及された離散付値環である。

有理階数 //rr// は値群のアーベル群としての階数として定義される。

6. 素点
-----

このセクションの参考文献は Zariski–Samuel である。

体 //K// の//素点//は、//K// の付値環 //D// から任意の に対して であるような体への環準同型 //p// である。素点の像は //p// の剰余体と呼ばれる体である。例えば、カノニカルな写像 は素点である。

例：//A// をデデキント整域とし を素イデアルとする。するとカノニカルな写像 は素点である。

素点 //p// の付値環が素点 //p// の付値環を含むとき、 //p// は //p// に//特殊化する//と言い、と記す。代数幾何学においては、素イデアル が の部分集合であるときに、 は に特殊化すると言う。この2つの概念は一致する。 であることと //p// に対応する素イデアルがある付値環において //p// に対応する素イデアルに特殊化することは同値である。

次のことを証明できる。 であれば、//p// の剰余体 のある素点 //q// に対して である。//D// が //p// の付値環であれば、そのクルル次元は //p// の //p// への特殊化以外の特殊化の濃度である。したがって、体 //k// 上の体 //K// の付値環 //D// をもった任意の素点 //p// に対し、以下が成り立つ。

.//p// が素点で //A// が //p// の付値環の部分環であれば、 は //A// における //p// の//中心//と呼ばれる。

7. 脚注
-----

8. 参考文献
-------

Nicolas Bourbaki, //Commutative Algebra//, Addison-Wesley, 1972

fr:Valuation#Anneau de valuation