有限生成アーベル群の捩れがrankと無関係な理由
有限生成アーベル群のrank
今日もトポロジーの本を読んでいて得られた副次的な知見について書いてみたいと思う。それは、有限生成アーベル群のrankにまつわる話である。有限生成アーベル群の基本定理により、任意の有限生成アーベル群Gは以下の形の群と同型になる。
ここで、とはというようにのr個の直積を表す。このとき、rをGのrankと言う。
さて、このrankという概念には、Gの捩れ元、すなわちの部分は一切関係しない。これはなぜなのかというのが本日の主題である。
rankと一次独立性
恐らく多くの人がrankという言葉を初めて聞くのは、線形代数においてであろう。行列のrankと言った時に、それは様々な解釈の仕方があるが、例えば行列の行、または列の中に一次独立なベクトルが最大で何本取れるかということを表していたりする。このように、rankとは一次独立性と関係がある概念なのであるが、実はそれは有限生成アーベル群においても同様なのである。ただし、捩れ元のせいで様子は少し奇妙なことになる。
Gの生成元をであるとし、各はを生成し、各はを生成するとする。このとき、これらの生成元のうち、一体いくつの元が一次独立であるかを考えてみる。もし全ての生成元が一次独立であれば、それらの生成元の線形結合が0になるのは係数が全て0の時のみである。すなわち、以下のような方程式の解がのみとなる。
しかし、実はこれは正しくない。なぜなら、後半の生成元は位数有限であり、以下のようにしても上記の線型結合の値を0にできるからである。
本当に係数を0にしないと線型結合が0にできない部分というのは生成元の前半部分のみである。これがGのrankをrだと考える理由である。
まとめ
以上、有限生成アーベル群のrankは生成元のうち一次独立なものの個数を表しているというお話であった。位数無限の生成元だけでは群全体を生成することができないのに、一次独立になるのはそれらの生成元だけだというのは、線形代数の感覚からするとなんとも奇妙である。それ故に面白い。
参考
- 作者: 杉原厚吉,岡部靖憲,米谷民明,和達三樹
- 出版社/メーカー: 朝倉書店
- 発売日: 2001/09
- メディア: 単行本
- 購入: 1人 クリック: 110回
- この商品を含むブログ (2件) を見る
群の同型と剰余群の罠
先日トポロジーの本を読んでいたときに、私が剰余群について疑問に思ったことについて言及されている箇所があった。本稿ではそれについて書いてみたいと思う。
疑問
剰余群の最も簡単な例として、を考えてみよう。これが位数2の巡回群になるのは周知の通りであるが、ちょっと考えてみて欲しい。とはどちらも可算無限集合であるから、全ての元に対して0から順に番号を付けることができる。例えば以下のように番号を付けたとしよう。
# | 0 | 1 | 2 | 3 | 4 | 5 | ... |
---|---|---|---|---|---|---|---|
0 | 1 | -1 | 2 | -2 | 3 | ... | |
0 | 2 | -2 | 4 | -4 | 6 | ... |
これより、とにおいて同じ番号が振られた元の間に一対一の対応関係を考えることができる。すなわち、以下のように定義される群同型が存在する。
よってである。つまり、とは群として同じ構造を持っているので、となってしまいそうな気がする。しかし、これはの位数が2であることに矛盾する。一体何が間違っているのだろうか?
基底に着目しよう
私が読んだ本に記載があったのは自由加群のみであったので、まずはそれについて紹介する。ポイントは自由加群としての基底に着目することである。
とはどちらも自由-加群であるから、基底を取ることができる。そして、係数による基底の線型結合によって、全ての元を表すことができる。とはどちらも1つの基底によって張られる。ここではそれぞれの基底として1と2を取ってみよう。このとき、との元はそれぞれ, と表すことができる。
これらの基底に着目して剰余群を考えてみよう。の元のによる剰余類はという形で表される。ここで、mをの基底の線型結合で表される部分とそうでない部分に分けることを考える。の基底として2を選んでいるから、またはとなる。よって、またはの2つの同値類が得られる。そのため、は位数2の群になるのである。
このように、自由加群の剰余群を考えるときには、その基底に着目すれば間違えることはない。ある自由加群A, Bが, だからといって、とは限らず、丁寧に基底を追う必要があるのである。
もっと複雑な例
の2つのベクトルを考える。ただし、は互いに一次独立であるとする。これらのベクトルが張るの部分空間, について考えてみよう。これらは自由-加群として考えると、, となる。
かつE, Fともに加法についてアーベル群であるから、となる。よって剰余群を考えることができる。もし同型に着目した間違った計算をしていたら、としてしまうところである。
正しくはこうだ。まず、Fの基底はである。Eの任意の元を、Fの基底の線形結合で表される部分とそうでない部分に分けると、以下のようになる
最後の式変形ではと置いた。4kが何であろうとmによる自由度があるので、m'は全ての整数を動くことができる。よっての係数に着目すると、であることが分かる。
残った疑問
以上、自由加群については基底に着目することで剰余を正しく捉えられることが分かった。残る問題は自由加群でない場合にどう考えればよいかである。ただし、この問題は恐らく位数有限の場合には起こらない。なぜなら、この現象は2つの異なる集合があったときに、それらがどちらも可算無限という名のもとに同一視されたときに起こる現象だからである。
そのため、より正確には「自由加群でない位数無限の群の場合に剰余をどのように扱うべきか?」という問いになる。例えば、有限生成アーベル群なんかがそうだ。この場合、自由加群でないため基底は存在しないが、ひょっとしたら生成元に着目することで何か分かることがあるのかもしれない。が、あまりそのようなケースで困ったことがないので、この問題について考えるのはこれくらいにしておこうと思う。
参考
- 作者: 杉原厚吉,岡部靖憲,米谷民明,和達三樹
- 出版社/メーカー: 朝倉書店
- 発売日: 2001/09
- メディア: 単行本
- 購入: 1人 クリック: 110回
- この商品を含むブログ (2件) を見る
鎖群の境界写像の境界っぽさを味わう
最近、読みたいと思っていたトポロジーの本(本稿末尾を参照)を図書館で見つけたため、急遽トポロジーの勉強を始めた。トポロジーとは、位相同型な図形(正確には位相空間)の間に存在する不変量を研究する分野である。大事な位相不変量としてホモトピーとホモロジーが挙げられるが、本稿ではそのうちホモロジーに関する話題を取り上げる。
主題
位相空間の性質を調べる際に、その空間そのものを調べるのではなく、代わりにその空間を基本的な図形である単体に分割したもの(これを複体と呼ぶ)を考えることで、見通しがよくなる場合がある。単体は次元ごとに存在し、また向きを考えることができる。向きを与えられた単体を有向単体と呼ぶ。ある複体に含まれるr次元単体に向きを付けたr次元有向単体の線形結合全体は群を成し、これをr次元鎖群と呼ぶ。r次元鎖群には境界写像と呼ばれる写像を考えることができ、これを適用することでr-1次元鎖群が得られる。
境界写像はその名前から察するに、何かの境界を取得するための写像だと考えられる。そこで、本稿では境界写像を簡単なr次元鎖に適用することで、境界写像の境界っぽさを体感してみたいと思う。
基本的な概念
単体と複体
以下、簡単のためにn次元ユークリッド空間で考える。
まず単体を定義しよう。は内のr+1個の点であり、かつこれらはr-1次元以下の部分空間に含まれることがないとする*1。このとき、r次元単体()とは以下で表される集合である。
r次元単体をとかなどと書く。単体の例を挙げると、0次元単体は点、1次元単体は線分、2次元単体は三角形、そして3次元単体は四面体となる。
のr+1個の点の中からs+1個(の点を選んだとき、これらの点によって生成される単体をの面と呼び、sをこの面の次元と呼ぶ。
次に複体の定義を与える。有限個の単体の集合Kが以下の2つの性質を満たすとき、Kを複体と呼ぶ。
有向単体
n次元単体に対して、そのn+1個の頂点の並び替えを考える。ある並びを基準としたとき、そこから偶置換によって得られるものは基準と同じ向き、奇置換で得られるものは逆向きと定める。ここで決めた向きは同値関係になっており、頂点の並び替えで得られる全ての単体は基準と同じ向きか逆向きかという2つの同値類に分けられる。このように向き付けられた単体のことを有向単体と呼ぶ。
例えば2次元単体について、という順番によって得られる単体とによって得られる単体は逆向きであり、それぞれが属する向きの同値類をと書く。
鎖群
Kをn次元複体とし、Kに含まれるr次元単体をとする。各について適当に向きを固定したものをとしたとき、それと逆向きの単体をと書く。これらの有向単体の間の整数係数による線形結合は以下のようになる。
このcをr次元鎖と呼び、r次元鎖全体が成す集合をと表す。実はは加法について群を成すため、これをr次元鎖群と呼ぶ。
境界写像
定義と基本的性質
いよいよ本日の主役である境界写像について述べる。まずは定義を示そう。
r次元有向単体に対して、を以下のように定義する。
これをの境界と呼ぶ。は次元が1つ下がり、の元となる。また、に対して境界を以下のように定義する。
このようにすることで、はからへの写像となる。これを境界写像と呼ぶ。境界写像は群の準同型となっている。また、詳細は述べないが、境界写像の重要な性質としてが常にに成り立つことが挙げられる。
単一の有向単体に対して適用した場合
では、早速だが境界写像の境界感を味わっていきたいと思う。まずは一番簡単なr次元鎖である単一の有向単体への適用を考えてみよう。例として2次元有向単体を考えてみよう。この単体の境界は以下のようになる。
境界の意味を考えてみると、これはというように2次元単体、つまり三角形の辺に向きを与えて足しあわせたものになる。図を以下に示す。
頂点を順に辿ったときの右ねじの回る向きが2次元単体の向きだと考えれば、これは確かにの向きと合っている。単体の場合の境界感はこれでなんとなく分かった。
同じ向きの2つの有向単体に対して適用した場合
今度は同じ向きの2つの有向単体とについて考えてみる。向きを考えなければ、これらは複体を成している。境界は以下のように計算される。
以下の図に示すように、上で得られた境界はというように2つの有向単体の外側をぐるっと回るような形になっている。これはまさに領域の境界を表していると言えるだろう。
これで境界写像のイメージがずっと鮮明になってきた。きっと、同じように単体をたくさんつなげた複体を作れば、境界写像はその周囲をぐるっと取り囲むような形になるのだと類推できる。高次元の場合はこのように簡単にはいかないかもしれないが、気持ちとしては同じなのだろう。
異なる向きの2つの有向単体に対して適用した場合
最後に異なる向きの2つの有向単体とについて考えてみる。境界は以下のようになる。
図を以下に示す。この場合は2つの単体の向きが異なるため、境界同士がうまく馴染むことができず、ぶつかり合ってしまっているような印象を受ける。とは言え、複体を考える場合は向きが同一になるようにするのが普通だと思われるので、多くの場合このようなケースを考えることは稀だろう*3。
まとめ
以上、境界写像のイメージを2次元単体と複体を用いて考えてみた。結果として、複体を構成する単体に全て同じ向きを与えた場合、それらを取り囲むような文字通りの境界が得られることが分かった。境界写像はホモロジー群を定義する上で重要な役割を果たすものなので、イメージを理解できてよかった。
参考
- 作者: 杉原厚吉,岡部靖憲,米谷民明,和達三樹
- 出版社/メーカー: 朝倉書店
- 発売日: 2001/09
- メディア: 単行本
- 購入: 1人 クリック: 110回
- この商品を含むブログ (2件) を見る
代数体の整数環においてUFD⇔PIDとなることの証明
今日は一意分解環(UFD)と単項イデアル整域(PID)の関係について、数論に絡むことを書いてみようと思う。
一般に、PIDはUFDである。このことの証明は恐らく多くの環論の教科書に載っているであろうから、本稿では特に触れない。
実は、代数体の整数環においてはこの逆、すなわち「UFDはPIDである」ということが成り立つのである。私が読んでいる「数論Ⅰ」ではこの事実の証明が省略されているため、これが一体どうして成り立つのか疑問に思っていた。先ほどついにこれの証明を見つけたので、本稿ではそれについて書いてみたいと思う。
代数体Kの整数環をと書く。はDedekind環であるから、素イデアル分解の一意性が成り立つ。そのため、任意のイデアルは素イデアルの積に一意に分解される。
がUFDのとき、もしの0でない任意の素イデアルが単項イデアルになることが示せれば、全てのイデアルが単項イデアルになることが示せる。すなわち、が単項イデアル整域であることが示せる。なぜなら、2つの単項イデアルについて、となるからである。
の0でない任意の素イデアルを選ぶ。の0でない元を1つ選び、とする。がUFDであれば、という風に素元の積に分解できる。は素イデアルであるから、となるが存在する。
であり、または素元だからは素イデアルである。デデキント環において、任意の素イデアルは極大イデアルであるから、である。以上により、が単項イデアルであることが示せた。は任意の素イデアルであるから、結局の全ての素イデアルが単項イデアルとなる。よって、証明の初めに述べた通りはPIDとなる。
以上、代数体の整数環がUFDであればPIDであることの証明ができた。そのため、代数体の整数環においてはUFD⇔PIDとなることが示された。
今回この証明を探してもなかなか見つけられなかったわけだが、定理の証明を探すというのはなかなか難しいことだ。どこかに証明データベースがあるか、もしくは実力ある人々が集うコミュニティに気軽に質問できたりすると嬉しいのだが・・・
参考
二次体における素イデアルを全て求めることはできるか?
ここのところ代数的整数論を勉強しているわけだが、自分はどうにもイデアルに弱いようだ。その原因を考えてみると、どうにも単項イデアルでないイデアルに馴染みがないのが原因である気がしてきた。この悩みはきっと環論や代数的整数論を学び始めた人に共通の悩みなのではないかと思っている。というのも、整数環がPIDだからだ。抽象的な議論を理解する拠り所として、やはり馴染みのある対象を具体例に用いて考えたくなるのが人の常だろう。しかし、代数体の整数環として多くの人にとって最も馴染み深いと思われるがPIDであるが故に、どうにも単項イデアルでないイデアルというのはイメージがしづらいのだ。
そこで、本稿ではPIDでないような環、具体的には類数*1が1でない適当な二次体における整数環を用いて、単項イデアルでないイデアルと戯れてみようと思っていた。しかし、ふと問題に気づいた。適当な二次体において、一体どうやってイデアルを求めたらよいのだろう?いや、イデアルを求めるだけなら簡単だ。例えばという虚二次体において、適当にを取ると、はイデアルになる。しかし、一般にイデアルというのはより簡潔な形で書き表すことができる場合がある。極端な例を挙げると、となったりする。そのため、イデアルを最も簡単な形にまで落とし込むことを考えないといけない。これはやや面倒くさい。
発想を変えよう。代数体の整数環はDedekind環であるから、一意な素イデアル分解が可能である。逆に、任意のイデアルは素イデアルを掛け合わせるこで生成できる。すなわち、素イデアルさえ求めることができれば、その環におけるイデアルのことは大体分かったような気がしてくる。
では、二次体の素イデアルを全て求めるにはどうしたらよいだろうか?これはこれで自明な問題ではない。そこで、本稿ではこの疑問の答えを探ることにする。
まず、全ての素イデアルの求め方について少し調べてみたところ、以下のような記事を発見した。
ここで、prime idealとは素イデアルのことである。これを見ると、どうやら有理数体から代数体Lに拡大するときの素数の分解の仕方が鍵になっているように見える。素数の分解の仕方と言ったが、正確には素数によって生成されるの素イデアルをLの整数環に格上げしたイデアルであるが、においてどのように分解するかということを意味している。一般に、の素イデアルをに格上げしたとき、それがにおいても素イデアルになるとは限らない。そうなるときもあるし、更なる素イデアル分解ができる場合もある。素数の分解の仕方の一般論には類体論が必要であるため、ここでは深入りしない。
しかし困った。調べても調べても、二次体の素イデアルを全て求める方法というのは、なかなかヒットしない。これはやはり難しい問題なのかもしれない。そこで、以下では具体的な二次体としてに着目し、何か法則めいたものがないか考えてみたいと思う。
の類数は2であるため、はPIDではないことを初めに述べておく。での素数 (しつこいようだが、正確には素数によって生成されるのイデアル) の分解の仕方には、以下のようなルールがある。
pの値 | 分解の様子 |
---|---|
はで完全分解する。 | |
はでも素イデアルである。 | |
はで分岐する。 |
ここで、分岐、不分岐、及び完全分解という言葉について説明する。のある素イデアルが分岐するとは、拡大体の整数環でさらに素イデアル分解したときにというように指数が2以上となるような素イデアルが現れることを指す。不分岐とは分岐していないことを指す。また、完全分解とは、ある素イデアルが拡大次元nに対してn個の異なる素イデアルの積に分解されることを言う。は2次拡大であるから、今の場合は異なる2つの素イデアルの積に分解できれば完全分解したことになる。
上で示した表をもう一度見てみよう。この表の中で一番簡単なのはのケースである。この場合は拡大体の整数環においてもが素イデアルになるので、何も考えることはない。例えば、なので、において(37)は素イデアルである。*2
念のため、sageでも計算してみよう。
sage: L.<a> = QuadraticField(-5) # 二次体を生成 sage: I = L.ideal(37) # 37から生成されるイデアルを取得 sage: I.is_prime() # 素イデアルか? True # 素イデアルだ! sage: I = L.ideal(23) # 試しに23から生成されるイデアルで同じことをしてみる sage: I.is_prime() False # 素イデアルでない!
確かに(37)が素イデアルであることが確かめられた。
次に簡単なのが分岐するパターンである。これはそもそも2と5しかないので、それぞれの場合について素イデアル分解してみればよい。
すなわち、はどちらも素イデアルである。ただし、この分解は「数論Ⅰ」を参考に記載しただけであり、なぜこの分解が求まるのかは正直よく分かっていない。しかし、いずれにせよ分岐するイデアルは有限個しかないのだから、根性でそれらを分解すればおしまいという意味では、そこまでの難しさは無いだろう。
さて、残りは完全分解するパターンであるが、これは難しい。というのも、分かっているのはの素イデアルがでは2つの素イデアルの積に分解するということだけで、それらが各素数pに対して具体的にどのような素イデアルになるのかが一見すると分からないからである。
しかし、これもある程度の法則性があるようだ。本によると、を満たす整数xが存在するとき、に分解されるとのことである。この条件式の部分を日本語で解釈してみると、「2乗した値がpを法として-5に合同になるような整数xはあるか?」ということになる。言い換えると、「pを法とする世界に-5の平方根は存在するか?」ということである。その答えを知るには平方剰余の相互法則が使える。
以上により、今回の場合は全てのにおいて、-5の平方根がpを法とする世界に存在することが分かった。すなわち、素イデアル分解が具体的に求まることが分かった。
試しに3, 7, 29, 41を分解してみよう。これらの素数を法とする世界での-5の平方根はそれぞれ1, 4, 13, 6であるから*3、これらの素数は以下のように分解することが分かる。
上式の右辺に登場するやなどは全て素イデアルである。いくつかsageで計算してみよう。
sage: I = L.ideal(3, 1+a) sage: I.is_prime() True # (3, 1+\sqrt{-5})は素イデアル! sage: I = L.ideal(29, 13-a) sage: I.is_prime() True # (29, 13-\sqrt{-5})は素イデアル!
これで一見落着かと思われるが、話はまだ終わらない。実は、(3), (7), (29), (41)のうち、(29)と(41)を素イデアル分解して得られるは単項イデアルなのだ!試しにだけ変形してみよう。
ここで、と置くと、さらに以下のように変形できる。
上式でとすると、Aとaを適宜動かすことで、この式の{}の中は全体を動く。よって最終的に以下のような単項イデアルが得られる。
続いて、も変形してみよう。こちらはとても簡単である。
結局、先ほどの素イデアル分解の例は以下のようになる。
うーむ。これはやっかいだ。もともと、通常のイデアルを直接考えるとイデアルの簡約化が面倒だと思って素イデアルに着目したのに、素イデアルもこのように「実は単項イデアルで表せるものがあります」みたいなことになると、途方に暮れてしまう。
だが、安心して欲しい。実は、類体論の何やら難しい理論によると、なんと完全分解するイデアルの中でも、単項イデアルの積に分解できるものというのを判別することができるらしいのだ。今回の場合だと、となる素数は単項イデアルの積に完全分解できることが知られている。しかし、これ以上は今の私の力ではちょっと説明しきれないので、このあたりで切り上げたい。
以上により、の素イデアルを何とか求めることができることが分かった。ただし、難しい部分は全て類体論を理解していないと説明できないため、まだぼんやりとした部分が残る結果となった。とは言え、本稿の内容をまとめていく中で、単項イデアルでないイデアルに触れ合うという当初の目的が自ずと達成されたことは収穫であった。この調子で勉強を進め、類体論の核心に迫っていければと思う。
参考
数論I――Fermatの夢と類体論 (岩波オンデマンドブックス)
- 作者: 加藤和也,黒川信重,斎藤毅
- 出版社/メーカー: 岩波書店
- 発売日: 2016/07/12
- メディア: オンデマンド (ペーパーバック)
- この商品を含むブログを見る
代数的整数論におけるイデアル類群・単数群の初歩的な意味
2017年最初の記事である。今年は本業とプライベートが両方とも忙しくなりそうだが、そんな中でも数学をする時間をなんとか捻出したいと思う。数学に関する今年の抱負をいろいろと考えてみたのだが、今年は類体論の心を理解することを目標にしたいと思う。類体論とは、日本の高木貞治氏が切り開いた代数的整数論の一大分野である。本日はその一発目として、イデアル類群、及び単数群とはどういうものかについて考えてみる。参考書は「数論Ⅰ」を使用している。
代数的整数論では、整数を直接研究するのではなく、それよりもさらに広い概念である代数体の整数環というものを考える。そうして、整数全体をいわば外側から眺めることによって、整数の性質を理解しようと試みるのである。代数体とは、有理数体の有限次拡大体のことである。また、代数体Kの整数環とは、Kにおけるの整閉包のことである。これはすなわち、Kにおける上整な元全体が成すKの部分環のことである。Kの例として、などが挙げられる。また、それぞれに対応する整数環は以下のようになる。
通常の整数環では、任意の元は一意に素因数分解することができる。これを一般の環に拡張した概念が一意分解整域(もしくは一意分解環)での素元分解である。一意分解整域では、整数環での素数のアナロジーとして素元と呼ばれるものが存在し、全ての元は積の順序と単元を掛けることを除いて素元の積に一意に分解される。ここで、が一意分解整域になっているかどうかを考えてみると、実は一般にはそうはなっていない。そのため、整数環で成立した諸々の事実が、では成り立たなくなってしまうのである。
そこで、昔の偉い数学者は素元分解と同じようなことをイデアルで実現できないかと考えた。これは一般に素イデアル分解と呼ばれているもので、要するに任意のイデアルを素イデアルの積に一意に分解するというものである。実は、素イデアル分解はの上で常に成り立つ。そのため、代数的整数論ではイデアルを考えることが重要となる。
しかしながら、最終的に知りたいのは整数の性質である。そのため、整数とイデアルの性質がどれくらいずれているのかを考えたくなる。その時に役立つのがイデアル類群、及び単数群なのである。
★★★(ここで論理が飛躍する。詳細は後述する。)★★★
ここで、の分数イデアルという概念を考える。Kの部分集合が分数イデアルであるとは、の0でない元cがあって、がの0でないイデアルになることである。例えばにおいてを考えてみる。このとき、とするととなり、これはのイデアルとなっている。そのため、はの分数イデアルである。
続いて、今度は主分数イデアルというものを考える。の主分数イデアルとは、0でないKの元について、となるような分数イデアルのことである。もしとなる場合、これは通常のの単項イデアル(もしくは主イデアル)の定義そのものである。主分数イデアルの例としてまたを考えてみる。とすると、は主分数イデアルである。
実は、の分数イデアル全体は乗法について群を成している。単位元はであり、の逆元はで与えられる。そこで、から分数イデアルの群への準同型を考える。すると、の核はであり、余核は(分数イデアルの群)/(主分数イデアルの群)という剰余群になる。このの核と余核のことを、それぞれ単数群、及びイデアル類群と呼ぶのである。
一般に、ある準同型の核と余核は、それぞれ準同型の単射性、全射性に関係がある。核が自明であれば準同型は単射になるし、余核が自明であれば準同型は全射になる。イデアル類群と単数群は準同型の余核と核であるから、これらの大きさは数とイデアルの間のずれを表していると言われている。
さらに、イデアル類群に関する重要な事実として、イデアル類群が自明であることと、が一意分解整域であることが同値だということが挙げられる。その意味で、イデアル類群は整数環上での素元分解の成り立たなさを示す指標だと捉えることができる。
ここまでが主に言いたかったことである。が、先ほど★で示した論理の飛躍について言及せねばなるまい。もともと数とイデアルの間のずれを理解したいというモチベーションから出発したはずなのであるが、なぜか唐突に分数イデアルが登場した。なぜイデアル類群は分数イデアルを用いて定義されねばならないのだろうか?(分数イデアルの群)/(主分数イデアルの群)を考える代わりに、(イデアルの群)/(主イデアルの群)を考えるのではダメだったのだろうか?
この問に対する答えが、いくら探しても見つからない。数学者が良く言う「自明」というやつだろうか?残念ながら、私にとっては自明ではない。ひょっとしたら、分数イデアルは群を成すが、イデアルは群にならないのかもしれないとか、いろいろ考えてはみるものの、答えはまだ出ていない。もし分かったら、本稿に追記したいと思う。(追記1参照)
追記1
やはりというか、よく考えたらのイデアル全体は乗法について群にならない。例えばを例に取ってみると、と掛けあわせてになるようなイデアルは存在しない。分数イデアルの場合、逆元はとなる。
群にならないと何が困るのだろうか?やりたいことは、のイデアル全体の集合と主イデアル全体の集合がどれくらいかけ離れているかを調べることである。これを調べる手段として、仮にイデアル全体の集合が群であり、かつ主イデアル全体の集合がその正規部分群であったならば、両者の間に定義される剰余群の位数を調べるという方法が考えられる。しかし、残念ながらのイデアル全体の集合は群ではないので、それに変わる何かが必要となる。そこで、分数イデアルが登場するのではなかろうか。分数イデアル全体の集合は剰余に対してアーベル群を成すので、任意の部分群は正規部分群となる。そのため、分数イデアルの群と主分数イデアルの群(これは正規部分群)との間に剰余群を考えることができるのである。
これでもまだ100%納得できたわけではないが、とりあえずはよしとしよう。
参考
数論I――Fermatの夢と類体論 (岩波オンデマンドブックス)
- 作者: 加藤和也,黒川信重,斎藤毅
- 出版社/メーカー: 岩波書店
- 発売日: 2016/07/12
- メディア: オンデマンド (ペーパーバック)
- この商品を含むブログを見る
*1:となったりするので、整数環を求めるときはよく考える必要がある。