非アルキメデス付値と指数付値とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 非アルキメデス付値と指数付値の意味・解説 

非アルキメデス付値と指数付値

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

付値」の記事における「非アルキメデス付値と指数付値」の解説

q > 1 を1つ取り固定する。|•| を体 K の非アルキメデス付値としたとき v: K → R ∪ {∞} を v ( x ) = { − log q ⁡ | x | ( x ≠ 0 ) ∞ ( x = 0 ) {\displaystyle v(x)={\begin{cases}-\log _{q}|x|&(x\neq 0)\\\infty &(x=0)\end{cases}}} で定めると、v は K の指数付値となる。 逆に、K の指数付値 v に対して |•|v: K → R を | x | v = { q − v ( x ) ( x ≠ 0 ) 0 ( x = 0 ) {\displaystyle |x|_{v}={\begin{cases}q^{-v(x)}&(x\neq 0)\\0&(x=0)\end{cases}}} で定めると、|•|v は K の非アルキメデス付値となる。 従って q を固定するとき、非アルキメデス付値と指数付値の間には一対一の対応付けることができる。しかし、アルキメデス付値に対しては、上の様に v を定義して加法付値にはならない。 さらに、上で定義された非アルキメデス付値 |•| に対す加法付値 v に対して、v の付値環付値イデアルRv, m v {\displaystyle {\mathfrak {m}}_{v}} とし、 R | ∙ | = { α ∈ K ∣ | α | ≤ 1 } , m | ∙ | = { α ∈ K ∣ | α | < 1 } {\displaystyle R_{|\bullet |}=\{\alpha \in K\mid |\alpha |\leq 1\},\quad {\mathfrak {m}}_{|\bullet |}=\{\alpha \in K\mid |\alpha |<1\}} とおくと、Rv = R|•|, m v = m | ∙ | {\displaystyle {\mathfrak {m}}_{v}={\mathfrak {m}}_{|\bullet |}} が成り立ち、R|•|, m | ∙ | {\displaystyle {\mathfrak {m}}_{|\bullet |}} はそれぞれ K の部分環、R|•| のイデアルになる。このとき、R|•|, m | ∙ | , R | ∙ | / m | ∙ | {\displaystyle {\mathfrak {m}}_{|\bullet |},\,R_{|\bullet |}/{\mathfrak {m}}_{|\bullet |}} を非アルキメデス付値 |•| に対す付値環付値イデアル剰余体という。 この様得られ付値環付値イデアルに対しても、先に挙げた加法付値対す付値環付値イデアルと同じ性質成り立つ。 また、v が離散付値であるとき、|•| を離散付値という。このとき、うまく q を選べば v は正規離散付値となるので、v(π) = 1 となる K の元 π が存在する。この π のことを |•| に関する素元という。 なお、アルキメデス付値に対しては、非アルキメデス付値同様にして R|•|, m | ∙ | {\displaystyle {\mathfrak {m}}_{|\bullet |}} を定義することができるが、R|•| は K の部分環はならず、 m | ∙ | {\displaystyle {\mathfrak {m}}_{|\bullet |}} もイデアルにはならない。 しかし、{x ∈ K | |x| = 1} はアルキメデス付値、非アルキメデス付値関わらず乗法群となる。これを乗法付値 |•| に対す単数群という。

※この「非アルキメデス付値と指数付値」の解説は、「付値」の解説の一部です。
「非アルキメデス付値と指数付値」を含む「付値」の記事については、「付値」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「非アルキメデス付値と指数付値」の関連用語

1
16% |||||

非アルキメデス付値と指数付値のお隣キーワード
検索ランキング

   

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



非アルキメデス付値と指数付値のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS