- ベストアンサー
拡大体？
nuubouの回答
- nuubou
- ベストアンサー率18% (28/153)
有理数体と有限体を取り違えていました 下の回答はすべて嘘です どうもおさがわせしました
関連するQ&A
- ガロア拡大体とその部分体について
ガロア群の構造を考えているのですが煮詰まっています。 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乗根だけでなく、他の円分体のときのガロア群の生成元についての考え方についても教えていただけると幸いです。
- ベストアンサー
- 数学・算数
- ガロア拡大でない例について
ガロア理論を勉強しています。ガロア拡大については、ある程度理解できたつもりなのですが、有理数体Ｑに2の3乗根を添加した体Ｑ(3√2)がＱのガロア拡大でない理由がわかりません。 (複素数体Ｃが実数体Ｒのガロア拡大になっていることはわかります。) もしもわかられる方がおられれば、お教えいただければ幸いです。
- ベストアンサー
- 数学・算数
- x^3=2のガロア拡大体の元
x^3=2の係数体は有理数体Q 、また1の3乗根をωとすると、この方程式のガロア拡大体をEとすれば、E=Q{³√2 ,³√2ω ,³√2(ω^2)} ここで基礎体として有理数体に1のn乗根を必要なだけ添加した体を考え、これをKとするK=Q(ω)。するとE=K{³√2 ,³√2ω ,³√2(ω^2)}となる。 ここからがわからないところです。 K(³√2 )の元は、³√2,ωと有理数を加減乗除したすべての数になり、³√2 について整理すれば、qやpのmやnは右下につく添え字として、 {qm(³√2)^m + qm-1(³√2)^(m-1)+qm-2(³√2)^(m-2)・・・+q0} /{pn(³√2)^n + pn-1(³√2)^(n-1)+pn-2(³√2)^(n-2)・・・+p0}・・・(1) となる。 自分でK(³√2 )の元を具体的に計算してみても、a,b,c,d整数として、 (³√2-ω+b/a)÷(d/c)={³√2c-ωc+bc/a}/dと(1)式と似てもにつきません。 一つ目の疑問として、(1)式ではなぜωがでてこないのか。 次はpやqは有理数なのか、そして最後に(1)式の分母や分子だけでもK(³√2 )の元なのだが、厄介な形の割り算になっているのかということです。 どなたか疑問に答えてください。お願いします。
- ベストアンサー
- 数学・算数
- 有理数体上既約多項式x^3+ax+bの最小分解体
が有理数体の3次のガロア拡大体になる例を教えてください。 6次ではなく3次の拡大体になる場合の有理数a,bの値例を教えてください。
- ベストアンサー
- 数学・算数
- ガロア理論についてなのですが
代数学の問題で、 体Ｋ＝Ｑ(√m，√n)はＱ上ガロア拡大で、ガロア群Ｇは、 (Z/2Z)^2と同値であることを示せ。 なんですが、体Ｑ(√m，√n)が、Ｑ上４次拡大であることは示せたのですが、そこからどうすればいいのかわかりません。 できればガロア理論に関しての参考ＵＲＬか、解法を教えていただきたいのですが。お願いしますm(__)m
- ベストアンサー
- 数学・算数
- ガロア理論:単拡大定理の意義
ガロア理論で,有理数体を係数体として,その根をx1,x2,...xnとしたとき,これらの根を添加した体Q(x1,x2,...xn)と単拡大定理を使った拡大Q(V(x1,x2,...xn)とはどこが違うのでしょうか.もちろん表現として違うことはわかりますが,この根を変数とするパラメータVが存在することによって,体を扱う上で何が違うのでしょうか.単拡大定理の存在理由が今一つわからないので,教えてください.
- ベストアンサー
- 数学・算数
- ガロア拡大についてなのですが…
代数学の本を読んでいて、ちょっと理解しにくい部分があったので、質問させていただきます。 「体Ｋを含むような代数体がＱ(有理数全体の集合)上のガロア拡大体ならば、Ｋの原始元αと同時に、αの最小多項式の根α1,α2…,αnを含んでいなければならない」という風に書かれていたのですが…αを含まなきゃならないのはわかるのですが、なぜα1,α2…,αnまで、含む必要があるのでしょうか?? すっきりせず気持ちが悪いので、どなたかお知恵をお貸ししていただけると幸いです。
- ベストアンサー
- 数学・算数
- 最小分解体
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))となるような多項式を求めよ。 わからない問題がたくさんあって申し訳ないんですが、もしわかる方いたらぜ教えていただけたらと思います。
- ベストアンサー
- 数学・算数