discreteな指数付値
指数付値の定義を思い出しておきましょう.
指数付値
からへの写像が以下の条件を満たすときをの指数付値という.
- ならば
さてdiscreteな指数付値の定義です.以下ではdiscreteな指数付値のみ考えます.
discreteな指数付値
指数付値が「ならば」を満たすとき,discreteな指数付値と呼ばれる.
ここで,正規付値というものを考えるために,以下では自明な付値(ならばという付値)を除外して考えることにします.
定義1の一つ目の条件がからへの準同型を表していることからほぼ自明ですが,ここでは練習がてら証明してみましょう.任意のについて,が存在してと書けます.すると,が成り立ちます.よって群を成します.
ここで,の任意の部分群はあるを用いてと書けることよりと書けます.自明な付値は考えないことにしていたから,です.これで正規付値を定義する準備が整いました.
正規付値と素因子
上の議論から以下の補題は明らかだと思います.
を任意の付値とし,とする.このとき,と置けば,これは正規付値である.
上の付値全体に対して同値関係を入れます.で関係を入れればこれは明らかに同値関係です.この同値関係によって類別された各々の類のことを素因子と呼びます.同値関係の入れ方から次の補題も明らかでしょう.