を虚数単位とする。有理数係数の多項式 の、複素数体 の中での 上の最小分解体( のすべての根を に添加した体)を とする。ガロア群 の位数を求めよ。
最小分解体とガロア群の位数
多項式の根をすべて添加した最小分解体 について を使い、 の分解体 の次数 、 の分解体 の次数 、 の分解体の次数のように、ガロア群の位数を求められる
前提
- 拡大次数と次数の積の公式 (大学数学 代数学)
- 方程式 の解 (数学C 複素数平面)
この技能までの道筋(51 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 根号の乗除と加減 (中学数学 数と式)
- 分母の有理化 (中学数学 数と式)
- 乗法公式・分配法則を使う根号の式の展開 (中学数学 数と式)
- 根号を含む式の計算と分母の有理化 (数学I 数と式)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- 最小多項式と既約性の判定 (大学数学 代数学)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
- 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
- 行列の階数と解の存在 (大学数学 線形代数)
- ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
- 拡大次数と次数の積の公式 (大学数学 代数学)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 極形式と積・商 (数学C 複素数平面)
- ド・モアブルの定理 (数学C 複素数平面)
- 方程式 の解 (数学C 複素数平面)
説明
多項式 (係数は有理数)の根をすべて に添加した体 を、 の最小分解体といいます。この技能では、 の 上の拡大次数 を計算します。その値がそのままガロア群 の位数(元の個数)になります。根の間の「対称性」がいくつあるかを数えるのに使い、ガロア理論で群の構造を調べるときの最初の一歩になります。
なぜそうしてよいのか
まず言葉を定義します。 から への全単射 で、、 を満たし、有理数 をすべて動かさない()ものを、 の -自己同型 といいます。その全体は写像の合成について群をなし、これを と書きます。 は有理数係数なので、 なら です。つまり は根を根に移します。また は根で生成されるので、 は根の行き先だけで決まります。
では はいくつあるのでしょうか。根を 1 つずつ添加して ()と積み上げ、各段で「 上ですでに決めた写像 を まで延ばす方法」を数えます。 の 上の最小多項式を (次数 )とします。 の行き先は、 の係数に を施した多項式 の根でなければならず、逆にその根のどれを選んでもちょうど 1 通りに延ばせます。ここで は を割り切るので、 は を割り切ります。したがって の根はすべて の中にあります(ここで「 が根を全部含む」ことが効きます)。さらに は既約なので、導関数との共通因数がなく重根を持ちません。よって行き先の選び方はちょうど 通りです。
各段の通り数を掛けると、全部で 通りの写像 ができます(次数の積の公式)。こうしてできた写像は単射で、 上の線形写像です。 は有限次元なので全単射になります。以上から が成り立ちます。一方、根の一部しか含まない体(例: )では行き先の根が体の外に出てしまい、この等式は成り立ちません。
手順
の根を複素数の範囲ですべて求める。 の形なら、根は (、)。
最小分解体 を、少数の生成元で と書き直す。両方向の包含(生成元が根で書けること、根が生成元で書けること)を確かめる。
1 つ目の生成元について、最小多項式の次数から を求める。
次の生成元 について、 上の次数 を求める。 上ではなく 上で考える。実数・虚数の区別や、次数が互いに素であることなどを使う。
次数の積の公式 で掛け合わせ、 とする。
例題
の 上の最小分解体を とする。ガロア群 の位数を求めよ。
例題の解答
【手順1】(正の実数)とおく。 の根は ()、すなわち である。
【手順2】 は を含む。また なので も含む。よって である。逆に、4 つの根はどれも の元なので である。したがって 。
【手順3】 はアイゼンシュタインの判定法(素数 )により 上既約である。 はこの式の根なので、 の最小多項式は であり、。
【手順4】 は の根なので である。一方 で だから、 であり、次数は ではない。よって 。
【手順5】 である。 は最小分解体なので 。
(確認: 自己同型は (4 通り)と (2 通り)の組で決まり、実際に 個ある。)
答え:
よくある誤り
根を 1 つだけ添加した体で済ませてしまう誤り。 に対して とすると次数は だが、この体は実数の範囲にあり、虚数の根 を含まない。正しくは で、、。なお の -自己同型は恒等写像だけ(1 個)で、次数 と一致しない。
生成元ごとの 上の次数を、いつでも単純に掛けてしまう誤り。 の分解体を 次とするのは誤り。 なので分解体は であり、正しくは次数 。2 段目以降の次数は、必ず手前の体の上で求める。
ガロア群の位数を根の置換の総数 としてしまう誤り。 で とするのは誤り。自己同型は や のような関係式を保たなければならず、許される置換は一部に限られる。正しくは 個。
の次数を 上で などと見積もってしまう誤り( とする誤り)。 は の根なので、どの体の上でも次数は 以下。 と合わせて、ちょうど と決まる。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を虚数単位とする。有理数係数の多項式
の、複素数体 の中での 上の最小分解体( のすべての根を に添加した体)を とする。ガロア群 の位数を求めよ。を虚数単位とする。有理数係数の多項式 の 上の最小分解体を とする。ここで は、複素数体 の中で のすべての根を に添加した体である。ガロア群 の位数を求めよ。
この技能を使う問題
有理数係数の多項式
の 上の最小分解体(複素数体 の中で のすべての根を に添加した体)を とする。ガロア群 の位数を求めよ。を多項式 の 上の最小分解体( の部分体)とする。 を満たす中間体 のうち、 であるものの個数を求めよ。
とし、 を の 上の最小分解体( の部分体)とする。拡大次数 を求めよ。
有理数係数の多項式
を考える。 の有理数体 上の最小分解体を ( の部分体とする)とするとき、ガロア群 の位数を求めよ。を多項式 の 上の最小分解体( の部分体)とする。ガロア群 の位数を とし、 を満たす中間体 の個数を とする( と も数える)。組 を求めよ。
を多項式 の 上の最小分解体( の部分体)とする。 を満たす中間体 の個数を求めよ。ただし と も数に含める。
有理数体 上の多項式
の 内での最小分解体を とする。ガロア群 の位数を求めよ。とし、 は の正の実数の 乗根を表すとする。 とおく。 の 上の最小多項式の次数 を求めよ。
を多項式 の 上の最小分解体( の部分体)とする。拡大次数 を求めよ。
を 上既約な 次多項式( は正の整数)とし、 を の 上の最小分解体、 をそのガロア群とする。 がアーベル群であるならば、 であることを証明せよ。
ただし、次の事実は用いてよい。
- 上既約な多項式は重根をもたない
- がともに の根ならば、 を満たす が存在する
- 有限群の作用に関する軌道・安定化群の定理(軌道の大きさと安定化群の位数の積は群の位数に等しい)とし( は虚数単位)、複素数
を考える。 の有理数体 上の最小多項式( を根にもつ 係数のモニック多項式のうち次数が最小のもの) を求めよ。を虚数単位とする。有理数係数の多項式
の、複素数体 の中での 上の最小分解体( のすべての根を に添加した体)を とする。ガロア群 の位数を求めよ。環は単位元 をもつ可換環とし、素イデアルは環全体と異なるものとする。整数係数の 2 変数多項式環の剰余環
を考える。 の素イデアル のうち、剰余環 が有限集合であり、かつその元の個数が 以下であるものの個数を求めよ。有理数係数の多項式
の 上の最小分解体(複素数体 の中で のすべての根を に添加した体)を とする。ガロア群 の位数を求めよ。有理数係数の多項式 の、有理数体 上の最小分解体を とする。ガロア群 の位数を求めよ。
を多項式 の 上の最小分解体( の部分体)とする。ガロア群 の位数を 、 を満たす中間体 の個数を とする( と も数に入れる)。組 を求めよ。
を位数 の有限体とし、 を 上の不定元として有理関数体 を考える。多項式
の 上の最小分解体を とする( の代数閉包の中で考える)。拡大次数 と、 の 上の自己同型群 の位数を、この順に組で求めよ。
この技能の次に学べること
- 合成体の拡大次数と体の交わり (大学数学 代数学)
- ガロアの基本定理と中間体の数え上げ (大学院数学 体論・ガロア理論)