No.1ベストアンサー
- 回答日時:
=が同型という意味ならば成り立ちます。
x,y∈G,xg=ygとすると
→y^{-1}x∈g
→(yh)^{-1}(xh)=y^{-1}xh∈g/h
→xh(g/h)=yh(g/h)
だから
f:G/g→(G/h)/(g/h),f(xg)=xh(g/h)
とfを定義できる
x,y∈G,f(xg)=f(yg)とすると
→xh(g/h)=yh(g/h)
→y^{-1}xh=(yh)^{-1}(xh)∈g/h
→y^{-1}x∈g
→xg=yg
→fは単射
xh(g/h)∈(G/h)/(g/h)とすると
f(xg)=xh(g/h)だから
fは全射
fは全単射
f((xg)(yg))=f(xyg)=xyh(g/h)
f(xg)f(yg)={xh(g/h)}{yh(g/h)}=xyh(g/h)=f((xg)(yg))
fは準同型
fは全単射準同型
∴
G/g=(同型)=(G/h)/(g/h)
この回答へのお礼
お礼日時:2011/06/28 11:50
ありがとうございます。
勉強になりました。
ここにこの回答を書くのは非常に面倒だったと思います。
丁寧な回答ありがとうございました。
参考にさせていただきます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 p群 1 2022/09/19 13:45
- 数学 位数36のアーベル群で非同型なものを全て書出せ 大学数学の代数学の問題ですがどなたか教えて貰えますか 3 2023/01/14 18:51
- 数学 位数18のアーベル群は同型を除いて何個あるか答えよ。 わからないので考え方や解き方を教えてください。 1 2023/02/08 18:35
- 数学 3次対称群S3はシロー部分群で因数分解できない この問題の証明が分かりません。できる範囲で教えていた 1 2022/12/13 13:10
- 数学 p群G 6 2022/10/07 18:30
- 統計学 並べ替え検定について教えてください。 群Aか群Bの平均を検定統計量にすると思うのですがどのような場合 3 2023/05/13 17:23
- 数学 代数学のわからない問題を教えて頂きたいです。 つぎのn次正方行列の集合Hはn次一般線形群GL(n,R 5 2022/11/19 20:47
- 数学 大学数学の代数の問題です。 二面体群D4={e,σ,σ^2,σ^3,τ,στ,σ^2τ,σ^3τ}を 1 2022/07/13 14:49
- 数学 代数学 大学数学 S,Tが群Gの部分群で、S ∪ TがGの部分群であると仮定する。このときS⊂Tまた 2 2022/11/27 19:42
- 宇宙科学・天文学・天気 私たちの天の川銀河の周りの地図を作ったなら私たちがいる周りの100個の銀河があって、次の100個とい 2 2023/06/05 22:53
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
なぜ、直角三角形ではないのにs...
-
「logx^2=2logx」が間違って...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
偶数、奇数、倍数、約数について
-
偏微分方程式って
-
大学のプリント問題なのですが...
-
eの0乗は1ってどういう原理です...
-
ユーザー定義関数をアドイン登...
-
数字の1とは何なのか?
-
ACCESS VBAでインポート定義の場所
-
1はなぜ素数ではないと決めた...
-
p⇒q=(¬p)∨qについて
-
「互いに素」の定義…「1と2は互...
-
P(A∩B)=PA(B)×P(A) に何故なる...
-
数学の質問です loge 3=1.1に...
-
複雑な家庭とは
-
1未満と1以下の違い
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
「logx^2=2logx」が間違って...
-
「互いに素」の定義…「1と2は互...
-
なにしてるかわからない。。
-
ACCESS VBAでインポート定義の場所
-
p⇒q=(¬p)∨qについて
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
三角関数(たとえばf(x)=sinxと...
-
eの0乗は1ってどういう原理です...
-
『質問の定義が分からないので...
-
内積を
-
最大元と極大元の定義の違いが...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
自然数 整数 有理数 実数 加法 ...
-
e<3の証明を教えてください。
-
変数の宣言の名称を教えてくだ...
おすすめ情報