- 締切済み
次の同型を示せ
- みんなの回答 (1)
- 専門家の回答
みんなの回答
質問内容から考えて、これがわからないというのはありえないと思います。 回答をみても恐らく理解できないでしょう。 質問者さんがやるべきことは、ここで質問するのではなく、教科書を読むことです。
関連するQ&A
- 同型であることの示し方を教えてください。
整数Zと有理数Qが加法群として同型であるかどうかを示したいのですが、 同型であることを示す証明がいまいちできません。 写像をどのように定義すればいいのですか? 写像を定義すればあとその写像が f(ab)=f(a)f(b)であることを示して 全射であることを示せばいいと思うのですが・・ 写像がいまいちわかりません。 あと、R → R*=R-{0} の時の写像もどのように考えればいいのでしょうか?
- ベストアンサー
- 数学・算数
- 同型写像に関する問題
問題を解いていて A→Bが環の同型写像であるとき、その既約剰余群 (A)^* → (B)^* が群の同型写像になるってことを証明しないといけないらしいんですが、そのままいえないんですか? どうやって証明すれば良いんですか?
- 締切済み
- 数学・算数
- 同型の証明です。
群論の問題なのですが… 整数全体がなす加法群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)の証明の方法がよくわかりません… できるだけわかりやすく教えていただけるとうれしいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 同型の質問です
ある命題の証明の途中で同型を示そうと思ったのですが,いまいちわからなかったので,ご助言いただければ幸いです・ 命題: 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)がいまいちわかりませんでした. よろしければご助言お願い致します
- ベストアンサー
- 数学・算数
- 群論の同型定理について
同型定理Bの証明について分からないので教えてください。 画像内の証明は参考書の証明です。 この過程が分かりません。 埋め込み写像とか、写像iやρが準同型になる理由など… KerfやImfが分かったところで、なぜ正規部分群になるのでしょうか? 1行ずつ分かりやすく説明していただけたら助かります。 正規部分群、核および像、準同型定理がどういうものかはなどは理解しています。 色々と分からないのですがよろしくお願いします。
- 締切済み
- 数学・算数
- 環の準同型と剰余環について
Zを整数環、AとBを可換環、Hom(A,B)をAからBへの環の準同型写像の全体の集合とします。 A ~= BをAとBが同型だという記号とします。 質問1 f(x,y)∈Z[x,y]とするとき、I=(f(x,y))はZ[x,y]のイデアルです。 ある本に、 Hom(Z[x]/(F) , A) ~= {a∈A | f(a)=0} (F∈Z[x]) とあるのですが、多変数については「同じことが成立する」としか書いていません。 これの類推は、 Hom(Z[x,y]/I , A) ~= {a , b ∈A |f(a,b)=0} でよいでしょうか?間違いなら、なにが同型でしょうか?(できれば証明付きで) 質問2 g(x),h(x),a(x)∈Z[x]とします。Z[x]のイデアル J=(g(x) , h(x))=g(x)Z[x] + h(x)Z[x] について、剰余環Z[x]/Jの元はとして、 a(x)+J、つまりa(x)+g(x)Z[x] + h(x)Z[x] 乗法の単位元は 1+J 加法の単位元は 0+J = J であってるのでしょうか? 特に質問1はネットで調べてもあまり出てきません。調べ方のコツか何かありましたら、あわせてご教授願います。
- 締切済み
- 数学・算数
- 巡回群Z_nの自己同型写像の数
巡回群Z_nの自己同型写像の数を求めろという問題なのですが、 小さい数で試すと、きっとnと互いに素な数と同じだけあるように思います。(自己同型写像={a→a^p:pはnと互いに素}というようなかんじ) ですが、うまく証明が出来ません。どなたか証明と、もし間違っていたら答えを教えていただけませんでしょうか。
- ベストアンサー
- 数学・算数