二次体の整数環はややこしい

整数論の話を読んでいてややこしいなと思った話を。

二次体という対象があります。これは有理数体 に を添加した体のことです。 は整数 の元で，平方数ではありません。記号ではこう書きます。

この集合は， と を基底としたベクトル空間を成すのです。つまりこういうこと。

このベクトル空間の次数が なので，二次体と呼ばれる訳ですね。

さて，この二次体には「整数的なもの」を定義することができて，それを二次体の整数環といいます。

これも，二次体と似たような表記で

のように定義できます。

たとえば， のときを例に挙げましょう。二次体は を添加した体ですから， です。集合を具体的に表現すると，

これをガウスの数体と呼びます。これは結局，複素数平面上の有理点を集めた集合で構成する体になります。

ガウスの数体の整数環は， のように定義できて，これは，複素数平面上の格子点全体に相当します。これは を基本単位*1とした次の集合で表されます。

たしかにこの集合なら，ガウスの数体の「整数」に相当するといっても，納得できるでしょう。これをガウス整数と呼びます。

さて，問題はここからです。アイゼンシュタインの数体を考えます。

アイゼンシュタインの数体は，有理数体に を添加した体です。すなわち， です。集合を具体的に表現すると，ガウスの数体と同様に，

と書けます。

では，この二次体の整数環を考えましょう。直感的には，このようになると思うかもしれません。

私は最初はこうだと思っていました。でも，残念ながら間違いです。

正解は，こうです。

このように作られる整数環をアイゼンシュタイン整数といいます。

なんだ って！と思ったかもしれません。 は以下の式で定義されます。

いわゆる，1 の原始３乗根ってやつですね。（←間違えました。。。）

なんでいきなり状況が変わったのだ。どうしてこんな式になるのだと憤慨される人もいるかもしれません（大げさ？）。

ちなみに，整数環のルールによると， の条件によって「ガウス整数型」になるものと「アイゼンシュタイン整数型」なるものの２通りに分かれます。

のときの整数環は，

となって， のときの整数環は，

となるのだそうです。

たしかに，ガウス整数に当てはめると， で下の条件になりますし，アイゼンシュタイン整数の場合も， となって上の条件に当てはまっています。

とはいえ，

「だれだこんな ややこしい 定義を採用したのは！」

「担当者出てこい！！！」

とますます怒りたくなってきますね。

ひとしきり怒ったところで，ここで種明かし。

そもそもこれは，整数環の定義じゃなかったのです。

「はて」と思って考えてみると，実はまだ整数環の定義を話していなかったことに気づきます。上の結論は，整数環の定義に基づいて自然に導かれる定理だったのです。

じゃあ整数環の定義はいったい何なのだろうか。

と気になってきますよね。

期待を煽っておいて次回に続きます。笑

まぁ，こちらのブログはただの下書きなので。（まとまったら本編のブログにも書いていくかも。。。）

参考文献

素数と2次体の整数論 (数学のかんどころ 15)

*1:上と似ていますが，係数 が「体」ではないので，ベクトル空間ではないことに注意。