有限巡回群の群環の自己同型群およびその部分群による不変部分環を考えてみたい。
まずは実例から。
適度な複雑さがあった方が良いので、7次巡回群 を考えよう。
生成元を として、乗法的に書くことにする。
自己同型群 は なのだが、 と書くことにしよう。
は群環 にも自然に作用しているので、不変部分環 を考えることができる。
この中には生成元 の -軌道の和、すなわち が入る。
そしてこの元(の多項式)以外の-不変な元はないので、 だと言って良い。
以降 を と表すことにする。
を計算してみよう
等々なので
つまり は2次方程式 を満たす。
ところがこの方程式の解は と であり、どちらも整数、ということは有理数体に入ってしまう。
つまり、 であった。
の値としてどちらを選ぶかが重要であることはこれからの計算で解るだろう。
次は部分群について考えてみる。
の部分群は で生成される3次巡回群 と
で生成される2元群 である。
まずは3次巡回群 -不変な元には
生成元 の -軌道の和 がある。
そしてもう一つコセット -軌道の和というか の-軌道の和というか、
がある。
もちろん、今の場合 も当然に不変なので と理解しても良い。
したがって独立な元としては だけ取れば良く、
不変部分環 は である。
今度も に潰れるだろうか?
の冪から代数関係を探しても良いのだが、代わりに を計算しよう。
は では不変だが、 の元によって符号が反転するという良さげな性質がある。
ここで の方を採用すれば、 であり、
は の元ではなく、したがって である。
一方 の方を採用すれば、 であり、
さらに より となってまた に潰れてしまった。
同じように についても、不変な元が , ,
とあるが、これらは代数的に独立ではなく、実際
といった関係式が成り立つ。
これを整理すると、 は の解になる。
同様にして , も同じ3次方程式の解であることが判る。
そこでこれらが共役な解であるとして、解と係数の関係を使うと、
という方程式を得る。
の方を採用すれば先ほどの3次方程式とも1次、2次の係数を含め一致する。
このとき左辺の3次多項式は既約である。
不変部分環としてはどれを生成元としても良く
は である。
一方、 とすると解と係数の関係から得た方程式の左辺の3次多項式は可約で、 を3重解に持つ。
つまり , , は全て になり、不変部分環が再び に潰れる。
上の実例を一般化すると、有限巡回群の群環の自己同型群およびその部分群による不変部分環を考えることで、
円分体の部分体(とほぼ同じもの)を与えることができることが判る。
背景
円分体を「円分体」と呼ぶのは複素数体を前提にしているが複素数を持ち出さなくてもいろいろ語れるだろう、というのが一つ目の狙いである。
そのため、普通なら といった複素数が登場する部分を抽象的な巡回群の生成元 で扱った。
ただし、群環 自体は円分体そのものではない。
ガロワ理論を前提にしないで部分体との対応を語りたい、というのがもう一つの狙いである。
これは栗原「ガウスの数論世界をゆく」において、そもそもガウスの円分体論がガロワ理論の元だった、というような歴史を知ったからだった。
まあ、巡回群の自己同型群などというものを持ち出しているので狙い通りと言えるか微妙なところではあるが。
そういえば不変部分環が体になるなどと一言も言っていなかった。
そして、もう一つ逆にガウス周期とかガウス和とか、そういう用語も使わずに、不変な元で押し通したのはどうだっただろう。
を に写す形で複素数体に埋め込んでからでないと「ガウス和」とは呼べないかな、というのはある。
ルジャンドル記号? 何それおいしいの?