f(X)=X^4-7∈Q[X]として、f(X)のQ上の最小分解体をLとする。
(1)
拡大次数[L:Q]を求めよ。
(2)
K=L∩Rとする。Kを分かりやすく記述し、L/Kが2次拡大であることを示せ。
K≠K' だが K`=~K'(同値)となるような体は存在するだろうか?
(3)
L/Qの中間体で、Qの2次拡大であるものを複数挙げよ。
(4)
L/Qの中間体Mで、[M : Q]=4 である体を見つけ、これがある多項式のQ上の最小分解体になっていることを示せ。(具体的に多項式を与えよ)
Kは十分に大きいFの拡大体とする。
(5)
(X^2-3)(X^3+8)と(X^2-4)(X^4-9)で生成されるQ[X]のイデアルJとするとき、J=(f(X))となるような多項式を求めよ。
わからない問題がたくさんあって申し訳ないんですが、もしわかる方いたらぜ教えていただけたらと思います。
No.1ベストアンサー
- 回答日時:
(1) これまでと同様です。
f(X)は素数7についてアイゼンシュタイン多項式なのでQ上既約。
よって、M=Q(7^(1/4))とおくと[M:Q]=4
f(X)の根は、±7^(1/4), ±i7^(1/4)の4つ。よってL=M(i)
また、M⊂R, L⊄R より[L:M]=2
従って[L:Q]=[L:M][M:Q]=8
(2) (1)のM=Q(7^(1/4))がL∩Rであることを示す。
M⊂L∩R は明らか。一方、L⊄Rより、[L:L∩R]≧2。[L:M]=2だったので、[L∩R:M]=[L:M]/[L:L∩R]=1しかありえない。
つまりL∩R=M=Q(7^(1/4))。以後問題文にならいQ(7^(1/4))=Kとかく。[L:K]=2 はすでに示した通り。
K≃Q[X]/(X^4 -7)に同型な体はf(X)の他の根を付け加えた体。これらの内、
K=Q(±7^(1/4))は同じ体
Q(±i7^(1/4))も同じ体
である一方、K≠Q(i7^(1/4))
なぜなら、仮にK=Q(i7^(1/4))
とすると、K=K( i7^(1/4))=Lとなり、[L:K]=2に矛盾するから。
よって問題のK'は一つだけ存在し、K'=Q(i7^(1/4))
(3) 全て挙げると、
Q(i), Q(√7), Q(√(-7))
これらがL/Qの中間体であることは明らか。
(4) Q上の最小分解体はすべてのQ上の共役元を含むのでガロア拡大。(逆にQのガロア拡大はあるQ係数多項式の最小分解体になる)
ガロア対応を知っていれば、ガロア群Gal(L/Q)の位数2の正規部分群を見つけよ、というのと同値な問題。
知らなくても(3)から、2つの2次体を組み合わせて、
Q(i, √7)はQ上4次拡大と見当をつけることができる。
まず、Q(i), Q(√7)はそれぞれQの2次拡大なのでガロア拡大。よってQ(i, √7)もまたQのガロア拡大。
Q(√7)⊂R, Q(i, √7)⊄Rより、[Q(i, √7):Q(√7)]=2。よって[Q(i, √7):Q]=4
つまりM=Q(i, √7)は問題の条件を満たす。
そこで、例えば、i+√7のQ上の最小多項式を計算すると、
(X-(i+√7))(X-(-i+√7))(X-(i-√7))(X-(-i-√7))=X^4-12 X^2 +64
であり、明らかにQ(i+√7, -i+√7, i-√7, -i-√7)=Mとなるので、Mを最小分解体とするようなQ係数多項式 X^4-12 X^2 +64 が構成出来た。
(5) ユークリッドの互除法の問題です。
f1=(X^2-3)(X^3+8), f2=(X^2-4)(X^4-9)
とおきます。f1, f2 には明らかな共通因子があるので括りだしておきます:
つまり、
h=(X^2-3)(X+2)
g1=(X^2+2 X+4)
g2=(X-2)(X^2+3)
とおくと、
f1=h×g1
f2=h×g2
です。
J = (f1, f2) = h・(g1, g2)なので、(g1, g2)を求めれば十分です。
(g1とg2が互いに素なので最大公約多項式は1になるはずで、それを確かめます)
g1よりg2の方が次数が高いので、g2をg1で割ると、
g2=(x-4)・g1+(7x+10)
次にg1を(7x+10)で割ると、
g1=(x/7+4/49)・(7x+10)+156/49
いま、(7x+10) = g2 -(x-4)・g1∈(g1, g2)
よって、156/49 = g1-(x/7+4/49)・(7x+10)∈(g1, g2)
よって1∈(g1, g2)が分かった。
つまり(g1, g2)=Q[X]
従って、(f1, f2)=(h)
つまり、求める多項式はh=(X^2-3)(X+2)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・【お題】絵本のタイトル
- ・【大喜利】世界最古のコンビニについて知ってる事を教えてください【投稿~10/10(木)】
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
多項式について質問です。 エク...
-
(x-1)(x-2)(x-3)の展開の...
-
等差×等比 型の数列の和を求め...
-
斉次とは?(漢字と意味)
-
余次元って何?
-
約数と因数の違い(∈N)
-
データのノイズ除去法 - Savitz...
-
問題が理解できません
-
以前に 「画像のローラン展開は...
-
組立除法 1次式 ax-k の係数...
-
単項式と分数式の違いについて
-
約数と因数の違い
-
可算個の不連続点をもつ関数の...
-
deg f?
-
CRCのアルゴリズムって、どんな...
-
e^sinXの展開式について。。。
-
原始多項式の求め方
-
(1+x)^n=1+nxについて
-
arcsinのマクローリン展開について
-
1となるように正規化
おすすめ情報