技能一覧 › 大学院数学 体論・ガロア理論

円分体のガロア群と部分体

の既約性から と ()を使い、 の中間体の個数や、指定した次数の部分体の個数、含まれる 2 次体を求められる

前提

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

読み込み中…

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

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

説明

の原始 乗根 を に添加した円分体 は、ガロア群が具体的な群 とわかるガロア拡大です。この対応を使うと、中間体の個数や指定した次数の部分体の個数を、 の部分群を数えるだけで求められます。どの 2 次体が含まれるかなど、部分体を具体的に調べる場面でも使います。

なぜそうしてよいのか

の最小多項式は円分多項式 で、これは 上既約です(この既約性は認めて使います)。 の次数は なので 。また のすべての根 は のべきなので、 は の分解体で、 上のガロア拡大です。

ガロア群の元 は を の根、つまり ()に移し、 の行き先で は決まります。逆に が既約なので、どの も の共役で、 となる自己同型 が存在します。 より で、 は同型 を与えます。

あとはガロアの基本定理です。部分群 の固定体 は を満たし、 はアーベル群なのでどの部分群も正規、つまりすべての中間体が 上ガロア拡大です。よって「次数 の部分体の個数」は「指数 の部分群の個数」に等しくなります。

手順

  1. を計算し、 を得る

  2. 中国剰余定理で を巡回群の直積に分ける(例: )

  3. 求める部分体の次数 を部分群の指数に読みかえる:

  4. その条件を満たす部分群の個数を数える。これが求める部分体の個数( はアーベル群なのでどれも 上ガロア拡大)

例題

とする。 に含まれる 上 次の部分体の個数を求めよ。

例題の解答

手順 1: なので 。

手順 2: 。

手順 3: 2 次の部分体は指数 (位数 )の部分群に対応する。

手順 4: 指数 の部分群 は、全射準同型 の核として現れ、核が同じなら準同型も同じ( の自己同型は恒等写像だけ)。 から への準同型は、2 つの生成元 , の行き先を から自由に選んで決まるので 個、そのうち全射は零写像を除いた 個。よって指数 の部分群は 個で、2 次の部分体は 個(実際 , , である)。

答え:

よくある誤り

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

入口の問題

この技能を使う問題

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