前回、概要を紹介した Aurifeuille 因数分解。
その最後に円分多項式が という形に分解される、というところまで書いた。
今回は、そちらをメインに書いていこうと思う。
と、その前に、タイトルについて補足しておこう。
前回のタイトルが「Aurifeuillian 因数分解」だったのだが、慣習として人名の形容詞形は日本語の中では使わないことを思い出して
— Hermitian operator はエルミート演算子、Cartesian coordinates はデカルト座標、のように —
今回は「Aurifeuille 恒等式」というタイトルにした。
最初に記号をまとめておく。
を無平方な(素因数の二乗では割り切れない)正整数とする。
を の判別式とする。
ならば 、そうでなければ である。
は奇数であって で割り切れるか、偶数であって では割り切れないが 倍すれば で割り切れる正整数とする。
つまり ならば の奇数倍、そうでなければ の奇数倍である。
はほとんど使わないが、 とする。
を無平方に限っておけば である。
さて、いろいろ調べてみると、円分多項式に対する恒等式として似たようなものが2種類ある。
1つは主に Gauss の名に紐付けられる、
という形の恒等式、もう1つが主に Aurifeuille の名に紐付けられる
という形の恒等式である。
どちらも円分体とその部分体である2次体との関係を利用するのだが、やり方が少し異なる。
Gauss の方は、円分多項式の根を冪が平方剰余のものと平方非剰余のものに分ける。
ガロワ群が と同型で作用が冪で表されることから、
指数 2 の部分群を考えている、つまり対応する2次体を考えていることになる。
実際それぞれ2次体の元であるところのガウス周期が係数に出てきて、それが分母 であったり虚数単位を伴ったりするために、整数係数の式にまとめる際に左辺の (分母を払った)や符号 (虚数が出てくる場合に負) が現れる。
一方 Aurifeuille の方は一度 を考える。
という因子を和と差の積に分解しておいて、それを敢えて
と基本的には平方剰余記号である係数 ( とここでは書いた) 付きの積二つに分ける。
これにより今度は分母を伴わない の平方根であるガウス和が係数に現れる。
まとめ直すと の多項式になっているので、これを改めて と置き換えれば、欲しかった恒等式が得られる。
以上、非常にざっくりした怪しい説明だが違いが何となく解ってもらえればそれで良い。