技能一覧 › 大学数学 代数学

最小分解体とガロア群の位数

多項式の根をすべて添加した最小分解体 について を使い、 の分解体 の次数 、 の分解体 の次数 、 の分解体の次数のように、ガロア群の位数を求められる

前提

この技能までの道筋(51 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 分数のたし算・ひき算 (算数 計算と数のきまり)
  2. 小数の四則計算 (算数 計算と数のきまり)
  3. 正負の数の加法・減法 (中学数学 数と式)
  4. 分数のかけ算・わり算 (算数 計算と数のきまり)
  5. 四則の混じった計算の順序 (算数 計算と数のきまり)
  6. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  7. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  8. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  9. 乗法公式による展開 (中学数学 数と式)
  10. 因数分解 (中学数学 数と式)
  11. 3 次式までの展開と因数分解 (数学I 数と式)
  12. 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
  13. 約数の見つけ方 (算数 整数の性質)
  14. 素因数分解と約数の個数 (算数 整数の性質)
  15. 平方根の意味と根号の簡単化 (中学数学 数と式)
  16. 根号の乗除と加減 (中学数学 数と式)
  17. 分母の有理化 (中学数学 数と式)
  18. 乗法公式・分配法則を使う根号の式の展開 (中学数学 数と式)
  19. 根号を含む式の計算と分母の有理化 (数学I 数と式)
  20. 小数と分数のまじった計算 (算数 計算と数のきまり)
  21. 逆算(□ を求める) (算数 計算と数のきまり)
  22. 1 次方程式の解き方 (中学数学 方程式)
  23. 比例・反比例の式とグラフ (中学数学 関数)
  24. 関数 の式と変域 (中学数学 関数)
  25. 平方完成と 2 次関数のグラフ (数学I 2次関数)
  26. 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
  27. 最小多項式と既約性の判定 (大学数学 代数学)
  28. 三角形の角の大きさ (算数 平面図形)
  29. 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
  30. 三角形の外角と角の組み合わせ (中学数学 平面図形)
  31. 二等辺三角形の角 (中学数学 平面図形)
  32. 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
  33. 三角形・四角形の面積 (算数 平面図形)
  34. 三平方の定理 (中学数学 相似と三平方の定理)
  35. 折り返した図形の角と長さ (中学数学 平面図形)
  36. 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
  37. ベクトルの演算と成分 (数学C ベクトル)
  38. 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
  39. 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
  40. 行列の階数と解の存在 (大学数学 線形代数)
  41. ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
  42. 拡大次数と次数の積の公式 (大学数学 代数学)
  43. 円の周の長さと面積 (算数 平面図形)
  44. おうぎ形の弧の長さと面積 (算数 平面図形)
  45. 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
  46. 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
  47. 弧度法と単位円による三角関数 (数学II 三角関数)
  48. 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
  49. 極形式と積・商 (数学C 複素数平面)
  50. ド・モアブルの定理 (数学C 複素数平面)
  51. 方程式 の解 (数学C 複素数平面)

説明

多項式 (係数は有理数)の根をすべて に添加した体 を、 の最小分解体といいます。この技能では、 の 上の拡大次数 を計算します。その値がそのままガロア群 の位数(元の個数)になります。根の間の「対称性」がいくつあるかを数えるのに使い、ガロア理論で群の構造を調べるときの最初の一歩になります。

なぜそうしてよいのか

まず言葉を定義します。 から への全単射 で、、 を満たし、有理数 をすべて動かさない()ものを、 の -自己同型 といいます。その全体は写像の合成について群をなし、これを と書きます。 は有理数係数なので、 なら です。つまり は根を根に移します。また は根で生成されるので、 は根の行き先だけで決まります。

では はいくつあるのでしょうか。根を 1 つずつ添加して ()と積み上げ、各段で「 上ですでに決めた写像 を まで延ばす方法」を数えます。 の 上の最小多項式を (次数 )とします。 の行き先は、 の係数に を施した多項式 の根でなければならず、逆にその根のどれを選んでもちょうど 1 通りに延ばせます。ここで は を割り切るので、 は を割り切ります。したがって の根はすべて の中にあります(ここで「 が根を全部含む」ことが効きます)。さらに は既約なので、導関数との共通因数がなく重根を持ちません。よって行き先の選び方はちょうど 通りです。

各段の通り数を掛けると、全部で 通りの写像 ができます(次数の積の公式)。こうしてできた写像は単射で、 上の線形写像です。 は有限次元なので全単射になります。以上から が成り立ちます。一方、根の一部しか含まない体(例: )では行き先の根が体の外に出てしまい、この等式は成り立ちません。

手順

  1. の根を複素数の範囲ですべて求める。 の形なら、根は (、)。

  2. 最小分解体 を、少数の生成元で と書き直す。両方向の包含(生成元が根で書けること、根が生成元で書けること)を確かめる。

  3. 1 つ目の生成元について、最小多項式の次数から を求める。

  4. 次の生成元 について、 上の次数 を求める。 上ではなく 上で考える。実数・虚数の区別や、次数が互いに素であることなどを使う。

  5. 次数の積の公式 で掛け合わせ、 とする。

例題

の 上の最小分解体を とする。ガロア群 の位数を求めよ。

例題の解答

【手順1】(正の実数)とおく。 の根は ()、すなわち である。
【手順2】 は を含む。また なので も含む。よって である。逆に、4 つの根はどれも の元なので である。したがって 。
【手順3】 はアイゼンシュタインの判定法(素数 )により 上既約である。 はこの式の根なので、 の最小多項式は であり、。
【手順4】 は の根なので である。一方 で だから、 であり、次数は ではない。よって 。
【手順5】 である。 は最小分解体なので 。
(確認: 自己同型は (4 通り)と (2 通り)の組で決まり、実際に 個ある。)

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること