※ 2017/09/27 追記
本シリーズの内容は、筆者の学習ノートレベルのもので、個々の証明には不正確な部分が多々あります。これらをより正確なものに加筆・修正して大幅に説明を書き加えたものを同人誌として、技術書典3で配布する予定です。
電子版をこちらで販売しています。
n次方程式の一般解
1次式の積に因数分解された多項式を形式的に展開する。
この時、係数 は、基本対称式で与えられる。
――― (1)
たとえば、、
、
などとなる。
したがって、(1) を について逆解きできれば、解の公式が得られることになる。ただし、有理数係数の多項式を一般に解くには複素数が必要となることから、一般に、
が属する体は、
が属する体よりも「小さい」と考えられる。これは、拡大体を用いて次のように表される。
適当な体 (実用的には有理数体
を想定する)に記号
を付与した拡大体
を考えて、
の部分群として、
の置換群(対称群)
を考える。すると、
の中で
で固定される部分体は、
に一致する。(
は (1) で定義されるものとする。)
つまり、 であり、拡大
はガロア拡大となる。また、その定義より、
は、
上の多項式
の分解体になっている。
したがって、定理7.1より、多項式 のガロア群
が可解群であることが、
が代数的に可解であることと同値になる。
が代数的に可解である場合、
は、
の元に対する四則演算とべき根の操作で表現できることになる。
一般に の場合、対称群
は可解群にならないことが知られており、これより、5次以上の多項式について、解の公式(一般解)を四則演算とべき根で表現することはできないとわかる。
逆に の場合、対称群
は可解群であり、4次以下の多項式は、四則演算とべき根で一般解を表現できることになる。これは、具体的な表現方法を示すものではないが、定理7.1の後半部分の証明、および、補題7.1の証明は、可解群の列が与えられた時に、対応するべき根拡大を構成する手続きを与えている。この後は、2次方程式と3次方程式の場合に、対応するべき根拡大を具体的に構成してみる。
2次方程式
次の多項式を考える。
――― (1)
これを展開すると、次が得られる。
――― (2)
体の拡大 のガロア群は、2次対称群
(
と
の入れ替え)であり、正規部分群の列
により可解群となる。つまり、(2)は代数的に可解である。
なお、体 の範囲で計算する際は、
と
は、
と
という組み合わせのみで扱う必要があり、当然ながら、この範囲では、
と
そのものを得ることは不可能である。
一方、 と表記して、
より、多項式
の根
が存在して、
となる。この
は、2乗した際に
で不変、つまり、
と
の対称式になることから、
自身はこれらの反対称式と想像される。そこで、
と置いてみるとうまくいく。実際、
の範囲であれば、次のように、
と
を構成することが可能であり、
が成立する。さらに、
は、
の
における根になっている。
ここで、 と表記すると、2次方程式の解の公式が得られる。
具体的な数値係数の2次方程式に上記の公式を当てはめる操作は、 を
に同型に埋め込んで
という同型な置き換えを計算していることにほかならない。(
の代数的閉包は
と同型になるという事実を用いている。)
3次方程式
まず、一般論を整理する。、
(
の基本対称式) として、
であるが、これは次の正規部分群の列において可解群となる。(
は偶置換のみの部分群)
そして、この拡大列は、次の自己同型群に対応する。
さらに、 が成立する。
したがって、ある中間体 が存在して、
となるので、2次方程式の時と同じ議論で、
(
は、
の根)
が成立する。さらに、 で、
となるので、
を
でべき根拡大した
(
は1の原始3乗根)を用いて、
から
へのべき根拡大
(
は、
の根)
が成立する。(この時、 となる。)
つまり、 はべき根拡大の列であり、
であることから、3次方程式は代数的に可解であることが示された。
ここで、 を具体的に構成する。
より、
は、
の偶置換で不変でなければならない。そこで、
を考えると、これは、奇置換で符号を変えて、偶置換で不変になる。この時、 は、偶置換でも奇置換でも不変であり、
で不変なことから、
であることが分かる。(実際、
は、
について対称なので、基本対称式で表現できることはすぐにわかる。)つまり、
は、
の根であり、
は、べき根拡大を与える。
次に、補題7.1の証明にしたがって、 から
へのべき根拡大を構成する。まず、
を
上の3次元ベクトル空間の線形写像とみなして、固有方程式
を満たす固有ベクトル
を計算する。
とおいて、直接に計算すると、
が得られる。したがって、次の
が固有ベクトルとわかる。
この時、 であることから、
となる。
したがって、
は、 のべき根拡大となる。
以上でべき根拡大の列が構成できたが、一般的な解の公式を得るには、もう少し工夫がいる。 の固有値は、
の3種類なので、それぞれに対する固有ベクトルを求めると次が得られる。
と同じ議論により、これらはすべて、
となる。したがって、
と
を
の元の3乗根として表示した後、次の計算により、
を個別に計算することができる。