整数環とp進整数環の関係
p進数とは
今日は再び数論について書いてみる。トポロジーの勉強を始める前は数論の本(数論Ⅰ)を読んでいたのだが、これがどうにも消化しきれず、一旦停止していた。本稿では一読して理解しきれなかったトピックの1つであるp進整数について書いてみる。
数論の世界にはp進数と呼ばれる概念がある。私はこの言葉を初めて聞いたとき、てっきり10進数とか2進数とか16進数とか、そういう類の話だと思っていた。しかし、残念ながらこれはちょっと違う。
数論を学んだことがない人にとって、最も基本的な数の構造と言えば実数体であろう。我々は小学生の頃から「数といえば基本は実数」という感覚を暗黙のうちに植え付けられて育ってきた。有理数体とか整数環とか複素数体などももちろん重要であるが、やはり数の基本は実数という感覚がどこかにあるのではないだろうか。そんな常識を打ち破るのがp進数なのである。
そのことを見るために、まずは実数について再考してみよう。実数というのは、を1次元の距離空間だとみなした時に、これを完備化したものだと言うことができる。完備化とは、距離空間が完備になるようにその範囲を広げることを言う。完備距離空間とは、その距離空間内における任意のコーシー列が、その距離空間内に極限を持つようなもののことを言う。
例えば、は完備距離空間ではない。なぜなら、は稠密なのでにいくらでも近い点を取ることができるが、に限りなく近づいていくコーシー列の極限値はであり、これはの元ではないからである。このように、点列の向かう先がその距離空間の範囲をはみ出るようなものは完備でない。
そこで、任意のコーシー列の極限が全てその距離空間内に収まるようにを拡張することを考える。そのようにして作られたの拡大体がの正体である。
ここまでの説明では、コーシー列がある極限に収束すると言った場合、暗黙のうちに通常のユークリッド距離を仮定していた。言い換えれば、をユークリッド距離について完備化したものがなのである。
では、をユークリッド距離以外の距離によって完備化したらどうなるだろうか?実はそこにはとは様子の異なる数の構造が見えてくる。それこそがp進数である。
p進数を得るときに利用する距離はp進距離と呼ばれる。p進距離の定義を理解するために、まずはp進付値とp進絶対値について説明する。ある有理数qが以下のように表されるとする。
ここで、pは素数であり、 (a, bはpで割れない)である。このとき、をqのp進付値と呼ぶ。ただし、とする。また、で表される数をqのp進絶対値と言う。
これでp進距離が定義できる。p進距離とは、有理数に対して、で表される値のことを言う。これが距離の公理を満たしていることの説明は割愛する。
このようにして定義されるp進距離に対してを完備化したものはp進体と呼ばれており、に匹敵するほどの豊かな構造を持っていると言われている。そして、の元をp進数と呼ぶのである*1。
p進整数環
さて、本稿のタイトルからも分かる通り、ここでの主役はあくまでp進整数である。これを定義しておく必要がある。この目的のために、先ほど導入したp進付値をにも拡張しておこう。に対して、有理数の列がrにp進距離について収束する(これをp進収束と呼ぶ)とき、を以下のように定義する。
(この極限の収束に関しては追記を参照。)
このとき、p進付値が0以上となるようなの元をp進整数と呼ぶ。p進整数全体の集合は環を成しており、これをp進整数環と呼ぶ。
整数環とp進整数環の関係
これでやっと本題に入れる。実は、との間には、以下に示すような関係がある。
本稿ではこれの意味するところについて考えてみようと思う。
証明の準備
まずは証明だ。「数論Ⅰ」を見るとこれの証明が書かれているのだが、何度読んでもいまいちピンと来ず、理解が曖昧なままであった。
少し検索してみたところ、参考文献[2]に証明が載っていた。この証明を理解するために、逆極限によるp進整数環の導入について説明する。以下で説明することは一見すると上で説明したと全く異なるように見えるかもしれないが、実際には同じものである。
まず、集合と写像から成る以下のような系列が与えられたとする。
このとき、積集合の以下のような部分集合を逆極限と呼ぶ。
上記においてとし、をからへの自然な全射とすると、以下のような関係が得られる。
具体的な対応関係
整数環とp進整数環の間に上述のような同型が得られたわけだが、証明だけ見てもなんだかよく分からないだろう。同型と言うからには両者の間に環としての1対1対応があるはずだから、それを具体的に探ってみよう。
まずは簡単な方からということで、の方を考えてみる。こちらは位数の環であり、その元はである。
次に、これらの元と対応するの元を考えてみよう。これの元はと書ける。ここで、の場合はであるため、倍の差を同一視したところで違いはない。しかし、の場合はとなることがあり得る。そこで、の各においてを法として合同な数同士を同一視すれば、の元は個の同値類に集約される。すなわちである。そして、においてとなる元を順次と対応させていけば、確かに1対1の対応関係が見えてくることが分かる。
まとめ
以上、整数環とp進整数環の関係について調べてみた。本稿で述べたことはp進数のほんの触りでしかなく、まだまだ奥深い話が山ほどあるようだ。数論マスターへの道は遠く険しい。
追記
文中に登場した以下の極限の収束性について考察する。
結論から言うと、となる。これについて以下で説明する。
前提
があるp進数rにp進収束することより、はp進距離についてコーシー列になる。すなわち、任意の実数に対してあるが存在して、についてが成立する。ここで、となることより、この不等式を以下のように変形できる。
ここで、は任意の正の実数なので、とおけば、を任意の実数と考えてもよい。すなわち、任意の実数に対してあるが存在して、についてが成立する。
以下で、の極限を2つの場合に分けて考察する。
Case 1: 任意の実数についてあるが存在して、についてとなるとき
となり、p進付値は正の無限大に発散する。このとき、となるため、は0にp進収束する。定義においてとしていたので、これは理にかなった結果であると言える。
Case 2: あるについて、どんなに大きなを取っても自然数が存在して、となるようなが存在するとき
同じに対して、仮定よりあるが存在して、についてが成立する。は任意なので、であっても条件を満たすは存在する。この時、任意のについて以下が成立する。
ここで、2つ目の等号はの時しか成立しないので注意が必要であるが、今はその条件を満たしているので問題ない。
は任意なので、結局以下が成り立つ。
すなわち、以降は全てp進付値が一致するため、は収束する。
以上2つのケースをまとめると、冒頭で述べた結果が得られる。
参考
[1]
数論I――Fermatの夢と類体論 (岩波オンデマンドブックス)
- 作者: 加藤和也,黒川信重,斎藤毅
- 出版社/メーカー: 岩波書店
- 発売日: 2016/07/12
- メディア: オンデマンド (ペーパーバック)
- この商品を含むブログを見る