文献あり

【大域類体論】モジュラスと乗法合同で混乱しやすい所

899

はじめに

大域類体論をイデアル論的に記述する際にまずモジュラスという概念が必要になる．これはイデアルの一般化のような対象であり大抵まずこれに分岐する素点を押し付けてから理論を記述する．また通常のイデアルのようにこれに関する合同mod $^{\times}$ も考えることが必要になってくるのだがこれは通常のmodとは違い加法は一般に保たないという特質を持っており混乱し易い．その性質からmod $^{\times}$ は乗法合同と呼ばれる．この記事ではモジュラスによる乗法合同mod $^{\times}$ を丁寧に解説する．

モジュラス

$F$ を代数体、 $V$ をその素点全体、 $V_{f i n}$ を有限素点全体、 $V_{R}$ を実素点全体、 $V_{C}$ を複素素点全体とする。

(1) $F$ のモジュラス(modulus) ^1 とは $Z$ 加群
$⨁_{v \in V_{f i n}} Z \oplus ⨁_{v \in V_{R}} Z / 2 Z \oplus ⨁_{v \in V_{C}} 0$
の元 $m (\neq 0)$ のことである.形式的に $m = \prod_{v \in V} v^{m_{v}}$ とかく.

モジュラス $m$ は有限素点の素因子全体の積 $m_{f i n}$ と無限素点の素因子全体の積 $m_{\infty}$ とに $m = m_{f i n} m_{\infty}$ というように分解できる.このとき $m_{f i n}, m_{\infty}$ をそれぞれ $m$ の有限部分, $m$ の無限部分と呼ぶ.

(2)
$m = \prod_{v \in V} v^{m_{v}}$ , $n = \prod_{v \in V} v^{n_{v}}$ を代数体 $F$ のモジュラスとする. $m$ が $n$ を割り切るとは,任意の $v$ に対して $m_{v} \leq n_{v}$ であるときをいい,このとき $m ∣ n$ と書く.特に $v ∣ m$ なる $F$ の素点 $v$ を $m$ の素因子と呼ぶ.素因子の指数,互いに素,gcd,lcmなどの概念は通常のイデアルの場合同様に定めることとする.

複素素点の影響は考えないのが特徴である。

上の $m : V = {F の素点全体} \to Z$ を念のため明示的に書き下すと
(a) 全ての素点 $v$ に対して $m_{v} \geq 0$ だが,有限個の $v$ を除いて $m_{v} = 0$
(b) $v$ が実素点のとき $m_{v} = 0$ または $1$
(c) $v$ が複素素点のとき $m_{v} = 0$

つまりモジュラス $m = \prod_{v \in V} v^{m_{v}}$ とは素点の形式的な積であって実素点のところの指数を $Z / 2 Z$ で考えたもののことである．ここで素点 $v$ に対して $p_{v}$ を $v$ が有限素点のときはそれに対応する素イデアル，無限素点のときは単なる形式的な記号とした上で $m$ を $m = \prod_{v \in V} p_{v}^{m_{v}}$ と書くと直感的でわかりやすいことも多い．以下これらの記法を都合よく使い分けていくことにす.

筆者の個人的な感想

どちらかの記法にこだわるとかえってわかりにくくなると思う．

モジュラスによる乗法合同mod $^{\times}$

イデアルの場合同様にモジュラスについても合同を考えることが出来る．しかしそれは記号mod $^{\times}$ が指し示すように通常のものとは性質が違うのでかなりややこしい．

[ノイキルヒ,p.371]に「通常の合同式」と書いてあるが以下を読めばそれは大嘘であるとわかるだろう．

乗法合同

$F$ を代数体, $α \in F^{\times}$ とする.
(1) $F$ の有限素点 $v$ と正整数 $n$ に対して，
$α \equiv 1 (\mod^{\times} v^{n})$ を次の二条件が成り立つような分数表示 $α = a / b (a, b \in O_{F})$ が存在することと定める：
$v$ に対応する素イデアルを $p = p_{v}$ とするとき、
(a) $a, b \notin p$ .つまり $α$ の分母，分子が $p$ で割れない．
(b) $o r d_{p} (α - 1) \geq n$ (ここで $o r d_{p}$ はもちろん $F \to Z \cup {\infty}$ ).

(2)
$F$ の実素点 $v$ に対して， $v$ に対応する実埋め込みを $σ_{v} : F \to F_{v} ≅ R$ とするとき
$α \equiv 1 (\mod^{\times} v) ⟺ α は F_{v} で正,即ち σ_{v} (α) > 0$ と定める[^3].

次に $α, β \in F^{\times}$ ， $m = \prod_{v \in V} v^{m_{v}}$ を $F$ のモジュラスとする.
(3)
$α \equiv 1 (\mod^{\times} m) ⟺ m_{v} > 0 であるような全ての F の素点 v に対して α \equiv 1 (\mod v^{m_{v}})$ と定める.

(4)
$α \equiv β (\mod^{\times} m) ⟺ α / β \equiv 1 (\mod m)$ と定める. このmod $^{\times}$ をその性質から乗法合同と呼ぶ．

定め方から当然のことではあるが $α \equiv β (\mod^{\times} p^{n})$ と書いたときは $α, β \notin (O_{F, p})^{\times}$ であってもよいが $β / α \in O_{F, p}^{\times}$ でなければならない．

言い換え1

(1)は $O_{F}$ の $p$ による局所化 $O_{F, p}$ の言葉を使えば以下のような同値な言い換えが出来る

(a) $α \in (O_{F, p})^{\times}$ .

(b) $α - 1 \in p^{n} O_{F, p}$ .(すぐ下で説明する加法合同を用いて書けば $α \equiv 1 (\mod^{+} p^{n})$ )

更に(a)を踏まえた上で，(b)を，自然な全射 $π : O_{F, p} \to O_{F, p} / p^{n} O_{F, p}$ がその単元群の間に誘導する全射 $π^{\times}$ によって $α$ が1に送られる，と言い換えても良い．ここで $Ker π^{\times} = 1 + p^{n} O_{F, p}$ である．この乗法群は次の言い換えにも出てくる．

一方ここで加法合同という言葉も導入しよう.そうすると対比が際立って理解がし易いと思う（一応[高木]に出てくる言葉ではある）．

加法合同

$α, β \in F$ , $n$ を正整数, $p$ を素イデアルとする．

$F$ における加法合同 $α \equiv β (\mod^{+} p^{n})$ とは剰余環 $F / p^{n} O_{F, p}$ において等しいということ(つまり $α - β \in p^{n} O_{F, p}$ )であると定義する．

これは $α, β$ が $F$ の整数に限らないという意味で $F$ の整数の間の合同を拡張したものとも見れる．

(1) $3 \equiv 8 (\mod^{\times} 5), 2 \equiv 7 (\mod^{\times} 5)$ だが， $5 ≢ 15 (\mod^{\times} 5)$ 　

(しかし $3 \equiv 8 (\mod^{+} 5), 2 \equiv 7 (\mod^{+} 5)$ であるから $5 \equiv 15 (\mod^{+} 5)$ ではある)．

(2)
乗法合同⇒加法合同でも加法合同⇒乗法合同でもない（[高木]の例）
・ $65 \equiv 35 (\mod^{+} 2 \cdot 5)$ だが， $65 ≢ 35 (\mod^{\times} 2 \cdot 5)$ ．
・ $101 / 30 \equiv 7 / 10 (\mod^{\times} 2 \cdot 5)$ だが， $101 / 30 ≢ 7 / 10 (\mod^{+} 2 \cdot 5)$ ．

乗法合同 $α \equiv β (\mod^{\times} p^{n})$ は乗法は保つが加法は一般に保たないことに注意したい．即ち $α \equiv β (\mod^{\times} p^{n}), α^{'} \equiv β^{'} (\mod^{\times} p^{n})$ のとき $α α^{'} \equiv β β^{'} (\mod^{\times} p^{n})$ ではあるが $α + α^{'} \equiv β + β^{'} (\mod^{\times} p^{n})$ とは一般には限らない（上の例(1)）．

一方加法合同に関しては環論でやったように加法も乗法も保つ．

言い換え2

$1 + p^{n} O_{F, p}$ は局所化 $O_{F, p} \subset F$ の単数群 $O_{F, p}^{\times} \subset F^{\times}$ の部分群であることに注意すると乗法群の剰余群 $F^{\times} / (1 + p^{n} O_{F, p})$ が考えられる．

このとき $α \equiv β (\mod^{\times} m)$ とは $F^{\times} / (1 + p^{n} O_{F, p})$ において $α, β$ が同じ剰余類を定めるということと同値である．この言い換えを意識すれば乗法合同の"正体"が一目瞭然であると思う．特に加法を一般に保たず乗法を保つ，通常とは違う合同式ということも当然のこととなる．つまり剰余環のmodではなく剰余群のmodだから通常と違ってややこしいのである．

上の例にあるように加法合同と乗法合同は一般に同値でないが $α, β \in (O_{F, p})^{\times}$ に対しては
$α \equiv β (\mod^{\times} p^{n}) ⟺ α \equiv β (\mod^{+} p^{n})$ 即ちこの状況下であれば乗法合同と加法合同は同じものである．しかし辺々足したもののの商が $(O_{F, p})^{\times}$ に入るとは限らないからこの場合でも乗法合同は一般に加法を保たない（上の例(1)）．

終わりに

イデアル論は親しみやすくていいはずなのにこのようなややこしいものが丁寧に解説されていないともったいないと思う．読者の理解の助けになれば公開した意義があるというもので筆者の喜びです．間違いなどございましたらTwitterの方までご連絡ください．

[^3]: ここの正という条件，即ち実半直線 $R_{> 0}$ (=ray)に入る，という条件が射類群(ray class group)の言葉の由来である(Hasseによる)．

参考文献

[1]

ノイキルヒ, 代数的整数論

[2]

J.Janusz, Algebraic Number Fields

[3]

高木貞治, 代数的整数論

投稿日：2022年7月21日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

Period

16835

他の人のコメント

コメントはありません。

読み込み中

Period

【大域類体論】モジュラスと乗法合同で混乱しやすい所

はじめに
モジュラス
モジュラスによる乗法合同mod$^{\times}$
終わりに
参考文献

【大域類体論】モジュラスと乗法合同で混乱しやすい所

はじめに

モジュラス

モジュラスによる乗法合同mod×

終わりに

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

モジュラスによる乗法合同mod $^{\times}$