- ベストアンサー
代数学の質問です
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
こんにちは😊✨ご指摘の通り、私の説明に誤りがありました。申し訳ございません🙇♀️💦 σはKからK'への写像であり、Lの元に直接適用することはできません🤔 改めて、正しい証明の概要を説明いたします🌟 まず、Kの線型空間としてのLおよびK'の線型空間としてのL'を考えます😄✨ 次に、Kの任意の元aに対して、σ(a)をK'の元として定義されていることを利用し、σを拡張してL上の線型写像σ':L→L'を定義します🎉🌈✨ f(X)がL上で分解できることを示します。つまり、f(X)=c(X-α₁)(X-α₂)...(X-α_n)となるようなLの元α₁,α₂,...,α_nが存在することを示します🌟 σ'をf(X)の各係数に適用することで、fσ(X)がL'上で分解できることを示します。つまり、fσ(X)=c'(X-σ'(α₁))(X-σ'(α₂))...(X-σ'(α_n))となるようなL'の元σ'(α₁),σ'(α₂),...,σ'(α_n)が存在することを示します🌠✨ 以上から、σが環同型写像τ:L→L'に拡張され、制限写像τ|K=σとなることが示されました👍🌈✨ 私の以前の説明での誤りについて謝罪申し上げます🙇♀️💦この回答が解決の一助となれば幸いです😊💕
その他の回答 (1)
- 五十嵐 皐月(@OK-WAVE_)
- ベストアンサー率48% (96/197)
こんにちは😊✨K, K'を体、σ:K→K'を環同型写像とし、K上の多項式環K[X]の元f(X)の最小分解体をL、K'[X]の元fσ(X)のK'上の最小分解体をL'としますね👌💫 まず、f(X)の最小分解体Lは、f(X)のすべての根を含むような最小の拡張体です😄✨同様に、fσ(X)の最小分解体L'は、fσ(X)のすべての根を含むような最小の拡張体ですね🌟 次に、環同型写像σを拡張して、τ:L→L'となるような写像を構成し、τ|K=σであることを示します🌈✨ τを次のように定義します😃💡: a) Lの元αがf(X)の根である場合、f(α)=0であり、σ(α)はfσ(X)の根です。このとき、τ(α)=σ(α)と定義します🎉 b) Lの元αがf(X)の根でない場合、αはKに属していると仮定できます。このとき、τ(α)=σ(α)と定義します🌸 τが環同型写像であることを示します😄🌟: a) τが加法に関して同型であることを示します: τ(α+β)=τ(α)+τ(β)が成り立つことを確かめます🌈✨ b) τが乗法に関して同型であることを示します: τ(α*β)=τ(α)*τ(β)が成り立つことを確かめます🌠✨ τ|K=σが成り立つことを示します😆👍: Lの元αがKに属すると仮定し、τ(α)=σ(α)が成り立つことを確認します💡 以上のステップで、σが環同型写像τ:L→L'に拡張され、制限写像τ|K=σとなることが示されました🎉🌈✨ この回答が解決の一助となれば幸いです😊💕
お礼
簡潔でわかりやすい回答ありがとうございます。 一つだけ質問があります。「 Lの元αがf(X)の根である場合、f(α)=0であり、σ(α)はfσ(X)の根です。」 とありますが、σ:K→K'でαはLの元で(Kの元でない場合、)σ(α)は考えられない気がするのですが、どうなのでしょうか? 何度も質問してすいません。。
関連するQ&A
- 代数の問題についてです。
以下の代数の問題について教えてください 1.Q(√2、√3、√5)=Q(√2+√3+√5)となることを示せ。 2.[Q(√2、√3、√5): Q]をもとめよ 3.√2+√3+√5のQ上の既約多項式(最小多項式)を求めよ 4.ωを x^2+x+1 の根としたときQ(3√2(以下、これは2の3乗根) 、ω)の自己同型写像であって3√2とωを入れ替えるものが存在するか? 5.F⊂B⊂E:体の塔、 B: f(x)∈F[x]のF上の分解体、 E: g(x)∈F[x]のF上の分解体 とする。 このとき、写像Ψ : Gal(E/F) → Gal(B/F) <σ → σ|B> は全射であることを示せ。
- 締切済み
- 数学・算数
- 原始多項式について
原始多項式について下記の問題と証明が合っているか確認したいのですが、 まず、原始多項式f(x)はf(x)=a0x^n+…+an-1x +anにおいてa0, …, an-1, anの最大公約元が可逆元の時を言います。 [問題] 一意分解環Aとその商体Kに対して自然な準同型π: A→K、a→a/1を定め F(x)=π(a0)x^n+…+π(an-1)x+π(an) f(x)=a0x^n+…+an-1x+an と置いた時、F(x), f(x)は原始多項式 [証明] Kは体なのでπ(ai)∈Kは可逆元でその最大公約元も可逆元。従ってF(x)は原始多項式。 またπ(ai)の逆元π(ai)^-1についてπ(ai)^-1=π(ai^-1) より逆元ai^-1がありf(x)も原始多項式である。 以上、考え方が合っているかご教授頂けますと幸いです。よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 線形代数の問題
こんにちは、お世話になります。以下の2問についてですが 1. π_nをn次多項式空間とし、f:π_n→π_nとする,f(p)=p-∫p(0→1)は一次写像ならば、fの核と像を求めよ。また、fは同型写像であるか。基底{1,x^2,x^3,…,x^n}に対して、fを表す行列A_fを求めよ。 核は、定数とすぐにわかるのですが、像の求め方、また同型写像であるか否かと行列の求め方がわかりません。 2.Aが(m,n)行列、b∈R^m∩Im(A)のとき、Ax=bの解全体 がアフィン部分空間を成すことを示せ。 2については何をどうすればいいのか、検討もつきません。 どなたかわかりやすくご指導いただけると幸いです。 よろしくお願いします。m(__)m
- 締切済み
- 数学・算数
- 最小分解体
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))となるような多項式を求めよ。 わからない問題がたくさんあって申し訳ないんですが、もしわかる方いたらぜ教えていただけたらと思います。
- ベストアンサー
- 数学・算数
- 代数(環論)の問題です。 分かる方お願い致します
A=Z[X]をXを不定元(変数)とする一変数多項式、Bを任意の可換環であるとする。 (1) Zの元1をBの単位元1に対応させることによって、環の準同型写像Z→Bが定まることを示せ。 (2) Bから任意に元bを選ぶ、このときA∋Xをbへ移す準同型写像f:A[X]→Bがただ一つ存在することを示せ。このことにより、「A=Z[X]からBへの準同型写像全体のなす集合」をHom(A,B)と表すと、集合としての一対一対応 Hom(Z[X],B)≅B が成り立つことを示せ。 (3) F∈Z[X]が生成するイデアル(F)⊂Z[X]について剰余環Z[X]/(F)を考える。準同型写像f:Z[X]/(F)→Bと、 剰余に関する標準全射π:Z[X]→Z[X]/(F)を合成することにより、対応f∘π:Z[X]→Bが得られる。「Z[X]/FからBへの準同型写像全体のなす集合」をHom(Z[X]/(F),B)と表す時、上に述べた対応f→f∘πにより、Hom(Z[X]/(F),B)は、Hom(Z[X],B)の部分集合になること示せ。 (4) 小問(3)の包含関係Hom(Z[X]/(F),B)⊂Hom(Z[X],B)と、小問い(2)で与えた集合としての一対一対応関係Hom(Z[X],B)≅Bから、 Hom(Z[X]/(F),B)≅{b∈B|F(b)=0} なる一対一対応ができることを示せ。 (5) 次の集合の元の個数をそれぞれ求めよ。 Hom(Z[X]/(X^4-2),Q),Hom(Z[X]/(X^4-2),R),Hom(Z[X]/(x^4-2),C)
- 締切済み
- 数学・算数
- Gal(L/K)∋σ→σ(α) ∈Xが単射の理由
「単純代数拡大L⊃K(α)⊃Kの場合、ガロア群の位数に関する不等式について|Gal(L/K)|≦[L:K]が成立する」ことに対する証明問題について考えています。 「環と体の理論(酒井文雄著)p110」には、原始元αのK上の最小多項式をf(x)とし、XをLにおけるfの根の集合としたとき、写像Gal(L/K)∋σ→σ(α) ∈Xが単射であると書かれていますが、この理由がわかりません。 (例えば、簡単な具体例L=C,K=Rのときにはわかります。) もしもおわかりになる方がいらっしゃれば、お教え頂けないでしょうか?
- ベストアンサー
- 数学・算数
お礼
わかりやすい回答ありがとうございました。理解することができました。 感謝します。