置換群としての Galois 群が可解な場合に、実際の解をべき根で求めていく解法について、これまでの説明の要点をおさらいしておくと、
となる組成列を、そのメンバー の要素がすべて既知な形で作っておき、隣り合う各々の群について、低位の群で対称な の値を求めることを、 を構成して上位の群で対称となる多項式の値を求めることに帰着する、ということの繰り返しだった。
Galois 理論の基本定理から、の部分群列に対応する中間体の拡大列が存在する。
「その3」で書いた問題(のひとつ)は、 を構成する際にいろいろな素数 に対する の原始 乗根 が必要になるため、 以外の素数が として出現する場合はの体にさらに を添加した拡大体の列が出現することになって、対応する Galois 群もの置換群とは異なるものになってしまうのではないか、ということだった。
例えば、これまで何度も例に取り上げてきた角の3等分方程式 は解 , , はすべて実数解なので、 上の最小分解体 は虚数を含まず、の列に現れる体はすべて実数 の部分体だった。ところが実際にべき根を使って解く過程では の虚数 乗根 を使うので、 や を作るとき虚数が現れてしまい、それはの体には含まれない。
実は、こういう場合であってもの体の列やの群の列には影響がない。それは、 の最小多項式の因数分解がどう進んでいくかを考えればわかる。元々やの列は「方程式をべき根で解く」ことを行う前の段階で予め作られていて、各ステップに対応する の最小多項式も、それぞれ 係数、 係数、…、 係数のものとして存在している。ただ、この時点ではまだその「具体的な値」がわかっていないだけだ。
こういう方程式を「その3」の方法でべき根で具体的に解き始めて、体が まで拡大したときの の最小多項式 を因数分解するステップで、 となったとしよう。すると、 の因子となる の係数を とおいて計算する過程で、〜 が の数ではなく を用意しないと入ってくれない、ということが起こりえて、そうなると となってしまう。
ところが、そういう時でも とはならない。元々 は 上の の最小多項式 の係数としていたから、 からはみ出した数にはなりようがない。これはどういうことかというと、 には からはみ出した数 がそのまま現れるわけではなく、それらが「特定の組み合わせ」
を通して出現するに過ぎないからだ。つまり、個々の は よりも大きい体の元だが、それらを( 乗根の不定性による不適な値を除いた上で)右辺のように足し合わせれば、それを計算した結果の はうまく に収まるようにできている、という寸法だ。ただその を「べき根を使った具体的な表式」で表そうとした場合、その表式に和として現れる「個々の項」は に入らない数を使わざるを得ない、という形になっている。
つまり、体を まで拡大した時に、次のステップで起きる現象は次のいずれかである。
- それまでに添加したべき根の値によって、たまたま になっている(例えば が添加されていたおかげで、ついでに となっていた、という感じで)。
- であり、上で説明したように になるが になって辻褄が合う。
ちょっと短いですが、今回の記事はこれで終わり。当初はもっとややこしい理解の仕方をしていて、その線に沿って書き始めたところ、実はこれだけのシンプルな話であることにやっと気づいて、書き終わってみたらこれだけの分量になってしまった、という次第。「その3」で書いたもう1つの問題についてはまた回を改めて。
【 オマケ 】 関連のある考察を少し追加しておく。置換群としての Galois 群の部分群 , が次の式をみたしているとする。
このとき、, に対応する中間体がある( と の間に)。それらを , とすると
となっている。
これまで同様、 に属さない の元 を1つ固定し、
と巡回群 を表しておこう。
対称な多項式の値は
で、 を 回 に作用させたものを とすればそれらもすべて 対称で
となる。よって、
である。このとき は で不変な多項式となったが、そのことは
と表せる。したがって、 や が存在している体は , ということになる。
これらの体の関係について考察しよう。当然 は の拡大体だが、その拡大の様子は、 から への拡大の様子とどれくらい変わっているのだろうか?
その様子は、以前の記事で述べたように、「ガロア理論入門ノート」の補題35が答を与えている。 は の部分群と同型になるのだった。より具体的には、 のうち「 の中で拡大した部分」 上での Galois 群と同型で
となっている。
一方、仮定より
だから、その部分群といったら巡回群そのものか単位群のどちらかしかない。つまり は単位群か のどちらかで、したがって
となる(これは、 が と の中間体で が素数 であることからもわかる。 と の一方が でもう一方が となる場合しかありえない)。
ところが、もしも だったとすると ということになるが、それはありえない。なぜならば は 次の 係数方程式
の根ゆえ だが、 だとすると となって矛盾するから。
よって しかありえないから、
となる。つまり、 を使おうと使うまいと、体の拡大の様子はまったく同じで、素数 次の巡回拡大になっているということがわかった。
また、
より、 に を添加しても、 の中ではまったく拡大が起こっていないことがわかる。 は とはまったく無関係な方向にしか膨らんでいない(あるいは、そもそもまったく膨らんでおらず となっていることもある。この場合はもともと だったことになる)。したがって , が を含んでいることはあまり気にせず、それぞれ , に含まれる数であるつもりで計算を進めても別に問題ない、ということになっている。
コメントを残す