付値環とは? わかりやすく解説

付値環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 09:11 UTC 版)

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

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

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

かつ ならば、 を支配する[2]

K のすべての局所環は K のある付値環によって支配される。

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

  • 任意の体は付値環である。
  • 有理整数環 Z の素イデアル (p) における局所化 Z(p)。これは分子が任意の整数で分母が p で割り切れないような整数であるような有理数からなる。分数体は有理数体 Q である。
  • 任意に与えられた素数 p に対して、p-進整数Zp は、p-進数 Qp を分数体としてもつ局所環である。p-進整数環の整閉包 Zpcl はまた局所環であり、その分数体は Qpclp-進数体の代数的閉包)である。 ZpZpcl はともに付値環である。
  • k順序体とする。k の元は、2つの整数の間にある n<x<m とき、有限である(finite)という。そうでないときは無限大である(infinite)という。k の有限な元全体の集合 D は付値環である。xD かつ x−1D であるような元 x 全体の集合は無限小である元全体の集合である。xD かつ x−1D であるような元 x は無限大である(infinite)という。
  • 超実数体 *R(これは実数を含む順序体である)の有限超実数からなる部分環 F は *R の付値環である。F は普通の実数から無限小異なるすべての超実数(これはある普通の整数 n に対して −n < x < n であるような超実数 x と言っても同じである)からなる。有限超実数を無限小超実数のイデアルで割った剰余体は実数体と同型である。

定義

付値環のいくつかの同値な定義が存在する(dominance の言葉での特徴づけは下記参照)。環 D とその分数体 K について、以下は同値である。

  1. K のすべての 0 でない元 x に対して、xD あるいは x−1D
  2. D のイデアルは包含関係で全順序が入る。
  3. D の単項イデアルは包含関係で全順序が入る(すなわち D の元は整除可能性英語版によって全順序が入る)。
  4. 値群(value group)と呼ばれる)全順序アーベル群 Γ と(付値(valuation)と呼ばれる)全射群準同型 ν:K× → Γ with D = { x in K× : ν(x) ≥ 0 } ∪ {0} が存在する。

はじめの3つの定義の同値性は容易にわかる。(Krull 1939) の定理によるとはじめの3つの条件を満たす任意の環は4つ目も満たす。Γ を K単数群D の単数群による商 K×/D× とし、ν を自然な射影とする。D の元の剰余類を "正"(positive)とすることによって Γ を全順序群にすることができる[3]

さらに一般的に、任意の全順序アーベル群 Γ が与えられたとき、値群 Γ をもつ付値環 D が存在する(下のセクションを見よ)。

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

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

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

構成

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

with

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

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

支配と整閉包

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

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

.

は単元であるので、このことは R 上整であることを示しており、したがって R の元である。このことは R が付値環であることを示している。(構成によって極大イデアルは を含むので RA を支配する。)

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

A を体 K の部分環とし、代数的閉体 k の中への環準同型とする。このとき f は、DA を含む K のある付値環として、環準同型 に拡張する。(証明: を極大な拡張とする。これはツォルンの補題によって明らかに存在する。極大性によって、Rf の核を含む極大イデアルをもった局所環である。SR を支配する局所環であれば、SR 上代数的である。もしそうでないとすれば、g が拡張する多項式環 を含み、極大性に反する。 の代数的な体拡大であることが従う。したがって、g を拡張する。ゆえに S = R。)

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

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

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

付値環のイデアル

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

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

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

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

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

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

有理階数(rational rank) rr(Γ) は値群のアーベル群としての階数として定義される。

素点

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

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

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

素点 p の付値環が素点 p' の付値環を含むとき、 pp'特殊化するp specializes to p' )と言い、と記す。代数幾何学においては、素イデアル の部分集合であるときに、 に特殊化すると言う。この2つの概念は一致する。 であることと p に対応する素イデアルがある付値環において p' に対応する素イデアルに特殊化することは同値である( が同じ体の付値環であれば、D の素イデアルに対応することを思い出そう)。

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

.

p が素点で Ap の付値環の部分環であれば、A における p中心(center)と呼ばれる。

脚注

  1. ^ Hartshone 1977, Theorem I.6.1A
  2. ^ Efrat (2006) p.55
  3. ^ より正確には、Γ は 、ただし [x] と [y] は Γ における同値類、と定義することによって全順序づけられる。cf. Efrat (2006) p.39
  4. ^ Cohn 1968, Proposition 1.5
  5. ^ Efrat (2006) p.43
  6. ^ 証明:R が極大元であれば、ある付値環によって支配される。したがって、それはそれ自身付値環でなければならない。逆に、R を付値環とし SR を支配するが R ではない局所環とする。S の元であるが R の元ではない x が存在する。このとき R の元であり実は R の極大イデアルの元である。しかしこのとき なので矛盾である。したがって、そのような S は存在しえない。
  7. ^ Zariski−Samuel, Ch. VI, Theorem 3
  8. ^ Efrat (2006) p.38
  9. ^ 付値環が整閉であることをより直接的に見るために、xn + a1xn − 1 + ... + a0 = 0 としよう。すると xn−1 で割ることで x =  − a1 − ... − a0x − n + 1 を得る。もし仮に xD の元でなければ、x -1D の元であり、これは xD の元の有限和として表しているので、xD の元であり、矛盾。
  10. ^ Matsumura 1986, Theorem 10.4
  11. ^ 一般に、A 上整であるのは であるとき、かつそのときに限る。
  12. ^ Hartshorne 1977, Ch II. Exercise 4.5
  13. ^ Zariski−Samuel, Ch. VI, Theorem 15

参考文献


付値環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/04 18:40 UTC 版)

付値」の記事における「付値環」の解説

体 K の加法付値 v に対してRv = {a ∈ K | v(a) ≥ 0} は賦値 v に対する付値環と呼ばれる環を成す。このとき、 m v = { a ∈ K ∣ v ( a ) > 0 } {\displaystyle {\mathfrak {m}}_{v}=\{a\in K\mid v(a)>0\}} は、Rvイデアルであり、賦値 v に対す付値イデアル呼ばれる付値イデアルは付値環に含まれる唯一の極大イデアルであるので、 R v / m v {\displaystyle R_{v}/{\mathfrak {m}}_{v}} は体となる。この体のことを v に関する剰余体または剰余類体という。さらに、{a ∈ K | v(a) = 0} は乗法群となり、これを賦値環の単数群という。

※この「付値環」の解説は、「付値」の解説の一部です。
「付値環」を含む「付値」の記事については、「付値」の概要を参照ください。

ウィキペディア小見出し辞書の「付値環」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「付値環」の関連用語

付値環のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



付値環のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの付値環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの付値 (改訂履歴)、特異点解消 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS