- ベストアンサー
準同型の写像
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
例えば、巡回群Z/3Z (0,1,2) から、巡回群Z/6Z (0,1,2,3,4,5) への写像を f(0)=0, f(1)=2, f(2)=4 と決めれば、 f(0+1)=f(1)=2, f(0)+f(1)=0+2=2 f(0+2)=f(2)=4, f(0)+f(2)=0+4=4 f(1+2)=f(0)=0, f(1)+f(2)=2+4=0 f(0+0)=f(0)=0, f(0)+f(0)=0+0=0 f(1+1)=f(2)=4, f(1)+f(1)=2+2=4 f(2+2)=f(1)=2, f(2)+f(2)=4+4=2 ですから、fは、準同型写像になっています。ところが、巡回群Z/3Z (0,1,2) から、巡回群Z/5Z (0,1,2,3,4) への写像の場合は、例えば、 f(0)=0, f(1)=2, f(2)=3 と決めても、 f(1+1)=f(2)=3, f(1)+f(1)=2+2=4 ですから、fは、準同型写像になっていません。
関連するQ&A
- 巡回群Z_nの自己同型写像の数
巡回群Z_nの自己同型写像の数を求めろという問題なのですが、 小さい数で試すと、きっとnと互いに素な数と同じだけあるように思います。(自己同型写像={a→a^p:pはnと互いに素}というようなかんじ) ですが、うまく証明が出来ません。どなたか証明と、もし間違っていたら答えを教えていただけませんでしょうか。
- ベストアンサー
- 数学・算数
- 群論【有限群への準同型写像】
無限巡回群Zから有限群Gへの準同型写像の数は|G|だと本に書いてあるのですが、 どうしてなんでしょうか。 有限群Gのすべての元はGの内部で有限巡回群を作るということですか?
- ベストアンサー
- 数学・算数
- 同型の証明です。
群論の問題なのですが… 整数全体がなす加法群Zに対して、G=Z×Z={ ( a,b ) |a,b ∈ Z } とおき これを成分ごとの加法 ( a , b )+( a' , b' )=( a+a' , b+b' ) により群と見なす。 2元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、 写像 φ : G → H を φ(( a , b )) = ( 2a + 6b , 4a + 8b) = ax + by により定義する。ことのきつぎの問いに答えよ。 (1)φは群の同型写像であることを示す。 (2)φによるHの像 K= φ (H) = { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (3)GのKによる剰余群 G / K に対して群の同型 G / K ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (1)、(2)は示すことができました。 (3)の証明の方法がよくわかりません… できるだけわかりやすく教えていただけるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 群同型,可換群,巡回群についてのQ&A
よろしくどうぞ。素朴な疑問です。お答えいただけましたら大変幸いでございます(反例も賜れれば尚幸いです)。 Zを整数全体の集合,l,k,m,n,m',n'∈Zで ~は群同型を表す。 Z_l~Z_k且つZ_m~Z_nなら Z_l(+)Z_m~Z_k(+)Z_nは正しいでしょうか? Z_mはmがどんな時,可換群? Z_mはmがどんな時,巡回群? Z_m(+)Z_nはm,nがどんな時,可換群や非可換群になるのでしょう? Z_m(+)Z_nはm,nがどんな時,巡回群や非巡回群になるのでしょう? gcd(m,n)=1ならZ_mn~Z_m(+)Z_nは正しいでしょうか? gcd(m,n)≠1ならZ_mnは何と同型になるのでしょうか?またZ_m(+)Z_nは何と同型になるのでしょうか? Z_m(+)Z_nとZ_m'(+)Z_n' (但し,mn=m'n')はどんな時,同型でどんな時に非同型になるのでしょうか?
- 締切済み
- 数学・算数