有限巡回群の群環の自己同型群およびその部分群による不変部分環を考えてみたい。 まずは実例から。 適度な複雑さがあった方が良いので、7次巡回群 \(C_7\) を考えよう。 生成元を \(g\) として、乗法的に書くことにする。 自己同型群 \(\mathrm{Aut}(C_7)\) は \((\mathbb{Z}/7\mathbb{Z})^{\times}\) なのだが、\(\Gamma_7\) と書くことにしよう。 \(\Gamma_7\) は群環 \(\mathbb{Q}C_7\) にも自然に作用しているので、不変部分環 \(\mathbb{Q}C_7\,^{\Gamma_7}\) を考えることができる。 この中には生成元 \(g\) の \(\Gamma_7\)-軌道の和、すなわち \(g + g^2 + g^3 + g^4 + g^5 + g^6\) が入る。 そしてこの元(の多項式)以外の\(\Gamma_7\)-不変な元はないので、\(\mathbb{Q}C_7\,^{\Gamma_7} = \mathbb{Q}[g + g^2 + g^3 + g^4 + g^5 + g^6]\) だと言って良い。 以降 \(g + g^2 + g^3 + g^4 + g^5 + g^6\) を \(\Omega\) と表すことにする。 \(\Omega^2\) を計算してみよう \[g \Omega = \Omega + 1 - g\] \[g^2 \Omega = g(\Omega + 1 - g) = \Omega + 1 - g^2\] 等々なので \[\Omega^2 = 6\Omega + 6 - g - g^2 - \cdots - g^6 = 5\Omega + 6\] つまり \(\Omega\) は2次方程式 \(X^2 - 5X - 6 = 0\) を満たす。 ところがこの方程式の解は \(-1\) と \(6\) であり、どちらも整数、ということは有理数体に入ってしまう。 つまり、\(\mathbb{Q}[\Omega] = \mathbb{Q}\) であった。 \(\Omega\) の値としてどちらを選ぶかが重要であることはこれからの計算で解るだろう。 次は部分群について考えてみる。 \(\Gamma_7\) の部分群は \(2\) で...