付値

**付値**（ふち、、賦値、附値とも）とは、単位元 1 を持つ環 *R* と *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* に対して
* a 
* a + \infty = \infty,
* \infty + \infty = \infty
を満たすものとする。上記定義を満たす付値のことを *R* の **加法付値**または**一般付値**ともいう。さらに *G* が実数体の加法部分群であるとき**指数付値**という。

特に *R* が体であるとき、 v(R\smallsetminus\{0\}) は *G* の加法部分群となり、これを *v* の**値群**という。

## 加法付値
### 例
# 1 を含む環 *R* に対して、\mathfrak{p} を 1 を含まない *R* の素イデアルとする。*R* の元 *a* に対して
 v(a) = \begin{cases} 
 0 & (a\notin\mathfrak{p})\\ 
 \infty & (a\in\mathfrak{p})
\end{cases}と定めれば、*R* の加法付値となる。従って、1 を含む任意の環に対して、加法付値が一つ以上存在する。
# 体 *K* に対して、上記の例を適用することにより 
 v(a) = \begin{cases} 
 0 & (a\in K^{\times})\\
 \infty & (a=0)
\end{cases}は *K* の加法付値となる。これを *K* の**自明な加法付値**という。
# 素数 *p* と 0 ではない有理数 *a* に対して、
 a = \frac{p^e b}{p^f c} \quad (e\ge 0,\, f\ge 0,\, (b, c) = 1,\, (bc,\ p) = 1)と表したとき、 
 v(a) = \begin{cases} 
 e-f & (a\in K^{\times})\\
 \infty & (a=0)
\end{cases}で定義すると、*v* は有理数体の加法付値となる。これを **''p''-進加法付値**という。
# より一般に、\mathfrak{p} を代数体 *K* の素イデアルとする。*K* の 0 でない元 &alpha; は (\alpha) = \mathfrak{p}^{\mu}\mathfrak{b}  （\mathfrak{b} は \mathfrak{p} と互いに素な分数イデアル、&mu; は有理整数）の形に一意的に表せるが、このとき 
 v(a) = \begin{cases} 
 \mu & (a\in K^{\times})\\
 \infty & (a=0)\end{cases}と定めると、*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*) に対して
 f(x) = {g(x)\over h(x)}\quad (g(x),\, h(x)\in K[x])
と表したとき、*v*(*f*) = deg&thinsp;*h* &minus; deg&thinsp;*g* と定義すると、*v* は *K*(*x*) の加法付値となる。
# &alpha; を無理数とし、体 *K* 係数の 0 でない多項式
 p(x, y) = \sum_{j=0}^m a_jx^j y^{m-j}\quad (a_j\in K,\ m\ge 0)
 に対して、*v*(*p*) = min{*j* + (*m* &minus; *j*)&alpha; | *a**j* &ne; 0, 0 &le; *j* &le; *m*} とし、*K* 上の 2-変数有理関数体 *K*(*x*, *y*) の 0 でない元 *f*(*x*, *y*) に対して
 f(x, y) = {g(x, y)\over h(x, y)}\quad (g(x, y),\ h(x, y)\in K[x, y])
と表したとき、*v*(*f*) = *v*(*g*) &minus; *v*(*h*) と定義すると、*v* は *K*(*x*, *y*) の加法付値となる。
# 体 *K* の 0 でない *n*-変数多項式
 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)
に対して、**Z***n* の辞書式順序に関して
 v(p) = \min\{(j_1,\ldots,j_n)\mid a_{j_1\ldots j_n}\ne 0 \}\in\mathbb{Z}^n
とするとき、*K* 上の *n*-変数有理関数体 *K*(*x*1, ..., *x**n*) の 0 でない元 
 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])
に対し、*v*(*f*) = *v*(*g*) &minus; *v*(*h*) と定義すると、*v* は *K*(*x*1, ..., *x**n*) の加法付値となる。
# 体*K* に対して、体 *L* を
 L = \bigcup_{n\ge 1}K(x_1,\ldots,x_n)
 とし、一つ上で挙げた加法付値を *v**n* としたとき、0 でない *L* の元 *f* に対して
 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))
 と定めれば、*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*&minus;1) = &minus;*v*(*a*) である。 
* *v*(*x*) &ne; *v*(*y*) である *R* の元 *x*, *y* に対して、*v*(*x* + *y*) = min(*v*(*x*), *v*(*y*)) が成り立つ。
* *x*1 + &hellip; + *x**n* = 0 である *R* の元 *x*1, ..., *x**n* に対して、*v*(*x**i*) = *v*(*x**j*) を満たす *i*, *j* (*i* &ne; *j*) が存在する。

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

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

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

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

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

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

体 *K* の加法付値 *v* の階数は次の様に言い換えることができる。
* 階数とは、*v* の付値環を含む *K* と異なる *K* の部分環の個数である。
* 階数とは、*v* の値群を *G* とし、*G* の部分群 *H* で0 &le; *y* &le; *x* を満たす *G* の元 *x*, *y* に対し、*x* が *H* の元であれば、*y* も *H* の元であるという条件を満たすものの個数である。

### 離散付値
体 *K* の加法付値 *v* の値群 *v*(*K*&times;) が、辞書式順序で **Z***n*と順序同型であるとき**離散的**であるといい、この様な加法付値を**離散的加法付値**または**離散的一般付値**という。
特に、上記 *n* が 1 である離散的加法付値のことを**離散付値**という。
さらに、値群が **Z** となる離散付値を**正規離散付値**または**正規指数付値**という。 

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

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

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

### 付値の合成
体 *K* の加法付値 *v* に対して、*v* の剰余体 R_v/\mathfrak{m}_v の加法付値を *v*&prime; とする。このとき
: 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**
を、**乗法付値**という。
# ''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''-進加法付値を使って、|''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> の[[ノルム]]である。これを**<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'' である。
* 離散付値ではない乗法付値

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

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

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

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

しかし、{''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'' の付値 ''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'') に延長することはできない。しかし、有理数体上の絶対値は実数体上に延長できるので、代数拡大以外の拡大体への延長が全く存在しないというわけではない。

体 ''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> に対し、''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 である。これを乗法付値に対する**独立性定理**という。

== 積公式 ==

''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> の**縮小'''という。

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

## 注釈


## 参考文献
* 
* 
* 
* 
* 
* 
* 

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