- 締切済み
群の同型について
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- koko_u_u
- ベストアンサー率18% (216/1139)
では、具体的な群の例を 10個ほど補足に挙げてください。
関連するQ&A
- 群論の同型定理について
同型定理Bの証明について分からないので教えてください。 画像内の証明は参考書の証明です。 この過程が分かりません。 埋め込み写像とか、写像iやρが準同型になる理由など… KerfやImfが分かったところで、なぜ正規部分群になるのでしょうか? 1行ずつ分かりやすく説明していただけたら助かります。 正規部分群、核および像、準同型定理がどういうものかはなどは理解しています。 色々と分からないのですがよろしくお願いします。
- 締切済み
- 数学・算数
- A加群A(Λ)からA加群Mへの準同型写像と同型な物
代数学、加群の勉強をしていたところ壁にぶち当たってしまいました・・・ Aは可換環とします。 A加群Mについて A(Λ)をAのΛによる直積(すべてのλ∈Λに対してAλ=A)とする 同様にM(Λ)も定めます HomA(A(Λ),M) と M(Λ) を考えたときこれら二つは同型になりますか? ちなみに AのΛによる直和を(+)Aとして HomA((+)A,M)とM(Λ)が同型なのは定理として証明が乗っているのですが、それを更に直積まで拡張した場合どうなるのかについては一切の説明がありませんでした。
- ベストアンサー
- 数学・算数
- G,G'を有限群とし,ψ:G→G'を準同型とするとき
G,G'を有限群とし,ψ:G→G'を準同型とするとき Im ψの位数がG,G'の位数の約数となることを証明せよ. また,G,G'の位数が互いに素なとき,GからG'への準同型写像をすべて求めよ. という問題なのですが,Im ψがG'の部分群であり,ラグランジュの定理より Im ψの位数がG'の位数となることはわかるのですが,他がわかりませんどなたか解説お願いします.
- ベストアンサー
- 数学・算数
- 同型写像に関する問題
問題を解いていて A→Bが環の同型写像であるとき、その既約剰余群 (A)^* → (B)^* が群の同型写像になるってことを証明しないといけないらしいんですが、そのままいえないんですか? どうやって証明すれば良いんですか?
- 締切済み
- 数学・算数
- 準同型写像がみたす性質
Gを0を零元とする群、F:G→Gを準同型写像とします。 準同型定理、G/KerG~ImG = がなりたちますが、他に満たす性質はご存知ないでしょうか。
- ベストアンサー
- 数学・算数
- 同型の質問です
ある命題の証明の途中で同型を示そうと思ったのですが,いまいちわからなかったので,ご助言いただければ幸いです・ 命題: 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)がいまいちわかりませんでした. よろしければご助言お願い致します
- ベストアンサー
- 数学・算数
- 同型であることの示し方を教えてください。
整数Zと有理数Qが加法群として同型であるかどうかを示したいのですが、 同型であることを示す証明がいまいちできません。 写像をどのように定義すればいいのですか? 写像を定義すればあとその写像が f(ab)=f(a)f(b)であることを示して 全射であることを示せばいいと思うのですが・・ 写像がいまいちわかりません。 あと、R → R*=R-{0} の時の写像もどのように考えればいいのでしょうか?
- ベストアンサー
- 数学・算数