とし、 とおく。 を満たす部分体 のうち、 となるものの個数を求めよ。
円分体のガロア群と部分体
の既約性から と ()を使い、 の中間体の個数や、指定した次数の部分体の個数、含まれる 2 次体を求められる
前提
- 剰余類環の単元群とオイラー関数 (大学数学 代数学)
- ガロアの基本定理と中間体の数え上げ (大学院数学 体論・ガロア理論)
この技能までの道筋(64 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
- 有限アーベル群の構造と部分群の個数 (大学数学 代数学)
- 剰余類環の単元群とオイラー関数 (大学数学 代数学)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 根号の乗除と加減 (中学数学 数と式)
- 分母の有理化 (中学数学 数と式)
- 乗法公式・分配法則を使う根号の式の展開 (中学数学 数と式)
- 根号を含む式の計算と分母の有理化 (数学I 数と式)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- 最小多項式と既約性の判定 (大学数学 代数学)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
- 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
- 行列の階数と解の存在 (大学数学 線形代数)
- ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
- 拡大次数と次数の積の公式 (大学数学 代数学)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 極形式と積・商 (数学C 複素数平面)
- ド・モアブルの定理 (数学C 複素数平面)
- 方程式 の解 (数学C 複素数平面)
- 最小分解体とガロア群の位数 (大学数学 代数学)
- ガロアの基本定理と中間体の数え上げ (大学院数学 体論・ガロア理論)
説明
の原始 乗根 を に添加した円分体 は、ガロア群が具体的な群 とわかるガロア拡大です。この対応を使うと、中間体の個数や指定した次数の部分体の個数を、 の部分群を数えるだけで求められます。どの 2 次体が含まれるかなど、部分体を具体的に調べる場面でも使います。
なぜそうしてよいのか
の最小多項式は円分多項式 で、これは 上既約です(この既約性は認めて使います)。 の次数は なので 。また のすべての根 は のべきなので、 は の分解体で、 上のガロア拡大です。
ガロア群の元 は を の根、つまり ()に移し、 の行き先で は決まります。逆に が既約なので、どの も の共役で、 となる自己同型 が存在します。 より で、 は同型 を与えます。
あとはガロアの基本定理です。部分群 の固定体 は を満たし、 はアーベル群なのでどの部分群も正規、つまりすべての中間体が 上ガロア拡大です。よって「次数 の部分体の個数」は「指数 の部分群の個数」に等しくなります。
手順
を計算し、 を得る
中国剰余定理で を巡回群の直積に分ける(例: )
求める部分体の次数 を部分群の指数に読みかえる:
その条件を満たす部分群の個数を数える。これが求める部分体の個数( はアーベル群なのでどれも 上ガロア拡大)
例題
とする。 に含まれる 上 次の部分体の個数を求めよ。
例題の解答
手順 1: なので 。
手順 2: 。
手順 3: 2 次の部分体は指数 (位数 )の部分群に対応する。
手順 4: 指数 の部分群 は、全射準同型 の核として現れ、核が同じなら準同型も同じ( の自己同型は恒等写像だけ)。 から への準同型は、2 つの生成元 , の行き先を から自由に選んで決まるので 個、そのうち全射は零写像を除いた 個。よって指数 の部分群は 個で、2 次の部分体は 個(実際 , , である)。
答え:
よくある誤り
拡大次数を としてしまう誤り。 になるのは が素数のときだけで、正しくは ( ではない)
を巡回群と決めつけてしまう誤り。 を とすると 2 次の部分体は 個になってしまう。正しくは で、2 次の部分体は 個
部分体の次数を部分群の位数と取り違える誤り。固定体 の次数は ではなく指数で、。例えば の 2 次部分体は位数 ではなく位数 の部分群に対応する
の に と互いに素でない数を入れてしまう誤り。例えば は が原始 乗根でない( 乗で になる)ので自己同型にならない。正しくは の だけを使う
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
とし、 とおく。 を満たす中間体 の個数を求めよ( および も数に含める)。
とし、 とおく。 は でない平方因子をもたない整数とする。すなわち、 であり、どの素数 についても である( は負でもよい)。 のときは と定める。 となるような をすべて求め、その集合を答えよ。
とし、 とおく。 を満たす中間体 の個数を求めよ( と も含める)。
とし、 は の正の平方根を表すとする。 の 上の最小多項式(モニック)を、変数 の多項式として求めよ。
とし、 は の正の実数の 乗根を表すとする。 とおく。 の 上の最小多項式の次数 を求めよ。
環は単位元 をもつ可換環とし、素イデアルは環全体と異なるものとする。整数係数の 2 変数多項式環の剰余環
を考える。 の素イデアル のうち、剰余環 が有限集合であり、かつその元の個数が 以下であるものの個数を求めよ。環は単位元 をもつ可換環とし、素イデアルは環全体と異なるものとする。有理数体 上の 2 変数多項式環の剰余環
を考える。 の素イデアルの個数を求めよ。とし、( の最大実部分体)、 を の整数環とする。 はガロア拡大なので、 の素イデアル分解は
の形に書ける( は相異なる素イデアル)。分岐指数 、剰余次数 、素イデアルの個数 をこの順に組 で答えよ。
この技能の次に学べること
- の分解体とガロア群 (大学院数学 体論・ガロア理論)
- 体のテンソル積の素イデアル (大学院数学 可換環論・ホモロジー代数)
- 円分体とその部分体での素数の分解 (大学院数学 代数的整数論)