- 締切済み
代数の体について
- みんなの回答 （11）
- 専門家の回答
みんなの回答
- guuman
- ベストアンサー率30% (100/331)
その2時方程式の根をβとしたとき βをαで洗わせ
- guuman
- ベストアンサー率30% (100/331)
（１）式を（x-α）で割り算して αで表わされるQ（α）上の２次方程式を作成せよ
補足
x^2 + αx + α^2 + 3 = 0 となりました。
- guuman
- ベストアンサー率30% (100/331)
α＾２はその集合に含まれているのか
補足
あっ、もしかしたら私は間違えていたかもしれません。 含まれていないと思いますので、１とαとα＾２を基底にとるとして、 ３次拡大ですかね。
- guuman
- ベストアンサー率30% (100/331)
それぞれについて無理数根を１つ追加してできる体 はQの何次拡大か理由とともに書け
補足
αを無理数とすると、Ｑに無理数を１つ追加してできる体Ｑ(α)は Ｑ(α)＝{a + bα｜a,b∈Ｑ} 書ける。 １とαを基底にとると、Ｑ(α)の元を全て一意的に表せるので Ｑ(α)はＱの２次拡大である。 と思います。
- guuman
- ベストアンサー率30% (100/331)
高校で習った極値、変曲点の解析をおこない それぞれ関数の形を紙に書いてみろ そして自分の結果を確信できるか確認せよ 特にx軸との交点と原点に注意して 実数根については根の正負もかけ
補足
はい！ 計算してみましたが、やはりＲ上１つ、Ｃ上２つだと思います。 実数根の正負については (1)が負、(2)が正、(3)が正です。
- guuman
- ベストアンサー率30% (100/331)
（３）の変形した式を整数係数の式に変形して示せ 3式とも有理数根を持たないことが分かったがそれではどんな根を持つか書け
補足
はい。 (3)式→27x^3 - 63x - 7 です。 また、３式とも根はＲ上に１つ、Ｃ上に２つだと思います。 （Ｒ：実数全体の集合 Ｃ：複素数全体の集合）
- guuman
- ベストアンサー率30% (100/331)
(3)を２次項がないように変更してそれを補足にかけ
補足
はい、やってみました！ x→x - 1/3 とすると (3)式→x^3 - (7/3)x - 7/27 となりました。
- guuman
- ベストアンサー率30% (100/331)
この３式がいずれもQ上で既約かどうかをそれぞれ示せ アイゼンシュタインを使えるものは使って そうでないものはその他の方法でやれ
補足
はい、やってみました！ 先日guumanさんに教えて頂いた方法を使いました。 x→x+2 とすると、(1)～(3)の全てにアイゼンシュタインの定理が適用できました。 なので、３つともＱ上で既約だと思います。 この事実を私が質問している問題にどう使うのか、私にはまだ全然見えてこないのですが、 この後どのようなことをすれば、答えが導けるのでしょうか？
- guuman
- ベストアンサー率30% (100/331)
それぞれすべての根をだしてみい だいたい質問を３つもまとめてだすものではない １つについて質問してみて その回答をみてほかの２つができるかどうか一生懸命 自分の頭で考えて出来ないものについてだけ 再度新たに質問するのがすじだ 自分のできた内容や自分の考えてきたところを提示しないのも 誠実さが足りない まとめて出す質問は削除対象だ
補足
先日から、guumanさんにはお世話になりっぱなしで、本当に感謝しております。こちらの質問にも、ご回答を頂けるなんて、有難いです。 私、一生懸命頑張りますので、是非お付き合い下さい。 とりあえず、それぞれを因数分解すること、 つまり、多項式＝０の解を導くまでは何とかできます。 (1)については、ω を１の３乗根としたとき、 x = ((√5 - 1)/2)^1/3 - ((√5 + 1)/2)^1/3 ω・((√5 - 1)/2)^1/3 - ω^2・((√5 + 1)/2)^1/3 ω^2・((√5 - 1)/2)^1/3 - ω・((√5 + 1)/2)^1/3 (2)についても、同様にω を１の３乗根としたとき、 x = ((√3i - 1)/2)^1/3 - ((√3i + 1)/2)^1/3 ω・((√3i - 1)/2)^1/3 - ω^2・((√3i + 1)/2)^1/3 ω^2・((√3i - 1)/2)^1/3 - ω・((√3i + 1)/2)^1/3 以上が、多項式＝０としたときの方程式の解です。 （i は虚数単位です） しかし、ここから先の最小分解体や拡大次数が求められないんです。 (3)については、解がかなり複雑になってしまうので、 （私の計算の仕方が下手なだけかもしれませんが…） 解くには解いたのですが、ここに解を記述するのが困難です。すいません。 この後の、最小分解体や拡大次数の導出の仕方を ご教示頂けると有難いです。どうか宜しくお願いします。
- Willyt
- ベストアンサー率25% (2858/11131)
>最小分解体や拡大次数の求め方が、まだよくわかりません。 因数が一つでも見付かれば、残りは二次式以下ですから、根の公式が使えるでしょ？(^_-)
- 1
- 2
関連するQ&A
- 最小分解体
f(X)=X^4-7∈Q[X]として、f(X)のQ上の最小分解体をLとする。 （１） 拡大次数[L:Q]を求めよ。 （２） K=L∩Rとする。Kを分かりやすく記述し、L/Kが２次拡大であることを示せ。 K≠K' だが K｀＝～K'（同値）となるような体は存在するだろうか？ （３） L/Qの中間体で、Qの２次拡大であるものを複数挙げよ。 （４） L/Qの中間体Mで、[M : Q]=4 である体を見つけ、これがある多項式のQ上の最小分解体になっていることを示せ。（具体的に多項式を与えよ） Kは十分に大きいFの拡大体とする。 （５） (X^2-3)(X^3+8)と(X^2-4)(X^4-9)で生成されるQ[X]のイデアルJとするとき、J=(f(X))となるような多項式を求めよ。 わからない問題がたくさんあって申し訳ないんですが、もしわかる方いたらぜ教えていただけたらと思います。
- ベストアンサー
- 数学・算数
- 最小分解体
ｆ（X）＝（X^4+X^2-6)(X^3-7)∈Ｑ[X]とする。（C[X]においては、f(X)は一次式に分解する。） f(X)のR上の最小分解体Lとその拡大次数[L:R]を求めよ。 Lはなるべくわかりやすく与えること。 ちなみに定義として 拡大K/Fにおいて、KはF上のベクトル空間とみなせる。Fベクトル空間としてのKの基底、および次元をKのF-基底、K/Fの拡大次数と言い、拡大次数を[K:F]と書く。 この問題がわかりません。前にもR上の最小分解体ではなく、Q上の最小分解体について答えていただいたのですが、R上の場合はどうなるのでしょうか。解ける方いたらよろしくお願いします
- ベストアンサー
- 数学・算数
- 代数の体の計算問題について、教えてください。
次の問いをご教授願います。 問題 ｘ＝i＋√3と置く。有理数ｋに対して、以下の問いに答えよ (1)√3を、ｘの３次以下の有理係数多項式で表せ。 (2)iを、ｘの３次以下の有理係数多項式で表せ。 (3)1/2+i＋√3を、ｘの３次以下の有理係数多項式で表せ。 です。 最小多項式が、ｘ＾４－４ｘ＾２＋１６＝０になることは、求められましたが、上記の問題の答えが下のようになる解法手順がわからずに困っています。 (1)√3＝｛－(ｘ＾3)/8｝＋ｘ (2)i=(ｘ＾3)/8 (3)1/2+i＋√3=－(x^3－2x^2)/16 ご教授願います。宜しくお願いします。
- ベストアンサー
- 数学・算数
- ガロア拡大についてなのですが…
代数学の本を読んでいて、ちょっと理解しにくい部分があったので、質問させていただきます。 「体Ｋを含むような代数体がＱ(有理数全体の集合)上のガロア拡大体ならば、Ｋの原始元αと同時に、αの最小多項式の根α1,α2…,αnを含んでいなければならない」という風に書かれていたのですが…αを含まなきゃならないのはわかるのですが、なぜα1,α2…,αnまで、含む必要があるのでしょうか?? すっきりせず気持ちが悪いので、どなたかお知恵をお貸ししていただけると幸いです。
- ベストアンサー
- 数学・算数
- 最小分解体と拡大次数について
ｆ（X）＝（X^4+X^2-6)(X^3-7)∈Ｑ[X]とする。（C[X]においては、f(X)は一次式に分解する。） f(X)のＱ上の最小分解体Kとその拡大次数[K:Q]を求めよ。 Kはなるべくわかりやすく与えること。 ちなみに定義として 拡大K/Fにおいて、KはF上のベクトル空間とみなせる。Fベクトル空間としてのKの基底、および次元をKのF-基底、K/Fの拡大次数と言い、拡大次数を[K:F]と書く。 この問題がよくわかりません。解ける方いたらよろしくお願いします。
- ベストアンサー
- 数学・算数
- 代数の既約多項式の問題です。
代数の既約多項式の問題です。 a_n(x^n)＋a_n-1(x^n-1)～＋a_2(x^2)＋a_1(x)＋a_0=0 （a_0,a_1,・・・a_n∈Q:有理数） が既約とする。この方程式の解がn次未満のQ係数多項式の解とはならない事を示せ。 既約多項式:これ以上約せない多項式 わかる方いましたらよろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 体での共役の定義って?
複素数での共役の定義を一般的に述べればどういう事か考えています。 a+biとa-biを掛けたり足したりすると実数になり,実数体は複素数体の真の部分体ですよね。 従って、これらの事を考慮して 最小多項式をとりあえず調べてやってみました。 1+iは0次式a=0の解には当然成り得ません。また一次式ax+b=0の解にも成り得ませんから更に二次式ax^2+bx+c=0…(*)を考えるとこれに1+iを代入して (2a+b)i+(b+c)=0を得,2a+b=b+c=0でなければなら事。 c=0の場合はb=a=0となり不適。よってc≠0でb=-c,a=c/2。 よって(*)に代入して c/2x^2-cx+c=0で両辺を2/c倍してx^2-2x+2=0。これが1+iのR上の最小多項式。 そしてこの方程式を解くと,x=1±iで他の解はx=1-i。 [3]√2のＱ上の最小多項については α=[3]√2と置くと,α^3=2なのでx^3-2=0が[3]√2のＱ上の最小多項式。 この3次方程式をQ上で解くと因数分解できないので他の解は無し。 R上で解くとx^3-2=(x-[3]√2)(x^2+[3]√2x+[3]√2)=0. よって他の解はx=(-[3]√2±√([3]√4-4[3]√2))/2 となりました。-[3]√2±√([3]√4-4[3]√2))/2は互いを足しても掛けても[3]√2でQの元にはなりません。 α∈E＼K(Eは可換体Kの拡大体)が代数的な時。最小多項式が偶数次数の場合には場合には共役な解の対になっているが奇数次数の場合には共役対を持たない解がある。 [結論] 3次の場合にはペア無しが1つ現れる。4次の場合にはふたペアになると予想します。 従って,分かった事はどの元にも共役元が存在するとは限らない。 故に 「F'を体。FをF'の真の代数的拡大体とするとa∈Fに於いてx∈Fはaの共役である。 ⇔(def) (i) a∈F'の時はx=a (ii) a∈F＼F'の時は ax∈F'且つa+x∈F' なるx∈F＼F'」 が共役な元の定義だと思いますが…。 如何でしょうか? 体での共役の定義をご存知の方いらっしゃいましたらお教え下さい。
- 締切済み
- 数学・算数
- ガロア拡大体とその部分体について
ガロア群の構造を考えているのですが煮詰まっています。 Qを有理数として、体の拡大Q(√2,exp(2πi/5))/Qについて考えています。(以後√2=x,exp(2πi/5)=z,L=Q(x,z)と書きます。） この時、xの最小多項式がx^2-1,zの最小多項式がz^4+z^3+z^2+z+1となるから、LはQのガロア拡大となり拡大次数は2*4=8。よって、ガロア群の位数も8。ここでガロア群の生成元を考えたいのですが、一つは、τ(x)=-x,τ(z)=zとなるようなτであると思うのですが、もう一つをどのように考えればよいのかわかりません。 (1)z→z^2,z^2→z^3,z^3→z^4,z^4→z^5,z^5→z のように一個ずつずれるような写像 (2)z→z^2となるような写像 (3)その他 何が正解でなぜなのかを教えていただけないでしょうか。5乗根だけでなく、他の円分体のときのガロア群の生成元についての考え方についても教えていただけると幸いです。
- ベストアンサー
- 数学・算数
- 代数の問題についてです。
以下の代数の問題について教えてください １．Ｑ（√２、√３、√５）＝Ｑ（√２+√３+√５）となることを示せ。 ２．[Ｑ（√２、√３、√５）: Ｑ]をもとめよ ３．√２+√３+√５のＱ上の既約多項式（最小多項式）を求めよ ４．ωを ｘ＾２＋ｘ＋１ の根としたときＱ（３√２（以下、これは２の３乗根） 、ω）の自己同型写像であって３√２とωを入れ替えるものが存在するか？ ５．Ｆ⊂Ｂ⊂Ｅ:体の塔、 Ｂ: ｆ（ｘ）∈Ｆ[x]のＦ上の分解体、 Ｅ: ｇ（ｘ）∈Ｆ[x]のＦ上の分解体 とする。 このとき、写像Ψ : Gal(E/F) → Gal(B/F) ＜σ → σ｜B＞ は全射であることを示せ。
- 締切済み
- 数学・算数
補足
β = {-α ± √(3(α^2 + 4))・i}/2 となりました。