- ベストアンサー
同型でない証明
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
問題の乗法群の各元の位数をひとつひとつ調べれば、位数8の元が存在しないことが分かります。ひとつひとつ確かめてください。Z_8には位数8の元があるので、明らかに同型でないです。
関連するQ&A
- 同型の証明です。
群論の問題なのですが… 整数全体がなす加法群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)の証明の方法がよくわかりません… できるだけわかりやすく教えていただけるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 準同型写像についての問題です。
群準同型 φ:C^{×}→C^{×} で Image(φ)=TかつKer(φ)=R^{×}をみたすものを一つ与えよ。 という問題です。 ただし、C^{×}は複素数体の乗法群。 Tは{z∈C^{×}||z|=1}。 R^{×}は、実数体の乗法群です。 自明なことも含め、できるだけ詳しく教えていただけたらうれしいです。
- 締切済み
- 数学・算数
- 同型であることの示し方を教えてください。
整数Zと有理数Qが加法群として同型であるかどうかを示したいのですが、 同型であることを示す証明がいまいちできません。 写像をどのように定義すればいいのですか? 写像を定義すればあとその写像が f(ab)=f(a)f(b)であることを示して 全射であることを示せばいいと思うのですが・・ 写像がいまいちわかりません。 あと、R → R*=R-{0} の時の写像もどのように考えればいいのでしょうか?
- ベストアンサー
- 数学・算数