- 締切済み
Q上既約多項式x^3+px+qの最小分解体(修正版)
guumanの回答
- guuman
- ベストアンサー率30% (100/331)
√D=a・α^2+b・α+c として α^3+p・α+q=0 を使うと c^2-2・a・b・q=D 2・b・c-2・a・b・p-a^2・q=0 2・a・c+b^2-a^2・p=0 これにより a=b=0 または a≠0かつ(b/a)^3+p・(b/a)+q=0 (b/a)^3+p・(b/a)+q=0は与式が既約であるからありえないので a=b=0
関連するQ&A
- 体 変数多項式環 既約多項式
体 K 上の 1 変数多項式環を K[X] とし，X^3- 2 によって生成される K[X] のイデアルを I とし、 剰余環 A = K[X]/I について。 K が有理数体 Q であるとき，X^3- 2 は Q[X] の既約多項式であることとA が体であることをどのように示していけばいいでしょうか。
- ベストアンサー
- 数学・算数
- 有理数体上既約多項式x^3+ax+bの最小分解体
が有理数体の3次のガロア拡大体になる例を教えてください。 6次ではなく3次の拡大体になる場合の有理数a,bの値例を教えてください。
- ベストアンサー
- 数学・算数
- 有理化せずに複素数の偏角を求める方法について
有理化せずに複素数の偏角を求める方法について ある有理化されていない複素数 C/(A+Bi) があっとして (A,B,Cは定数) これを有理化せずに偏角を求める方法はありますでしょうか? 普通は有理化して (D+Ei)/F ここから θ=atan(E/D) と求まると思います。 絶対値の計算は有理化しないでも √(C^2)/√(A^2+B^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 )の元なのだが、厄介な形の割り算になっているのかということです。 どなたか疑問に答えてください。お願いします。
- ベストアンサー
- 数学・算数
- a、b、c、dは実数の定数である
方程式x^4+ax^2+bx^2+cx+d=0は4つの虚数解を持つ その解の内、ある2つの和は19+2iであり、他の2つの積は4+5iである このときa、b、c、dの値を求めよ 解の2つをα、βとするとそれらの共役複素数も解なのはわかりましたがそこからを教えてください
- 締切済み
- 数学・算数
- ２の虚数乗は複素数になるか？
虚数iの2乗は-1になると習ったことがあります。 では、2のi乗は複素数になるのでしょうか？ 私の知っている限り、複素数はa+ib(a,bは実数)となるように習ったと思います。 オイラーの式でeのiπ乗は-1になることも習ったことがあります。 しかし、eの場合は特別なのではないかと思います。 虚数乗の意味もわかりません。 このような計算は許されていないのでしょうか？ 教えてください。
- ベストアンサー
- 数学・算数
- ２次方程式。解と係数の関係の問題
「２次方程式ｘ^2＋ａｘ＋ｂ＝０が０でない解α、Βをもち、α^2＋Β^2＝３、１／α＋１／Β＝１が 成り立つとき、実数ａ、ｂの値を求めよ」という問題ですが、 解と係数の関係より、α＋Β＝－ａ、αΒ＝ｂ よって、α^2＋Β^2＝（α＋Β）^2－２αΒ＝ａ^2－２ｂ＝３ １／α＋１／Β＝(α＋Β)／αΒ＝－ａ／ｂ＝１より、（ａ、ｂ）＝（－３、３）、（１、－１）と計算できます。 答えも（ａ、ｂ）＝（－３、３）、（１、－１）となっていますが、 実際に（ａ、ｂ）を使ってできる２次方程式は、 ｘ^2－３ｘ＋３＝０・・・・・(1)、ｘ^2＋ｘ－１＝０・・・・・(2)の２つで、 (1)について解くとｘ＝（３±√－３）／２、(2)ついて解くとｘ＝（－１±√５）／２となり、(1)が虚数解と なりますが、問題で、０でない実数解α、Βをもつとなっているので、虚数解でも問題ないとのこと でしょうか？ ちなみに、(1)の解だと１／α＋１／Β＝１は成り立ちません。 α＝３＋√－３、Β＝３－√－３とおいて、 １／（３＋√－３）／２＋１／（３－√－３）／２＝２／（３＋√－３）＋２／（３－√－３）（有理化？）して （２（３－√－３）＋２（３＋√－３））／（３－√－３）（３＋√－３）＝（６＋６）／（９－３）＝２で成り立ちません。 出展：武蔵工大
- ベストアンサー
- 数学・算数
- 体での共役の定義って?
複素数での共役の定義を一般的に述べればどういう事か考えています。 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'」 が共役な元の定義だと思いますが…。 如何でしょうか? 体での共役の定義をご存知の方いらっしゃいましたらお教え下さい。
- 締切済み
- 数学・算数
お礼
よく分かりました。 ありがとうございました。