付値

付値（ふち、、賦値、附値とも）とは、単位元 1 を持つ環 "R" と "G" に対して、以下の3条件を満たす写像 "v": "R" → "G" ∪ {∞} である。
但し、∞ は "G" には属さない元で、"G" の任意の元 "a" に対して
を満たすものとする。上記定義を満たす付値のことを "R" の 加法付値または一般付値ともいう。さらに "G" が実数体の加法部分群であるとき指数付値という。
特に "R" が体であるとき、formula_4 は "G" の加法部分群となり、これを "v" の値群という。
加法付値.
性質.
環 "R" 上の加法付値 "v" に対して、以下が成立する。
付値環.
体 "K" の加法付値 "v" に対して、"R""v" = {"a" ∈ "K" | "v"("a") ≥ 0} は賦値 "v" に対する付値環と呼ばれる環を成す。このとき、formula_24 は、"R""v" のイデアルであり、賦値 "v" に対する付値イデアルと呼ばれる。
付値イデアルは付値環に含まれる唯一の極大イデアルであるので、formula_25 は体となる。この体のことを "v" に関する剰余体または剰余類体という。さらに、{"a" ∈ "K" | "v"("a") = 0} は乗法群となり、これを賦値環の単数群という。
付値環の性質.
上の性質の 4, 5, 6 は、環が付値環となる条件を与えている。つまり、商体が "K" となる、"K" の部分環 "R" が下記のいずれかが(したがってすべてが)満たされるとき、"K" の加法付値が存在して、"R" はその加法付値で付値環となる。
このことより、付値環を付値を用いずに定義することができる。
階数.
加法付値 "v" の付値環のKrull-次元を "v" の階数という。
つまり、加法付値 "v" の付値環 "R""v" 上の素イデアル formula_33 が存在して
が成立するような "n" の最大値を階数という。階数は必ずしも有限とは限らない。例えば、先に挙げた加法付値の例9. の階数は ∞ である。また、任意の正整数 "n" に対して、例8. の階数は "n" であり、自明な加法付値は 0 である。
自明ではない加法付値の階数は 1 以上であり、特に指数付値の階数は 1 である。より一般に、値群が実数の 0 ではない加法部分群と順序同型であるならば、階数は 1 であり、逆に階数が 1 である加法付値の値群は実数の加法部分群と順序同型である。
体 "K" の加法付値 "v" の階数は次の様に言い換えることができる。
離散付値.
体 "K" の加法付値 "v" の値群 "v"("K"×) が、辞書式順序で Z"n"と順序同型であるとき離散的であるといい、この様な加法付値を離散的加法付値または離散的一般付値という。
特に、上記 "n" が 1 である離散的加法付値のことを離散付値という。
さらに、値群が Z となる離散付値を正規離散付値または正規指数付値という。 
例えば、先に挙げた加法付値の例の 2., 3., 4., 5., 6. は正規離散付値であり、"n" ≥ 2 に対して、例8. は離散付値ではない離散的加法付値である。例7. の様に離散付値にならない加法付値も存在する。
体 "K" の正規離散付値 "v" に対して、"v"(π) = 1 を満たす "K" の元 π を "v" の 素元という。すると、"K"× の元 α は、素元と "K" の単元を用いて、α = επ"n" と一意的に表現される。但し、ε は "K" の単元であり、"n" は整数である。
離散付値 "v" に関して、以下のことが成り立つ。但し、付値イデアルを formula_35 とする。
特に、"v" が正規離散付値であるならば、0 ではないイデアルは、"n" ≥ 0 に対して {"x" ∈ "K" | "v"("x") ≥ "n"} のかたちに表される。
付値の合成.
体 "K" の加法付値 "v" に対して、"v" の剰余体 formula_39 の加法付値を "v"′ とする。このとき
は、"K" の付値環となる。そこで、"K" の加法付値 "v"′′ を "R""v"′′ = "R"′′ を満たす様に取ったとき、"v"′′ を "v" と "v"′ との合成という。("v"′′ の階数) = ("v" の階数) + ("v"′ の階数) が成り立つ。
加法付値の合成を用いて、体 "K" の加法付値を "w"、"K" の拡大体を "L" とし、 "L" の加法付値 "v" を、剰余体が "K" と同型になるようにとれば、"L" の加法付値 "v"′ として
が成り立つものを得ることができる。
乗法付値.
体 "K" に対して、以下の3条件を満たす |•|: "K" → R
を、乗法付値という。
上記条件3 の代わりに、下記の条件
を満たすものも（このとき "c" = 2 とおけば条件3 を満たすので）乗法付値となるが、これを三角不等式を満たす乗法付値という。 
乗法付値の性質.
体 "K" 上の乗法付値 |•| に対して、以下が成立する。
アルキメデス付値.
乗法付値の定義において、条件3 の定数 "c" は、常に "c" ≥ 1 であるが、"c" = 1 と選ぶことができるとき、非アルキメデス付値または非アルキメデス的付値という。非アルキメデス付値でない乗法付値のことをアルキメデス付値またはアルキメデス的付値という。
自明な付値や、任意の素数 "p" に対する有理数体上の "p"-進付値は非アルキメデス付値である。
また、実数体または複素数体上の絶対値はアルキメデス付値である。
任意の非アルキメデス付値 |•| は、任意の正整数 "n" に対して、|"n" 1| ≤ 1 を満たす。逆に、任意の正整数 "n" に対して、|"n" 1| ≤ "c" となる "n" に無関係な定数 "c" が存在する乗法付値は非アルキメデス付値である。
このことから、アルキメデス付値を持つ体の標数は 0 である。従って、有限体の乗法付値は全て非アルキメデス付値である。より正確には、有限体の乗法付値は自明な付値だけである。
しかし、標数が 0 であっても、アルキメデス付値を持たない場合がある。体の（集合論的）濃度が連続体濃度よりも真に大きい体は、アルキメデス付値を持たない。このことは次の定理からの帰結である。
非アルキメデス付値と指数付値.
"q" > 1 を１つ取り固定する。|•| を体 "K" の非アルキメデス付値としたとき "v": "K" → R ∪ {∞} を
で定めると、"v" は "K" の指数付値となる。
逆に、"K" の指数付値 "v" に対して |•|"v": "K" → R を
で定めると、|•|"v" は "K" の非アルキメデス付値となる。
従って "q" を固定するとき、非アルキメデス付値と指数付値の間には一対一の対応を付けることができる。しかし、アルキメデス付値に対しては、上の様に "v" を定義しても加法付値にはならない。
さらに、上で定義された非アルキメデス付値 |•| に対する加法付値 "v" に対して、"v" の付値環、付値イデアルを "R""v", formula_54 とし、
とおくと、"R""v" = "R"|•|, formula_56 が成り立ち、"R"|•|, formula_57 はそれぞれ "K" の部分環、"R"|•| のイデアルになる。このとき、"R"|•|, formula_58 を非アルキメデス付値 |•| に対する付値環、付値イデアル、剰余体という。
この様に得られた付値環、付値イデアルに対しても、先に挙げた加法付値に対する付値環、付値イデアルと同じ性質が成り立つ。
また、"v" が離散付値であるとき、|•| を離散付値という。このとき、うまく "q" を選べば "v" は正規離散付値となるので、"v"(π) = 1 となる "K" の元 π が存在する。この π のことを |•| に関する素元という。
なお、アルキメデス付値に対しては、非アルキメデス付値と同様にして "R"|•|, formula_57 を定義することができるが、"R"|•| は "K" の部分環にはならず、formula_57 もイデアルにはならない。
しかし、{"x" ∈ "K" | |"x"| = 1} はアルキメデス付値、非アルキメデス付値に関わらず乗法群となる。これを乗法付値 |•| に対する単数群という。
付値の同値性.
体 "K" 上の２つの加法付値 "v", "v"′ に対して両者の付値環が等しいとき、すなわち
が全ての "K" の元 "a" に対して成り立つとき "v" と "v"′ は同値であるという。
また、乗法付値 "v", "v"′ が同値であるとは、正数 "r" > 0 が存在して、"K" の任意の元 "a" に対して
が成り立つときにいう。これは
が任意の "K" の元 "a" に対して成り立つときと言い換えることもできる。従って、"v", "v"′ が非アルキメデス付値であるならば、両者の付値環は一致する。
付値の同値について、以下のことが成立する。
付値の延長.
体 "L" の部分体と同型となる体を "K" とする。"K" の付値 "v""K" に対して、"L" の付値 "v""L" が存在して
を満たすとき、賦値 "v""L" は賦値 "v""K" の "L" への延長または拡張であるといい、"v""K" は "v""L" の "K" への縮小または制限であるという。
付値の延長の存在性について、加法付値に対しては、体 "K" の任意の拡大体 "L" と "K" の加法付値 "v" に対して、"v" の "L" への延長となる、階数が "v" の階数と等しい付値 "v""L" が存在する。
また、乗法付値に関しては、非アルキメデス付値は（階数が 1 以下の加法付値である）指数付値と一対一の対応が付けられるので、上記のことから、任意の拡大体に対して与えられた非アルキメデス付値の（非アルキメデス付値である）延長が存在する。
アルキメデス付値に関しては、任意の代数拡大体に対して、与えられたアルキメデス付値の（アルキメデス付値である）延長が存在するが、非アルキメデス付値の場合と異なり、代数拡大ではない拡大体に対して与えられたアルキメデス付値の延長が存在するとは限らない。
例えば、複素数体上の絶対値を、複素数体上の 1-変数有理関数体 C("t") に延長することはできない。しかし、有理数体上の絶対値は実数体上に延長できるので、代数拡大以外の拡大体への延長が全く存在しないというわけではない。
体 "L" の付値 "v" の部分体 "K" への縮小で得られる付値 "v""K" は、"v" に対して一意的に決まるが、付値 "v""K" の "L" への延長で得られる付値は "v" だけとは限らない。"L" が "K" の有限次拡大体であるとき、最大 ["L" : "K"] 個の互いに同値ではない "v""K" の延長となる付値が存在する。より正確には次が成立する。
体 "K" に対する加法付値を "v" とする。"L" を "K" の有限次代数拡大体とし、"w"1, ... , "w""n" を "v" の "L" への互いに同値ではない延長全体とする。"v", "w""i" それぞれの剰余体、値群をそれぞれ "F", "F""i", "G", "G""i" とし、"e""i" = #("G""i"/"G"), "f""i" = ["F""i" : "F"] とおくと、
が成立する。 なお上式において、例えば "v" が離散付値であり "L" が "K" 上分離拡大であるならば、等号が成立する。
この定理に現れる "e""i", "f""i" を "w""i" の "v" に対する分岐指数、剰余次数（または相対次数）という。
ある "i" に対して "e""i" = 1 となるとき、"w""i" は不分岐であるといい、"e""i" > 1 であるとき分岐するという。さらに "f""i" = 1 となるとき、"w""i" は完全分岐であるという。
特に "g" = 1 つまり、"v" の延長が同値なものを除いて "w" しか存在しないとき、"w" の "v" に対する分岐指数 "e" および剰余次数 "f" を、"L" の "K" に対する分岐指数および剰余次数（または相対次数）という。さらに "L" の剰余体が "K" の剰余体の分離拡大であるとき、"e" = 1, "f" = ["L" : "K"] であるならば拡大 "L"/"K" は不分岐、"e" = ["L" : "K"], "f" = 1 であるならば拡大 "L"/"K" は完全分岐であるという。
近似定理.
どのふたつも互いに同値ではない、体 "K" の非自明な乗法付値 |•|1, ... , |•|"n" に対し、"K" の任意の元 "a"1, ... , "a""n" と正数 ε1, ... , ε"n" に対して、"K" の元 "b" が存在して
が全ての "i" に対して成立する。これを乗法付値に対する近似定理という。
上記の乗法付値の組を相異なる素数 "p" からなる "p"-進付値とすれば、この定理は、中国剰余定理を表している。
独立性定理.
どのふたつも互いに同値ではない、体 "K" の非自明な乗法賦値 |•|1, ... , |•|"n" にたいし、実数 "c"1, ... ,"c""n" が存在して、"K" の 0 でない任意の元 "a" に対し
が成立するならば、"c"1 = … = "c""n" = 0 である。これを乗法付値に対する独立性定理という。
積公式.
"V" を体 "K" の自明な付値以外の互いに同値ではない乗法付値からなる集合とする。上述の独立性定理により、"V" が有限集合であれば、
となる "K" の元 "a" が必ず存在する。そこで、"V" を無限集合とし、"K" の元 "a" ごとに、積をとる乗法付値を "V" からうまく選ぶことにすれば
が 0 でない全ての元 "a" に対して成り立つ様にできる可能性がある。もし、この様なことができる場合、"K" と "V" に対して、積公式が成り立つという。
例えば "K" を有理数体とし、"V" を全ての素数に対する "p"-進付値と、絶対値からなる集合とすれば、積公式が成り立つ。
素点.
体 "K" の自明ではない乗法付値全体の集合を付値の同値で類別した集合を "V" としたとき、"V" の元を "K" の素点もしくは素因子という。素点の元にアルキメデス付値が含まれている場合、その素点に含まれている乗法付値はすべてアルキメデス付値であり、その様な素点を無限素点もしくは無限素因子という。
オストロフスキーの定理より、アルキメデス付値を持つ体は実数体もしくは複素数体に埋め込まれ、どちらの体に埋め込まれるかはアルキメデス付値によって決まる。このことから無限素点の代表元が実数体の中への同型写像によって得られるとき、この無限素点を実無限素点もしくは実無限素因子といい、実数体ではなく、複素数体の中への同型写像によって得られるとき、複素無限素点もしくは複素無限素因子という。実無限素点となるか複素無限素点となるかは、無限素点の代表元によらない。
また、素点が非アルキメデス付値を含む場合、その素点に含まれている乗法付値はすべて非アルキメデス付値であり、その様な素点を有限素点もしくは有限素因子という。
素点の例としては、例えば代数体の素点を参照のこと。
体 "K" の拡大体を "L" とする。"K" の素点 formula_5 に含まれる付値 "v" に対して、"v" の "L" への延長が存在し、そのうちの１つを "w"とし、"w" を含む "L" の素点を formula_71 とすれば、素点 formula_71 を素点 formula_5 の "L" への延長といい、formula_5 を formula_71 の縮小という。
任意の体および素点に対して、部分体への素点の縮小は必ず存在して、素点の代表元によらず一意的に決まるが、素点の延長に対しては存在したとしても一般的には複数存在する。しかし、ある素点に対する素点の延長の集合は、元の素点の代表元によらず一意的に決まる。