付値のソースを表示

'''付値'''（ふち、{{lang-en-short|''valuation''}}、賦値、附値とも）とは、[[単位元]] 1 を持つ[[環 (数学)|環]] ''R'' と{{仮リンク|順序加群|en|ordered module}} ''G'' に対して、以下の3条件を満たす写像 ''v'': ''R'' &rarr; ''G'' &cup; {&infin;} である。
# ''v''(1) = 0, ''v''(0) = &infin; である。
# 任意の ''R'' の元 ''x'', ''y'' に対して、''v''(''xy'') = ''v''(''x'') + ''v''(''y'') が成り立つ。 
# 任意の ''R'' の元 ''x'', ''y'' に対して、''v''(''x'' + ''y'') &ge; min(''v''(''x''), ''v''(''y'')) が成り立つ。 

ただし、&infin; は ''G'' には属さない元で、''G'' の任意の元 ''a'' に対して
* <math>a < \infty,</math>
* <math>a + \infty = \infty,</math>
* <math>\infty + \infty = \infty</math>
を満たすものとする。上記定義を満たす付値のことを ''R'' の '''加法付値'''または'''一般付値'''ともいう。さらに ''G'' が[[実数]]体の加法部分群であるとき'''指数付値'''という。

特に ''R'' が[[可換体|体]]であるとき、<math style="vertical-align: -24%;"> v(R\smallsetminus\{0\})</math> は ''G'' の加法部分群となり、これを ''v'' の'''値群'''という。

== 加法付値 ==
=== 例 ===
# 1 を含む環 ''R'' に対して、<math>\mathfrak{p}</math> を 1 を含まない ''R'' の[[素イデアル]]とする。''R'' の元 ''a'' に対して<div style="margin:1ex auto 1ex 2em;"><math>
 v(a) = \begin{cases} 
 0 & (a\notin\mathfrak{p})\\ 
 \infty & (a\in\mathfrak{p})
\end{cases}</math></div>と定めれば、''R'' の加法付値となる。従って、1 を含む任意の環に対して、加法付値が一つ以上存在する。
# 体 ''K'' に対して、上記の例を適用することにより<div style="margin:1ex auto 1ex 2em;"> <math>
 v(a) = \begin{cases} 
 0 & (a\in K^{\times})\\
 \infty & (a=0)
\end{cases}</math></div>は ''K'' の加法付値となる。これを ''K'' の'''自明な加法付値'''という。
# [[素数]] ''p'' と 0 ではない[[有理数]] ''a'' に対して、<div style="margin:1ex auto 1ex 2em;"><math>
 a = \frac{p^e b}{p^f c} \quad (e\ge 0,\, f\ge 0,\, (b, c) = 1,\, (bc,\ p) = 1)</math></div>と表したとき、<div style="margin:1ex auto 1ex 2em;"> <math>
 v(a) = \begin{cases} 
 e-f & (a\in K^{\times})\\
 \infty & (a=0)
\end{cases}</math></div>で定義すると、''v'' は有理数体の加法付値となる。これを '''''p''-進加法付値'''という。
# より一般に、<math>\mathfrak{p}</math> を代数体 ''K'' の素イデアルとする。''K'' の 0 でない元 &alpha; は <math>(\alpha) = \mathfrak{p}^{\mu}\mathfrak{b} </math> （<math>\mathfrak{b}</math> は <math>\mathfrak{p}</math> と互いに素な分数イデアル、&mu; は有理整数）の形に一意的に表せるが、このとき<div style="margin:1ex auto 1ex 2em;"> <math>
 v(a) = \begin{cases} 
 \mu & (a\in K^{\times})\\
 \infty & (a=0)\end{cases}</math></div>と定めると、''v'' は代数体 ''K'' の加法付値となる。これを '''<math>\mathfrak{p}</math>-進加法付値''' という。
# [[複素平面]]から複素平面への[[有理型関数]]の全体を ''K'' とする。複素平面上の点 ''P'' を一つ取り固定する。0 でない 有理型関数 ''f'' に対して、点 ''P'' で ''n''-位の[[零点]]であるとき ''v''(''f'') = ''n'', 零点でも[[極 (複素解析)|極]]でもないとき ''v''(''f'') = 0, ''n''-位の極であるとき ''v''(''f'') = &minus;''n'' と定めると、''v'' は ''K'' の加法付値となる。
# 体 ''K'' の 1-変数[[有理関数]]体 ''K''(''x'') の 0 でない元 ''f''(''x'') に対して<div style="margin:1ex auto 1ex 2em;"><math>
 f(x) = {g(x)\over h(x)}\quad (g(x),\, h(x)\in K[x])
</math></div>と表したとき、''v''(''f'') = deg&thinsp;''h'' &minus; deg&thinsp;''g'' と定義すると、''v'' は ''K''(''x'') の加法付値となる。
# &alpha; を[[無理数]]とし、体 ''K'' 係数の 0 でない多項式<div style="margin:1ex auto 1ex 2em;"><math>
 p(x, y) = \sum_{j=0}^m a_jx^j y^{m-j}\quad (a_j\in K,\ m\ge 0)
</math></div> に対して、''v''(''p'') = min{''j'' + (''m'' &minus; ''j'')&alpha; | ''a''<sub>''j''</sub> &ne; 0, 0 &le; ''j'' &le; ''m''} とし、''K'' 上の 2-変数有理関数体 ''K''(''x'', ''y'') の 0 でない元 ''f''(''x'', ''y'') に対して<div style="margin:1ex auto 1ex 2em;"><math>
 f(x, y) = {g(x, y)\over h(x, y)}\quad (g(x, y),\ h(x, y)\in K[x, y])
</math></div>と表したとき、''v''(''f'') = ''v''(''g'') &minus; ''v''(''h'') と定義すると、''v'' は ''K''(''x'', ''y'') の加法付値となる。
# 体 ''K'' の 0 でない ''n''-変数[[多項式]]<div style="margin:1ex auto 1ex 2em;"><math>
 p(x_1,\ldots,x_n) = \sum_{j_1=1}^{m_1}\cdots\sum_{j_n=1}^{m_n}a_{j_1\ldots j_n}x_1^{j_1}\cdots x_n^{j_n}\quad (a_{j_1\ldots j_n}\in K,\ m_1,\ldots,m_n\ge 0)
</math></div>に対して、'''Z'''<sup>''n''</sup> の[[辞書式順序]]に関して<div style="margin:1ex auto 1ex 2em;"><math>
 v(p) = \min\{(j_1,\ldots,j_n)\mid a_{j_1\ldots j_n}\ne 0 \}\in\mathbb{Z}^n
</math></div>とするとき、''K'' 上の ''n''-変数有理関数体 ''K''(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) の 0 でない元 <div style="margin:1ex auto 1ex 2em;"><math>
 f(x_1,\ldots, x_n) = \frac{g(x_1,\ldots, x_n)}{h(x_1,\ldots, x_n)}\quad (g(x_1,\ldots, x_n),\, h(x_1,\ldots, x_n)\in K[x_1,\ldots, x_n])
</math></div>に対し、''v''(''f'') = ''v''(''g'') &minus; ''v''(''h'') と定義すると、''v'' は ''K''(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) の加法付値となる。
# 体''K'' に対して、体 ''L'' を<div style="margin:1ex auto 1ex 2em;"><math>
 L = \bigcup_{n\ge 1}K(x_1,\ldots,x_n)
</math></div> とし、一つ上で挙げた加法付値を ''v''<sub>''n''</sub> としたとき、0 でない ''L'' の元 ''f'' に対して<div style="margin:1ex auto 1ex 2em;"><math>
 v(f) = (j_1,\ldots,j_n,0,0,\ldots)\in\mathbb{Z}^{\mathbb{N}}\quad (f\in K(x_1,\ldots,x_n),\ v_n(f) = (j_1,\ldots,j_n))
</math></div> と定めれば、''v'' は ''L'' の加法付値となる。

=== 性質 ===
環 ''R'' 上の加法付値 ''v'' に対して、以下が成立する。
* ''R'' が体であるならば、''v''(''x'') = &infin; である必要十分条件は ''x'' = 0 である。
* 任意の ''R'' の元 ''x'', ''y'' に対して、''v''(''xy'') = ''v''(''yx'') である。
* 任意の ''R'' の元 ''a'' に対し、''v''(&minus;''a'') = ''v''(''a'') である。
* 逆元をもつ ''R'' の元 ''a'' に対し、''v''(''a''<sup>&minus;1</sup>) = &minus;''v''(''a'') である。 
* ''v''(''x'') &ne; ''v''(''y'') である ''R'' の元 ''x'', ''y'' に対して、''v''(''x'' + ''y'') = min(''v''(''x''), ''v''(''y'')) が成り立つ。
* ''x''<sub>1</sub> + &hellip; + ''x''<sub>''n''</sub> = 0 である ''R'' の元 ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub> に対して、''v''(''x''<sub>''i''</sub>) = ''v''(''x''<sub>''j''</sub>) を満たす ''i'', ''j'' (''i'' &ne; ''j'') が存在する。

=== 付値環 ===
体 ''K'' の加法付値 ''v'' に対して、''R''<sub>''v''</sub> = {''a'' &isin; ''K'' | ''v''(''a'') &ge; 0} は賦値 ''v'' に対する'''付値環'''と呼ばれる環を成す。このとき、<math style="vertical-align:-24%;">\mathfrak{m}_v = \{a\in K \mid v(a) > 0 \}</math> は、''R''<sub>''v''</sub> のイデアルであり、賦値 ''v'' に対する'''付値イデアル'''と呼ばれる。<ref>一般に 1 を含む任意の環 ''R'' の加法付値に対して、''R''<sub>''v''</sub>, <math style="vertical-align:-22%;">\mathfrak{m}_v</math> が定義され、それぞれ ''R'' の部分環、''R''<sub>''v''</sub> のイデアルとなるが、''R'' が体以外の場合、一般には付値環の持つ多くの性質を有しないので、付値環を体上の加法付値の下で定義する。</ref>
付値イデアルは付値環に含まれる唯一の[[極大イデアル]]であるので、<math style="vertical-align:-24%;">R_v/\mathfrak{m}_v</math> は体となる。この体のことを ''v'' に関する'''[[剰余体]]'''または'''剰余類体'''という。さらに、{''a'' &isin; ''K'' | ''v''(''a'') = 0} は乗法群となり、これを賦値環の'''単数群'''という。

==== 付値環の性質 ====
# 付値環は[[局所環]]である。
# 付値環は[[整閉]]である。
# 体 ''K'' の付値環の[[商体]]は ''K'' である。
# 付値環上の有限生成の[[イデアル]]は[[イデアル|単項イデアル]]である。
# 体 ''K'' の 0 でない元 ''a'' に対し、''a'' または ''a''<sup>&minus;1</sup> は付値環の元となる。
# 付値環のイデアル全体からなる集合は、包含関係で全順序集合となる。つまり、<math style="vertical-align:-18%;">\mathfrak{a},\,\mathfrak{b}</math> を付値環のイデアルとしたとき、<math style="vertical-align:-5%;">\mathfrak{a}\sub\mathfrak{b}</math> または <math style="vertical-align:-5%;">\mathfrak{b}\sub\mathfrak{a}</math> が成立する。
# ''R'' を体 ''K'' の部分環とし、''R'' の[[素イデアル]]を <math>\mathfrak{p}</math> とすれば、''K'' の加法付値 ''v'' が存在して、''R'' &sub; ''R''<sub>''v''</sub> および <math style="vertical-align:-22%;">\mathfrak{m}_v\cap R = \mathfrak{p}</math> が成立する。
# ''R'' を体 ''K'' の[[環_(数学)#部分環|部分環]]とし、''S'' を ''R'' の ''K'' における[[整閉包]]とすれば、<math style="vertical-align:-23%;">\textstyle R = \bigcap_{v}R_v</math> と表せる。ただし、''v'' は付値環が ''S'' を含む様な加法付値全てを動くものとする。

上の性質の 4, 5, 6 は、環が付値環となる条件を与えている。つまり、商体が ''K'' となる、''K'' の部分環 ''R'' が下記のいずれかが(したがってすべてが)満たされるとき、''K'' の加法付値が存在して、''R'' はその加法付値で付値環となる。
* ''R'' は局所環であり、''R'' 上の有限生成のイデアルは単項イデアルである。
* 0 でない ''K'' の任意の元 ''a'' に対して、''a'' または <math>a^{-1}</math> が ''R'' の元となる。
* ''R'' のイデアル全体からなる集合は、包含関係で全順序集合となる。

このことより、付値環を付値を用いずに定義することができる。

=== 階数 ===
加法付値 ''v'' の付値環の[[ネーター環#次元| Krull-次元]]を ''v'' の'''階数'''という。
つまり、加法付値 ''v'' の付値環 ''R''<sub>''v''</sub> 上の素イデアル <math>\mathfrak{p}_1,\ldots,\ \mathfrak{p}_n</math> が存在して
: <math>R_v\supsetneq\mathfrak{p}_1\supsetneq\cdots\supsetneq\mathfrak{p}_n\supsetneq (0) </math>
が成立するような ''n'' の最大値を階数という。階数は必ずしも有限とは限らない。例えば、先に挙げた[[付値#例|加法付値の例]]9. の階数は &infin; である。また、任意の正整数 ''n'' に対して、例8. の階数は ''n'' であり、自明な加法付値は 0 である。

自明ではない加法付値の階数は 1 以上であり、特に指数付値の階数は 1 である。より一般に、値群が実数の 0 ではない加法部分群と順序同型であるならば、階数は 1 であり、逆に階数が 1 である加法付値の値群は実数の加法部分群と順序同型である。

体 ''K'' の加法付値 ''v'' の階数は次の様に言い換えることができる。
* 階数とは、''v'' の付値環を含む ''K'' と異なる ''K'' の部分環の個数である。
* 階数とは、''v'' の値群を ''G'' とし、''G'' の部分群 ''H'' で<div style="margin: 1ex auto 1ex 2em">0 &le; ''y'' &le; ''x'' を満たす ''G'' の元 ''x'', ''y'' に対し、''x'' が ''H'' の元であれば、''y'' も ''H'' の元である</div>という条件を満たすもの<ref>一般に、順序群 ''G'' に対して、この様な性質を満たす部分群を'''孤立部分群'''という</ref>の個数である。

=== 離散付値 ===
体 ''K'' の加法付値 ''v'' の値群 ''v''(''K''<sup>&times;</sup>) が、辞書式順序で '''Z'''<sup>''n''</sup><ref>この ''n'' は加法付値の階数に等しい。</ref>と順序同型であるとき'''離散的'''であるといい、この様な加法付値を'''離散的加法付値'''または'''離散的一般付値'''という。
特に、上記 ''n'' が 1 である離散的加法付値のことを'''離散付値'''という。<ref>文献によっては、値群が '''Z''' の部分群となるとき離散付値という場合がある。</ref>
さらに、値群が '''Z''' となる離散付値を'''正規離散付値'''または'''正規指数付値'''という。 

例えば、先に挙げた加法付値の例の 2., 3., 4., 5., 6. は正規離散付値であり、''n'' &ge; 2 に対して、例8. は離散付値ではない離散的加法付値である。例7. の様に離散付値にならない加法付値も存在する。

体 ''K'' の正規離散付値 ''v'' に対して、''v''(&pi;) = 1 を満たす ''K'' の元 &pi; を ''v'' の '''素元'''という。すると、''K''<sup>&times;</sup> の元 &alpha; は、素元と ''K'' の[[単元 (代数学)|単元]]を用いて、&alpha; = &epsilon;&pi;<sup>''n''</sup> と一意的に表現される。たし、&epsilon; は ''K'' の単元であり、''n'' は整数である。

離散付値 ''v'' に関して、以下のことが成り立つ。ただし、付値イデアルを <math>\mathfrak{m}</math> とする。
* 付値環は[[ネーター環]]である。<ref>離散付値ではない加法付値に対する付値環は、ネーター環にはならない。</ref>
* 任意の付値環のイデアル <math style="vertical-align:-24%">\mathfrak{a} \ne 0</math> に対して、ある非負整数 ''n'' が存在して、<math style="vertical-align:-4%;">\mathfrak{a}=\mathfrak{m}^n</math> と表される。つまり、付値環は単項イデアル環である。
特に、''v'' が正規離散付値であるならば、0 ではないイデアルは、''n'' &ge; 0 に対して {''x'' &isin; ''K'' | ''v''(''x'') &ge; ''n''} のかたちに表される。
* <math>\textstyle\bigcap_{n=1}^{\infty}\mathfrak{m}^n = (0)</math> が成立する。
* 任意の付値環の元 ''a'' と 0 でない ''K'' の元 ''b'' に対して、ある正整数 ''n'' が存在して、''nv''(''a'') &ge; ''v''(''b'') が成立する。

=== 付値の合成 ===
体 ''K'' の加法付値 ''v'' に対して、''v'' の剰余体 <math style="vertical-align: -25%">R_v/\mathfrak{m}_v</math> の加法付値を ''v''&prime; とする。このとき
: <math>R'' = \{a\in R_v\mid a\ \bmod\ \mathfrak{m}_v\in R_{v'}\}</math>
は、''K'' の付値環となる。そこで、''K'' の加法付値 ''v''&prime;&prime; を ''R''<sub>''v''&prime;&prime;</sub> = ''R''&prime;&prime; を満たす様に取ったとき、''v''&prime;&prime; を ''v'' と ''v''&prime; との'''合成'''という。(''v''&prime;&prime; の階数) = (''v'' の階数) + (''v''&prime; の階数) が成り立つ。

加法付値の合成を用いて、体 ''K'' の加法付値を ''w''、''K'' の拡大体を ''L'' とし、 ''L'' の加法付値 ''v'' を、剰余体が ''K'' と同型になるようにとれば、''L'' の加法付値 ''v''&prime; として
: <math>v'(a) = \begin{cases} w(a)& (a\in K)\\ v(a)& (a\in L\setminus K)\end{cases}</math>
が成り立つものを得ることができる。

== 乗法付値 ==
体 ''K'' に対して、以下の3条件を満たす &#x007c;&bull;&#x007c;: ''K'' &rarr; '''R'''
を、'''乗法付値'''という。<ref>乗法付値のことを単に付値という場合がある。また、加法付値のことを付値、乗法付値のことを絶対値と言う場合もある。</ref>
# ''K'' の任意の元 ''x'' に対して |''x''| &ge; 0 であり、|''x''| = 0 であるための必要十分条件は ''x'' = 0 である。 
# ''K'' の任意の元 ''x'', ''y'' に対して、|''xy''| = |''x''||''y''| が成り立つ。 
# ある正数 ''c'' が存在して、''K'' の任意の元 ''x'', ''y'' に対して、|''x'' + ''y''| &le; ''c''&thinsp;max(|''x''|, |''y''|) が成り立つ。 

上記条件3 の代わりに、下記の条件
* ''K'' の任意の元 ''x'', ''y'' に対して、|''x'' + ''y''| &le; |''x''| + |''y''| が成立する。 
を満たすものも（このとき ''c'' = 2 とおけば条件3 を満たすので）乗法付値となるが、これを'''三角不等式を満たす乗法付値'''という。 

=== 乗法付値の例 ===
# 体 ''K'' に対して<div style="margin: 1ex auto 1ex 2em"><math>
 |a|_0 = \begin{cases} 1 & (a\in K^{\times})\\ 0 & (a=0)\end{cases}
</math></div>と定めれば、乗法付値となる。これを'''自明な付値'''という。つまり、任意の体 ''K'' に対して、乗法付値はひとつ以上存在する。
# 実数体または複素数体上の[[絶対値]]は乗法付値である。絶対値のことを他の乗法付値と区別するために |&bull;|<sub>&infin;</sub> と書かれることもある。 
# 素数 ''p'' と 0 ではない有理数 <div style="margin: 1ex auto 1ex 2em"><math>a = {p^e b\over p^f c} \quad (e\ge 0,\ f\ge 0,\ (b, c) = 1,\ (bc,\ p) = 1)</math></div> に対して、|''a''|<sub>''p''</sub> = ''p''<sup>''f''&minus;''e''</sup> で与えられる |&bull;|<sub>''p''</sub>: '''Q''' &rarr; '''R''' は、有理数体上の乗法付値となる。これを'''[[p進付値| ''p''-進付値]]'''という。これは上記の ''p''-進加法付値を使って、|''a''|<sub>''p''</sub> = ''p''<sup>&minus; ''v''( ''a'')</sup> とあらわすことができる。
# より一般に、上記の<math>\mathfrak{p}</math>-進加法付値 ''v'' に対して、|''a''|<sub><math>\mathfrak{p}</math></sub> = ''N''<math>\mathfrak{p}</math> <sup>&minus; ''v'' ( ''a'' )</sup> で与えられる|&bull;|<sub><math>\mathfrak{p}</math></sub>: '''K''' &rarr; '''R''' は、代数体 '''K''' 上の乗法付値となる。ここで ''N''<math>\mathfrak{p}</math> は素イデアル <math>\mathfrak{p}</math> の[[ノルム]]である。これを'''[[p進付値| <math>\mathfrak{p}</math>-進付値]]'''という。


=== 乗法付値の性質 ===
体 ''K'' 上の乗法付値 |&bull;| に対して、以下が成立する。
* |1| = 1 である。
* 任意の ''K'' の元 ''a'' に対し、|&minus;''a''| = |''a''| である。
* 0 でない任意の ''K'' の元 ''a'' に対し、|''a''<sup>&minus;1</sup>| = |''a''|<sup>&minus;1</sup> である。
* ''K'' の元 ''a'' を |''a''| &le; 1 となる様にとれば、|1 + ''a''| &le; ''c'' である。<ref>このことは乗法付値の条件3 と同値である。</ref>
* 離散付値ではない乗法付値

=== アルキメデス付値 ===
乗法付値の定義において、条件3 の定数 ''c'' は、常に ''c'' &ge; 1 であるが、''c'' = 1 と選ぶことができるとき、'''非アルキメデス付値'''または'''非アルキメデス的付値'''という。非アルキメデス付値でない乗法付値のことを'''アルキメデス付値'''または'''アルキメデス的付値'''という。

自明な付値や、任意の素数 ''p'' に対する有理数体上の ''p''-進付値は非アルキメデス付値である。
また、実数体または複素数体上の絶対値はアルキメデス付値である。

任意の非アルキメデス付値 |&bull;| は、任意の正整数 ''n'' に対して、|''n''&thinsp;1| &le; 1 を満たす。逆に、任意の正整数 ''n'' に対して、|''n''&thinsp;1| &le; ''c'' となる ''n'' に無関係な定数 ''c'' が存在する乗法付値は非アルキメデス付値である。

このことから、アルキメデス付値を持つ体の[[標数]]は 0 である。従って、[[有限体]]の乗法付値は全て非アルキメデス付値である。より正確には、有限体の乗法付値は自明な付値だけである。

しかし、標数が 0 であっても、アルキメデス付値を持たない場合がある。体の（集合論的）[[濃度 (数学)|濃度]]が[[連続体濃度]]よりも真に大きい体は、アルキメデス付値を持たない。このことは次の定理からの帰結である。

; オストロフスキーの定理:
: 必ずしも可換とは限らない体 ''K'' がアルキメデス付値 |&bull;| を持つとする。このとき、''K'' から複素数体（''K'' が可換体であるとき）または四元数体（''K'' が斜体のとき）の中への同型写像 &phi; と正数 &rho; が存在して、<div style="margin: 1ex auto 1ex 2em;"><math>
 |\alpha| = |\varphi(\alpha)|_{\infty}^{\rho}\quad (\alpha\in K)
</math></div>が成立する。ここで |&bull;|<sub>&infin;</sub> は複素数体または四元数体の絶対値である。従って、四元数体の部分体と同型な体はアルキメデス付値を持つ。

=== 非アルキメデス付値と指数付値 ===
''q'' &gt; 1 を１つ取り固定する。|&bull;| を体 ''K'' の非アルキメデス付値としたとき ''v'': ''K'' &rarr; '''R''' &cup; {&infin;} を
: <math> v(x) = \begin{cases} -\log_q |x| &(x\ne 0)\\ \infty & (x=0)\end{cases}</math>
で定めると、''v'' は ''K'' の指数付値となる。

逆に、''K'' の指数付値 ''v'' に対して |&bull;|<sub>''v''</sub>: ''K'' &rarr; '''R''' を
: <math> |x|_v = \begin{cases}q^{-v(x)} & (x\ne 0)\\ 0 & (x=0)\end{cases}</math>
で定めると、|&bull;|<sub>''v''</sub> は ''K'' の非アルキメデス付値となる。

従って ''q'' を固定するとき、非アルキメデス付値と指数付値の間には一対一の対応を付けることができる。しかし、アルキメデス付値に対しては、上の様に ''v'' を定義しても加法付値にはならない。

さらに、上で定義された非アルキメデス付値 |&bull;| に対する加法付値 ''v'' に対して、''v'' の付値環、付値イデアルを ''R''<sub>''v''</sub>, <math style="vertical-align: -20%">\mathfrak{m}_v</math> とし、
: <math>
 R_{|\bullet|} = \{ \alpha\in K \mid |\alpha| \le 1 \},\quad 
 \mathfrak{m}_{|\bullet|} = \{ \alpha\in K \mid |\alpha| < 1 \}
</math>
とおくと、''R''<sub>''v''</sub> = ''R''<sub>|&bull;|</sub>, <math style="vertical-align: -25%">\mathfrak{m}_v = \mathfrak{m}_{|\bullet|}</math> が成り立ち、''R''<sub>|&bull;|</sub>, <math style="vertical-align: -25%">\mathfrak{m}_{|\bullet|}</math> はそれぞれ ''K'' の部分環、''R''<sub>|&bull;|</sub> のイデアルになる。このとき、''R''<sub>|&bull;|</sub>, <math style="vertical-align: -27%">\mathfrak{m}_{|\bullet|},\, R_{|\bullet|}/\mathfrak{m}_{|\bullet|}</math> を非アルキメデス付値 |&bull;| に対する'''付値環'''、'''付値イデアル'''、'''剰余体'''という。

この様に得られた付値環、付値イデアルに対しても、先に挙げた加法付値に対する付値環、付値イデアルと同じ性質が成り立つ。

また、''v'' が離散付値であるとき、|&bull;| を'''離散付値'''という。このとき、うまく ''q'' を選べば ''v'' は正規離散付値となるので、''v''(&pi;) = 1 となる ''K'' の元 &pi; が存在する。この &pi; のことを |&bull;| に関する'''素元'''という。

なお、アルキメデス付値に対しては、非アルキメデス付値と同様にして ''R''<sub>|&bull;|</sub>, <math style="vertical-align: -25%">\mathfrak{m}_{|\bullet|}</math> を定義することができるが、''R''<sub>|&bull;|</sub> は ''K'' の部分環にはならず、<math style="vertical-align: -25%">\mathfrak{m}_{|\bullet|}</math> もイデアルにはならない。<ref>アルキメデス付値 |&bull;| および ''r'' &ge; 0 に対して、''R''<sub>''r''</sub> = {&alpha; &isin; ''K'' | |&alpha;| &le; ''r''} とおくと、''R''<sub>''r''</sub> が環になるのは、''R''<sub>''r''</sub> = {0} の場合に限る。</ref>

しかし、{''x'' &isin; ''K'' | |''x''| = 1} はアルキメデス付値、非アルキメデス付値に関わらず乗法群となる。これを乗法付値 |&bull;| に対する'''単数群'''という。

== 付値の同値性 ==
体 ''K'' 上の２つの加法付値 ''v'', ''v''&prime; に対して両者の付値環が等しいとき、すなわち
: <math>v(a)\ge 0 \iff v'(a)\ge 0</math>
が全ての ''K'' の元 ''a'' に対して成り立つとき ''v'' と ''v''&prime; は'''同値'''であるという。

また、乗法付値 ''v'', ''v''&prime; が同値であるとは、正数 ''r'' &gt; 0 が存在して、''K'' の任意の元 ''a'' に対して
: <math>v(a) = v'(a)^r</math>
が成り立つときにいう。これは
: <math> v(a) < 1 \iff v'(a) < 1</math>
が任意の ''K'' の元 ''a'' に対して成り立つときと言い換えることもできる。従って、''v'', ''v''&prime; が非アルキメデス付値であるならば、両者の付値環は一致する。

付値の同値について、以下のことが成立する。

* 付値の同値は、加法付値もしくは乗法付値の[[同値関係]]となる。
* 自明な（加法）付値は、自明ではない（加法）付値とは同値にはならない。
* 任意の乗法付値は、三角不等式 |''x'' + ''y''| &le; |''x''| + |''y''| を満たす乗法付値 |&bull;| に同値である。
* ２つの乗法付値が同値であれば、共にアルキメデス付値であるか、もしくは共に非アルキメデス付値であるかのどちらか一方が成立する

; オストロフスキーの定理: 有理数体上の乗法付値は、以下のいずれかと同値である。
:* 自明な付値
:* 素数 ''p'' に対する ''p''-進付値
:* 絶対値

== 付値の延長 ==
体 ''L'' の部分体と同型となる体を ''K'' とする。''K'' の付値<ref>単に「付値」といった場合、加法付値か乗法付値かは問わないものとする。</ref> ''v''<sub>''K''</sub> に対して、''L'' の付値 ''v''<sub>''L''</sub> が存在して
: <math>v_K(a) = v_L(a)\quad (\forall a\in K)</math>
を満たすとき、賦値 ''v''<sub>''L''</sub> は賦値 ''v''<sub>''K''</sub> の ''L'' への'''延長'''または'''拡張'''であるといい、''v''<sub>''K''</sub> は ''v''<sub>''L''</sub> の ''K'' への'''縮小'''または'''制限'''であるという。

付値の延長の存在性について、加法付値に対しては、体 ''K'' の任意の拡大体 ''L'' と ''K'' の加法付値 ''v'' に対して、''v'' の ''L'' への延長となる、階数が ''v'' の階数と等しい付値 ''v''<sub>''L''</sub> が存在する。
また、乗法付値に関しては、非アルキメデス付値は（階数が 1 以下の加法付値である）指数付値と一対一の対応が付けられるので、上記のことから、任意の拡大体に対して与えられた非アルキメデス付値の（非アルキメデス付値である）延長が存在する。
アルキメデス付値に関しては、任意の代数拡大体に対して、与えられたアルキメデス付値の（アルキメデス付値である）延長が存在するが、非アルキメデス付値の場合と異なり、代数拡大ではない拡大体に対して与えられたアルキメデス付値の延長が存在するとは限らない。

例えば、複素数体上の絶対値を、複素数体上の 1-変数有理関数体 '''C'''(''t'') に延長することはできない<ref>しかしながら、'''C'''(''t'') にはアルキメデス付値が存在する。</ref>。しかし、有理数体上の絶対値は実数体上に延長できるので、代数拡大以外の拡大体への延長が全く存在しないというわけではない。

体 ''L'' の付値 ''v'' の部分体 ''K'' への縮小で得られる付値 ''v''<sub>''K''</sub> は、''v'' に対して一意的に決まるが、付値 ''v''<sub>''K''</sub> の ''L'' への延長で得られる付値は ''v'' だけとは限らない。''L'' が ''K'' の有限次拡大体であるとき、最大 &#x005b;''L'' : ''K''&#x005d; 個の互いに同値ではない ''v''<sub>''K''</sub> の延長となる付値が存在する。より正確には次が成立する。

体 ''K'' に対する加法付値を ''v'' とする。''L'' を ''K'' の有限次代数拡大体とし、''w''<sub>1</sub>, ... , ''w''<sub>''n''</sub> を ''v'' の ''L'' への互いに同値ではない延長全体とする。''v'', ''w''<sub>''i''</sub> それぞれの剰余体、値群をそれぞれ ''F'', ''F''<sub>''i''</sub>, ''G'', ''G''<sub>''i''</sub> とし、''e''<sub>''i''</sub> = #(''G''<sub>''i''</sub>/''G''), ''f''<sub>''i''</sub> = &#x005b;''F''<sub>''i''</sub>  : ''F''&#x005d; とおくと、
: <math>\sum_{i=1}^n e_if_i \le [L:K]</math>
が成立する。 なお上式において、例えば ''v'' が離散付値であり ''L'' が ''K'' 上分離拡大であるならば、等号が成立する。

この定理に現れる ''e''<sub>''i''</sub>, ''f''<sub>''i''</sub> を ''w''<sub>''i''</sub> の ''v'' に対する'''分岐指数'''、'''剰余次数'''（または'''相対次数'''）という。

ある ''i'' に対して ''e''<sub>''i''</sub> = 1 となるとき、''w''<sub>''i''</sub> は'''不分岐'''であるといい、''e''<sub>''i''</sub> &gt; 1 であるとき'''分岐する'''という。さらに ''f''<sub>''i''</sub> = 1 となるとき、''w''<sub>''i''</sub> は'''完全分岐'''であるという。
特に ''g'' = 1 つまり、''v'' の延長が同値なものを除いて ''w'' しか存在しないとき、''w'' の ''v'' に対する分岐指数 ''e'' および剰余次数 ''f'' を、''L'' の ''K'' に対する'''分岐指数'''および'''剰余次数'''（または'''相対次数'''）という。さらに ''L'' の剰余体が ''K'' の剰余体の分離拡大であるとき、''e'' = 1, ''f'' = &#x005b;''L'' : ''K''&#x005d; であるならば拡大 ''L''/''K'' は'''不分岐'''、''e'' = &#x005b;''L'' : ''K''&#x005d;, ''f'' = 1 であるならば拡大 ''L''/''K'' は'''完全分岐'''であるという。

== 近似定理 ==
どのふたつも互いに同値ではない、体 ''K'' の非自明な乗法付値 |&bull;|<sub>1</sub>, ... , |&bull;|<sub>''n''</sub><ref>添字の 1, ... , ''n'' は単に区別のためのものであり、''p''-進付値を指しているわけではない。後述の独立性定理、積公式も同じ。</ref> に対し、''K'' の任意の元 ''a''<sub>1</sub>, ... , ''a''<sub>''n''</sub> と正数 &epsilon;<sub>1</sub>, ... , &epsilon;<sub>''n''</sub> に対して、''K'' の元 ''b'' が存在して
: <math> |b-a_i|_i < \varepsilon_i</math>
が全ての ''i'' に対して成立する。これを乗法付値に対する'''近似定理'''という。

上記の乗法付値の組を相異なる素数 ''p'' からなる ''p''-進付値とすれば、この定理は、[[中国の剰余定理|中国剰余定理]]を表している。

== 独立性定理 ==
どのふたつも互いに同値ではない、体 ''K'' の非自明な乗法賦値 |&bull;|<sub>1</sub>, ... , |&bull;|<sub>''n''</sub> にたいし、実数 ''c''<sub>1</sub>, ... ,''c''<sub>''n''</sub> が存在して、''K'' の 0 でない任意の元 ''a'' に対し
: <math>\prod_{i=1}^n|a|_i^{c_i} = 1</math>
が成立するならば、''c''<sub>1</sub> = &hellip; = ''c''<sub>''n''</sub> = 0 である。これを乗法付値に対する'''独立性定理'''という。

== 積公式 ==
{{main|積公式}}
''V'' を体 ''K'' の自明な付値以外の互いに同値ではない乗法付値からなる集合とする。上述の独立性定理により、''V'' が有限集合であれば、
: <math>\prod_{|\bullet|\in V}|a| \ne 1</math>
となる ''K'' の元 ''a'' が必ず存在する。そこで、''V'' を無限集合とし、''K'' の元 ''a'' ごとに、積をとる乗法付値を ''V'' からうまく選ぶことにすれば
: <math>\prod_{|\bullet|_i\in V\atop i=1,\ldots,n} |a|_i = 1</math>
が 0 でない全ての元 ''a'' に対して成り立つ様にできる可能性がある。もし、この様なことができる場合、''K'' と ''V'' に対して、'''[[積公式]]'''が成り立つという。

例えば ''K'' を有理数体とし、''V'' を全ての素数に対する ''p''-進付値と、絶対値からなる集合とすれば、積公式が成り立つ。

== 素点 ==
体 ''K'' の自明ではない乗法付値全体の集合を付値の同値で類別した[[集合]]を ''V'' としたとき、''V'' の元を ''K'' の'''素点'''もしくは'''素因子'''という。素点の元にアルキメデス付値が含まれている場合、その素点に含まれている乗法付値はすべてアルキメデス付値であり、その様な素点を'''無限素点'''もしくは'''無限素因子'''という。
[[オストロフスキーの定理]]より、アルキメデス付値を持つ体は実数体もしくは複素数体に埋め込まれ、どちらの体に埋め込まれるかはアルキメデス付値によって決まる。このことから無限素点の代表元が実数体の中への同型写像によって得られるとき、この無限素点を'''実無限素点'''もしくは'''実無限素因子'''といい、実数体ではなく、複素数体の中への同型写像によって得られるとき、'''複素無限素点'''もしくは'''複素無限素因子'''という。実無限素点となるか複素無限素点となるかは、無限素点の代表元によらない。
また、素点が非アルキメデス付値を含む場合、その素点に含まれている乗法付値はすべて非アルキメデス付値であり、その様な素点を'''有限素点'''もしくは'''有限素因子'''という。
素点の例としては、例えば[[代数体#素点|代数体の素点]]を参照のこと。

体 ''K'' の拡大体を ''L'' とする。''K'' の素点 <math>\mathfrak{p}</math> に含まれる付値 ''v'' に対して、''v'' の ''L'' への延長が存在し、そのうちの１つを ''w''とし、''w'' を含む ''L'' の素点を <math>\mathfrak{P}</math> とすれば、素点 <math>\mathfrak{P}</math> を素点 <math>\mathfrak{p}</math> の ''L'' への'''延長'''といい、<math>\mathfrak{p}</math> を <math>\mathfrak{P}</math> の'''縮小'''という。

任意の体および素点に対して、部分体への素点の縮小は必ず存在して、素点の代表元によらず一意的に決まるが、素点の延長に対しては存在したとしても一般的には複数存在する。しかし、ある素点に対する素点の延長の集合は、元の素点の代表元によらず一意的に決まる。

== 注釈 ==
<references />

== 参考文献 ==
* {{Cite book|和書|author=ニコラ・ブルバキ|authorlink=ニコラ・ブルバキ|translator=[[中沢英昭]]|year=1971|title=ブルバキ数学原論 可換代数3|publisher=[[東京図書]]|location=東京}}
* {{Cite book|和書|author=藤崎源二郎|authorlink=藤崎源二郎|year=1991|title=体とガロア理論|publisher=[[岩波書店]]|location=東京|series=岩波基礎数学選書}}
* {{Cite book|和書|author=松村英之|authorlink=松村英之|year=1980|title=可換環論|publisher=[[共立出版]]|location=東京}}
* {{Cite book|和書|author=永田雅宜|authorlink=永田雅宜|year=1985|title=可換環論|publisher=[[紀伊國屋書店]]|location=東京}}
* {{Cite book|和書|author=永田雅宜|year=1985|title=可換体論（新版）|publisher=[[裳華房]]|location=東京}}
* {{cite book|和書|author=斎藤秀司|authorlink=斎藤秀司|title=整数論|series=共立講座21世紀の数学(20)|publisher=[[共立出版]]|year=1997|isbn=978-4320015722}}
* {{cite book|和書|author=ユルゲン・ノイキルヒ|authorlink=ユルゲン・ノイキルヒ|others=梅垣敦紀訳、足立恒雄監修|title=代数的整数論|publisher=[[シュプリンガーフェアラーク東京]]|year=2003|978-4431709015}}

== 関連項目 ==
*[[絶対値]]
*[[ノルム]]
*[[付値体]]
*[[代数的整数論]]

{{DEFAULTSORT:ふち}}
[[Category:体論]]
[[Category:抽象代数学]]
[[Category:数学に関する記事]]