- 締切済み
代数学ー群ー写像
- みんなの回答 (2)
- 専門家の回答
みんなの回答
- muturajcp
- ベストアンサー率78% (505/644)
群G,G'に対し、写像 f:G×G'→G , f(x,y)=x (1) f((x,y)(a,b))=f(xa,yb)=xa=f(x,y)f(a,b) (2)Ker(f)={(1,y)|y∈G'}の証明 Ker(f)⊂{(1,y)|y∈G'}の証明 (x,y)∈Ker(f)={(x,y)∈G×G'|f(x,y)=1} →1=f(x,y)=x→(x,y)∈{(1,y)|y∈G'}→Ker(f)⊂{(1,y)|y∈G'} {(1,y)|y∈G'}⊂Ker(f)の証明 (x,y)∈{(1,y)|y∈G'}→x=1→f(x,y)=f(1,y)=1→(x,y)∈Ker(f)→{(1,y)|y∈G'}⊂Ker(f) →Ker(f)={(1,y)|y∈G'} (3)g:G'→Ker(f) , g(y)=(1,y)とするとgは同型写像となるの証明 g(ab)=(1,ab)=(1,a)(1,b)=g(a)g(b)→gは準同型 g(a)=g(b)→(1,a)=(1,b)→a=b→gは単射 (x,y)∈Ker(f)={(1,y)|y∈G'}→x=1→(x,y)=(1,y)=g(y)→gは全射→gは同型写像 (4)h:(G×G')/G'→G , h((x,y)G')=xとするとhは同型写像となるの証明 h((x,y)G'(a,b)G')=h((xa,yb)G')=xa=h((x,y)G')h((a,b)G')→hは準同型 h((x,y)G')=h((a,b)G')→x=a→(x,y)(a,b)^{-1}=(xa^{-1},yb^{-1})=(1,yb^{-1})∈Ker(f)=G' →(x,y)G'=(a,b)G'→hは単射 x∈G→h((x,1)G')=xとなるからhは全射→hは同型写像
- ojisan7
- ベストアンサー率47% (489/1029)
>ご自分の判断や不明点の説明もなく回答のみを求める質問はマナー違反であり ということですのでご注意下さい。「(2)から、わからない」ということは、(1)は、わかったということですね。でも、わたしは、(1)がわかりません。群の直積G×G'はどんな群として定義されているのか、がわかりませんから、答えようがありません。それがわかれば、(2)以降の問題はすべて基本問題です。教科書を良く読んで、もう一度考えてみて下さい。それでも、わからなければ、わかるところまで、ご自分の回答を示して下さい。
関連するQ&A
- 次の代数学の真偽について教えて下さい(理由も)
1.有限個の元からなる巡回群の位数は素数である。 2.同じ素数を位数とする有限群GとG'は同型である。 3.Snの偶置換全体からなる部分集合はSnの部分群である。 4.Snの奇置換全体からなる部分集合はSnの部分群である。 5.群Gの指数2の部分群は正規部分群である。 6.群の準同型写像f:G→G'の像Im(f)はG'の正規部分群だ。 7.群の準同型写像f:G→G'の核Ker(f)はGの正規部分群だ。
- ベストアンサー
- 数学・算数
- 代数学について(部分群を示す)
2.準同型写像f:G⇒G'において像f(G)はG'の部分群であることを示せ。 準同型なので、f(ab)=f(a)f(b)が常に成立する。 ここからどのように部分群であることを示して行くのかを教えてください。
- ベストアンサー
- 数学・算数
- 大学の数学(代数)の問題です。
問)群G1からG2への写像f:G1→G2は群準同型写像であるか。群準同型写像であるならばfの像Imf及び核Kerfを求め、群準同型写像でなければその理由を述べよ。(Snをn次対称群、Zは整数全体のなす集合あるいは加法群) (1)G1=S5、G2=Z;f(σ)=l(σ)(σ∈S5)。ここに、l(σ)はσを互いに素な巡回置換の積で表した時に現れる、長さの最も大きい巡回置換の長さ。 (2)G1=Z/9Z、G2=Z/3Z;f(x+9Z)=2x+3Z(x∈Z) です。誰かわかる方解答よろしくお願いします。
- 締切済み
- 数学・算数
- 環の準同型写像について
R,R'を環とします. 写像Φ:R→R'が任意のRの元x,yに対して Φ(x+y)=Φ(x)Φ(y) Φ(xy)=Φ(x)Φ(y) を満たすとき,Φを環における準同型写像といいますが,具体的にはどのような写像が考えられるのでしょうか? 出来ればΦが全単射になるもの,すなわちRとR'が環として同型となるようなものを教えていただけると助かります. これが分からないために上手い例を考えられず困っています. 詳しい方よろしくお願いします.
- 締切済み
- 数学・算数