美的数学のすすめスマートフォン用の表示で見る美的数学のすすめ初等整数論のうち、平方剰余の相互法則の意味を当面の目標としたいと思います。ガウス和、円分体論まで到達したいです。この広告は、90日以上更新していないブログに表示しています。今回は二次体における素イデアル分解について書きます。二次体は円分体の部分体になりますので、円分体における素イデアル分解を二次体に還元することができます。それには、ガロア理論+αが必要となってきますので、ここでは、直接、二次体における素イデアル分解について考察します。二次体は当然有理数体\(\mathbb{Q}\)の拡大体ですので、今回の考察は、(有理)素数\(p\)を二次体に持ち上げたときにどのように素イデアル分解されるのか考えることにあります。この持ち上げるという感覚は意外と重要な気がします。二次体とは\(m\)を平方因子を持たない整数とします。free)」とは1以外の平方数で割り切れないことを意味します。素因数分解したときに、素数の肩に2以上の数字が乗らないことと同値です。1\)は含まないこととします。平方因子を持たないことを仮定するのは\(\sqrt{m}\)をとるからです。平方因子を持たなければマイナスでも構いません。このとき、\(\mathbb{Q}(\sqrt{m})\)を二次体といいます。二次体の整数環\(\mathcal{O}=\mathcal{O}_{\mathbb{Q}(\sqrt{m})}\)は\(m\bmod{4}\)により次のように場合分けされます。\end{cases}\]初等整数論のテキストでは、\(\mathbb{Z}[\sqrt{-1}]\)や\(\mathbb{Z}[\sqrt{2}]\)が整数環の例として最初に説明されていることが多いため、2次体の整数環は\(\mathbb{Z}[\sqrt{m}]\)になるものと予想しながら読み進めると、実際には上のように\(m\pmod{4}\)による場合分けが必要となりがっかりすることになります。上のような場合分けが必要となるのか、全て\(\mathbb{Z}[\sqrt{m}]\)が整数環である方が「きれい」な気がするところです。考えてみれば、常に\(\mathbb{Z}[\sqrt{m}]\)が整数環であるとすると、1の3乗根\(\zeta_{3}=\frac{1+\sqrt{-3}}{2}\)が代数的整数でなくなってしまい、円分体\(\mathbb{Q}(\zeta_{n})\)の整数環が\(\mathbb{Z}[\zeta_{n}]\)でなくなってしまいます。神様は、二次体より円分体により本質的・統一的な解釈を与えたと考えて、この場合分けは我慢しましょう。2,3\pmod{4}\)のとき二次体\(\mathbb(\sqrt{m})\)の整数環\(\mathcal{O}\)は\(\mathbb{Z}[\sqrt{m}]\)となります。そこで、\(\sqrt{m}\)の最少多項式として\(f(x)=x^{2}-m\)をとると、前回説明した3つの「条件」を満たしていることが分かります。biteki-math.hatenablog.comしたがって、\(f(x)\)の\(\bmod{p}\)における因数分解と\(p\)の整数環\(\mathcal{O}\)の素イデアル分解が対応することが分かります。そこで、\(f(x)=x^{2}-m\)の\(\bmod{p}\)での因数分解を考えてみます。x^{2}\pmod{p}\)が\(\bmod{p}\)における因数分解となります。このとき\(f(x)\pmod{p}\)は重解をもちます。これに対応する素イデアル分解を考えます。前回のクンマーの定理より\(\mathfrak{p}=(p,\sqrt{m})\)が素イデアルとなり\[p\mathcal{O}=\mathfrak{p}^{2}\]となります。このように、\(m\)の約数たる素数は分岐することがわかります。ここで、分岐するとは素イデアルのn乗(n:2以上)で割り切れる場合を指します。これは、多項式の因数分解の言葉で言い換えると、多項式が\(\bmod{p}\)で重解を持つ場合に対応します。(x-1)^{2}\pmod{2}\)が\(f(x)\)の\(\bmod{2}\)での因数分解となります。この場合もやはり重解をもちます。\[2\mathcal{O}=\mathfrak{p}^{2}\]となります。この場合も分岐することがわかりました。以上より、\(m\)の約数と\(2\)は分岐することが分かりましたが、下記の結果から、分岐する素数はこの場合だけだとわかります。割り切る}\]ことが分かります。割り切る}\]と変形することができます。判別式を考えたのは、若干人為的な感じがしますが、(2次体とは限らない)一般の代数体でも成り立つからです。\left(\frac{m}{p}\right)=1\]このとき\(f(x)\)は重根を持たないことが分かります。(形式的微分を考えることにより分かります。\mathfrak{p}\neq\mathfrak{p}^{'}\]です。このとき、\(p\)は完全分解しています。素イデアル}\]です。このように、\(p\)を持ち上げた整数環\(\mathcal{O}\)でも素イデアルである場合惰性するといいます。\end{align}\]ここまで、\(p\)を二次体\(\mathbb{Q}(\sqrt{m})\)に持ち上げた場合、\(p\)がどのように分解されるのか見てきましたが、ここまでの考察では”modの交換"は起こっていません。次回、上記に平方剰余の相互法則を適用することにより、modが交換されることを見てみましょう。Tumblr広告を非表示にするもっと読むコメントを書く次のページプロフィールid:TSKi数学的な美しさについて日々感じたことを記載するブログです。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。