- ベストアンサー
Gal_Q(x^4+1)がZ_2×Z_2の同型
Gal_Q(x^4+1)がZ_2×Z_2と同型になる理由についてなぜなのかがよくわかりません。 (具体的に言うと、Gal_Q(x^4+1)の構成要素と、その各々の元がZ_2×Z_2の各元にどのように対応しているのかがよくわかりません。) x^4+1=0を計算すると、±(1+i)/√2, ±(1-i)/√2となり、Gal_Q(x^4+1)がＱ-同型写像であることと、Z_2×Z_2が{１,α,β,αβ}で構成されるアーベル群であることはわかります。 ※Gal_Q(x^4+1)は体Ｑ上の多項式x^4+1のガロア群 もしもわかられる方がおられれば、お教え頂けないでしょうか？
- graphman2
- お礼率84% (111/131)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
＞x^4+1=0を計算すると、±(1+i)/√2, ±(1-i)/√2となり、 4つのどれかを a とすると, 残りの3つは, -a, 1/a, -1/a, とあらわされます。 1, f, g ∈ G = Gal_Q(x^4 + 1), に対して, f(a) = -a, g(a) = 1/a, とすると, fg(a) = -1/a （ここでは, G × { a, -a, 1/a, -1/a } → { a, -a, 1/a, -1/a } という作用を考え, G から S_4 への準同型写像を定義することで, G を S_4 の部分群とみなしています） G の位数は 4 ですから, G = { 1, f, g, fg } で, 乗積表を作ってみれば, G が Klein の4元群（と同型）であることが, おわかりになると思います。 Z_2 × Z_2 も, 加法群とみなして, 表を作ってみれば, やはり, Klein の4元群と同型です。
関連する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乗根だけでなく、他の円分体のときのガロア群の生成元についての考え方についても教えていただけると幸いです。
- ベストアンサー
- 数学・算数
- 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のときにはわかります。) もしもおわかりになる方がいらっしゃれば、お教え頂けないでしょうか？
- ベストアンサー
- 数学・算数
- 同型であることの示し方を教えてください。
整数Ｚと有理数Ｑが加法群として同型であるかどうかを示したいのですが、 同型であることを示す証明がいまいちできません。 写像をどのように定義すればいいのですか？ 写像を定義すればあとその写像が f(ab)=f(a)f(b)であることを示して 全射であることを示せばいいと思うのですが・・ 写像がいまいちわかりません。 あと、R → R*=R-{0} の時の写像もどのように考えればいいのでしょうか？
- ベストアンサー
- 数学・算数
- 同型の証明です。
群論の問題なのですが… 整数全体がなす加法群Zに対して、G＝Z×Z＝{ ( a,b ) ｜a,b ∈ Z } とおき これを成分ごとの加法 ( a , b )＋( a' , b' )＝( a＋a' , b＋b' ) により群と見なす。 ２元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、 写像 φ : G → H を φ(( a , b )) = ( 2a ＋ 6b , 4a ＋ 8b) = ax ＋ by により定義する。ことのきつぎの問いに答えよ。 (１)φは群の同型写像であることを示す。 (２)φによるHの像 K＝ φ (H) ＝ { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (３)GのKによる剰余群 G / K に対して群の同型 G / K ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (１)、(２)は示すことができました。 (３)の証明の方法がよくわかりません… できるだけわかりやすく教えていただけるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 同型の質問です
ある命題の証明の途中で同型を示そうと思ったのですが,いまいちわからなかったので,ご助言いただければ幸いです・ 命題： R-加群の完全列{0}→X→Y→Z→{0](φ:X→Y,ψ:Y→Z)について、次の性質は同値: (1)R-準同型ρ:Y→Xで,ρφ=1xとなるものが存在する; (2)R-準同型μ:Z→Yで,ψμ=1zとなるものが存在する. (1x,1zはそれぞれX,Zの恒等写像) このとき,次の直和分解を得る: Y=φ(X)○+Ker(ρ) = Ker(ψ)○+μ(Z) ~=X○+Z (○+は直和, ~=は同型を表しています.) 前半の同値性は証明できたので,認めることにします. 後半の証明において,テキストでは, Y = φ(X) ○+Ker(ρ) ・・・✽ となり,φは単射,ψは全射であるから, φ(X) ~= X , ・・・(1) Ker(ρ) ~= Y/φ(X)~=Z ・・・(2) を得る. となっていました.(✽までの過程は自力でできたので割愛させていただきます.) (1)に関しては準同型定理から示せましたが, (2)がいまいちわかりませんでした. よろしければご助言お願い致します
- ベストアンサー
- 数学・算数
- 代数の問題についてです。
以下の代数の問題について教えてください １．Ｑ（√２、√３、√５）＝Ｑ（√２+√３+√５）となることを示せ。 ２．[Ｑ（√２、√３、√５）: Ｑ]をもとめよ ３．√２+√３+√５のＱ上の既約多項式（最小多項式）を求めよ ４．ωを ｘ＾２＋ｘ＋１ の根としたときＱ（３√２（以下、これは２の３乗根） 、ω）の自己同型写像であって３√２とωを入れ替えるものが存在するか？ ５．Ｆ⊂Ｂ⊂Ｅ:体の塔、 Ｂ: ｆ（ｘ）∈Ｆ[x]のＦ上の分解体、 Ｅ: ｇ（ｘ）∈Ｆ[x]のＦ上の分解体 とする。 このとき、写像Ψ : Gal(E/F) → Gal(B/F) ＜σ → σ｜B＞ は全射であることを示せ。
- 締切済み
- 数学・算数
お礼
有り難うございます！！！ 本当にとても！！！よくわかりました。