0

くどくど橄欖石

大学数学基礎解説

文献あり

正規付値ってなに？

体論,付値論

39

0

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

discreteな指数付値

指数付値の定義を思い出しておきましょう．

指数付値

$K$ から $R \cup {\infty}$ への写像 $ν$ が以下の条件を満たすとき $ν$ を $K$ の指数付値という．

$ν (x y) = ν (x) + ν (y)$
$ν (x) \geq 0$ ならば $ν (1 + x) \geq 0$
$ν (x) = \infty ⟺ x = 0$

さてdiscreteな指数付値の定義です．以下ではdiscreteな指数付値のみ考えます．

discreteな指数付値

指数付値が「 $x \neq 0$ ならば $ν (x) \in Z$ 」を満たすとき，discreteな指数付値と呼ばれる．

ここで，正規付値というものを考えるために，以下では自明な付値（ $x \neq 0$ ならば $ν (x) = 0$ という付値）を除外して考えることにします．

$ν (K^{\times})$ は加法について群をなす．

定義1の一つ目の条件が $K^{\times}$ から $Z$ への準同型を表していることからほぼ自明ですが，ここでは練習がてら証明してみましょう．任意の $a, b \in ν (K^{*})$ について， $x, y \in K^{*}$ が存在して $a = ν (x), b = ν (y)$ と書けます．すると， $a - b = ν (x) - ν (y) = ν (x / y) \in ν (K^{\times})$ が成り立ちます．よって群を成します．

ここで， $Z$ の任意の部分群はある $n \in Z_{\geq 0}$ を用いて $n Z$ と書けることより $ν (K^{\times}) = n Z$ と書けます．自明な付値は考えないことにしていたから， $n \neq 0$ です．これで正規付値を定義する準備が整いました．

正規付値と素因子

正規付値

$ν (K^{\times}) = Z$ を満たす付値を正規付値という．

上の議論から以下の補題は明らかだと思います．

$ν$ を任意の付値とし， $ν (K^{\times}) = n Z$ とする．このとき， $ν^{*} (x) = \frac{1}{n} ν (x)$ と置けば，これは正規付値である．

$K$ 上の付値全体に対して同値関係を入れます． $ν_{1} \sim ν_{2} ⟺ ν_{1}^{*} = ν_{2}^{*}$ で関係を入れればこれは明らかに同値関係です．この同値関係によって類別された各々の類のことを素因子と呼びます．同値関係の入れ方から次の補題も明らかでしょう．

Kの各素因子は正規付値をただ１つ含む

参考文献

[1]

岩澤健吉, 代数函数論

[2]

Unknown, 取得中..., Mathlog, アクセス日: Fri Oct 18 2024

投稿日：2024年10月18日

更新日：2024年10月18日

OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

くどくど橄欖石

5

2066

はじめまして！楽しい記事を書ければと思いますので、よろしくお願いします。

コメント

他の人のコメント

コメントはありません。

読み込み中

くどくど橄欖石

正規付値ってなに？

discreteな指数付値
正規付値と素因子
参考文献