No.3ベストアンサー
- 回答日時:
「∀a,b∈G,aH=bH,b^{-1}H=b^{-1}H→ab^{-1}H=H」について
仮定の「∀a,b,c,d∈G,aH=bH,cH=dH→acH=bdH」で、
分かりやすいように変数名を変えると、
「∀x,y,z,w∈G,xH=yH,zH=wH→xzH=ywH」です
ここでx=a,y=b,z=b^{-1},w=b^{-1}とおくと
「∀a,b∈G,aH=bH,b^{-1}H=b^{-1}H→ab^{-1}H=H」です
仰有るとおり「b^{-1}H=b^{-1}H」は自明ですので、
「∀a,b∈G,aH=bH→ab^{-1}H=H」が示せたことになります
後は「ab^{-1}H=H」と「Ha=Hb」が同値であることを示して終わりです
ご回答どうもありがとうございます!
私の力不足で同じ解答を3度も書いて頂くことになり、すみません。
お陰様でようやく理解するできました。
c,dをどのように選ぶかという部分がこの問題の一番ポイントとなる部分だったのですね。
No.1の解答の最初の7行目の意味がようやく理解できました。
前回質問に引き続き、
私の稚拙な質問に最後までお付き合い下さりどうもありがとうございます。
大変助かりました。
No.2
- 回答日時:
>解答部分で導くべき結論部を『・・・★』としたのですが、
>この結論部を導くことなく、最後に★よりとして解答を終えているような気がするのですが、どうでしょうか?
失礼ですが、言っておられる意味がよく分かりません。
★4つは全部同値ですよね?
最初の7行は単に考え方を書いているだけで、後半の2行と4行が回答になります。
前回は「問題の解き方」を書いてみましたが、今度は回答を書いてみます。
まず仮定ですが、「∀a,b,c,d∈G,aH=bH,cH=dH→acH=bdH」。
示すべきことは「∀a,b∈G,aH=bH→Ha=Hb」
「∀a,b∈G,Ha=Hb→aH=bH」の2つ。
最初に「∀a,b∈G,aH=bH→Ha=Hb」を示しましょう。
∀a,b,c,d∈G,aH=bH,cH=dH→acH=bdHより、
∀a,b∈G,aH=bH,b^{-1}H=b^{-1}H→ab^{-1}H=H
→∃h∈H,h=ab^{-1}→∃h∈H,a=hb→Ha=Hb
逆に「∀a,b∈G,Ha=Hb→aH=bH」の方を示しましょう。
∀a,b,c,d∈G,hH=H,bH=bH→hbH=bH
今、Ha=Hbより∃h∈H,a=hbなので、aH=bH
この回答への補足
ご回答どうもありがとうございます。
理解力不足ですみません・・・。
解答の
「最初に「∀a,b∈G,aH=bH→Ha=Hb」を示しましょう。
∀a,b,c,d∈G,aH=bH,cH=dH→acH=bdHより、
∀a,b∈G,aH=bH,b^{-1}H=b^{-1}H→ab^{-1}H=H
→∃h∈H,h=ab^{-1}→∃h∈H,a=hb→Ha=Hb」
の部分の3行目なのですが、
2番目の項「b^{-1}H=b^{-1}H」は自明な式のような気がして、最後の矢印「→ab^{-1}H=H」の部分がなぜ成り立つのかもよく分からないのですが・・・。
すみませんが、補足をお願いしたいのですが・・。
よろしくお願い致します。
No.1
- 回答日時:
前回のように答えだけを書いても面白くないので、今回は考え方も書いてみます。
一般に、正規部分群の問題は、
aH=bHをすべて∃h∈H,a=bHで置き換えると見通しがつきやすくなります
仮定は「∃h,j∈H,a=bh,c=dj→∃k∈H,ac=bdk」
結論は「∃h∈H,a=bh⇔∃k∈H,a=kb」
ac=bdkとa=kbの形をどうあわせるかを考えます
左辺に移行してack^{-1}d^{-1}b^{-1}=1とab^{-1}k^{-1}=1
こうするとc=b^{-1},d^{-1}b^{-1}=1にできないかと考えます
「∀a,b,c,d∈G,aH=bH,b^{-1}H=b^{-1}H→ab^{-1}H=H」
最後の部分は∃h∈H,h=ab^{-1}より、a=hbなのでHa=Hbが成立します。
逆ですが、∃h∈H,a=hbを仮定します
最終的にaH=bHを示したいので、hbH=bHが示せればいいわけです。
最終的な形がこうなるように、a,b,c,dを考えると、
「∀a,b,c,d∈G,hH=H,bH=bH→hbH=bH」
前回に引き続きどうもありがとうございます。
またお世話になります。よろしくお願いします。
少し回答で分からないことがあるのですが、
「仮定は「∃h,j∈H,a=bh,c=dj→∃k∈H,ac=bdk」
結論は「∃h∈H,a=bh⇔『∃k∈H,a=kb★』」
ac=bdkとa=kbの形をどうあわせるかを考えます
左辺に移行してack^{-1}d^{-1}b^{-1}=1と
『ab^{-1}k^{-1}=1★』
こうするとc=b^{-1},d^{-1}b^{-1}=1にできないかと考えます
「∀a,b,c,d∈G,aH=bH,b^{-1}H=b^{-1}H→『ab^{-1}H=H★』」
最後の部分は『∃h∈H,h=ab^{-1}★』より、a=hbなのでHa=Hbが成立します。」
解答部分で導くべき結論部を『・・・★』としたのですが、
この結論部を導くことなく、最後に★よりとして解答を終えているような気がするのですが、どうでしょうか?
私の勘違いでしたらすみません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
x^3-6x-6=0 この三次方程式...
-
【数学】2√3の整数部分をa, 少...
-
他の式を利用した因数分解 x^3+...
-
三重根号を簡単にする問題です...
-
大至急!数学が得意な人!4の(2...
-
lim{(a^x+b^x)/2}^1/x x→0 (a...
-
不等式の証明
-
数学の問題でわからないものが...
-
数Aの問題について
-
解き方教えてください
-
ドイツ語で、わからないところ...
-
この不定積分が解けません
-
大学受験における相加平均・相...
-
x2+px+q=0と解の公式の使い分け
-
条件 少なくとも一つはa について
-
アーベル群
-
因数分解の基本
-
整数問題 大至急
-
2離れた奇数が互いに素なこと...
-
立方完成,N乗完成は存在するの?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
異なる2つの無理数の積について
-
(a+b)(a2-ab+b2)=a3+b3の途中式
-
lim{(a^x+b^x)/2}^1/x x→0 (a...
-
三重根号を簡単にする問題です...
-
6の倍数であることを証明
-
「因数定理」は、いつ習います...
-
a^n+b^nの因数分解の仕方
-
高校生です! 数学の質問です。...
-
【数学】2√3の整数部分をa, 少...
-
ベクトルの問題
-
他の式を利用した因数分解 x^3+...
-
群の乗積表の作り方は?
-
異なる自然数a,bがあり, a+bを7...
-
立方完成,N乗完成は存在するの?
-
ab>a+bは常に成り立つでしょうか?
-
不等式の問題
-
楕円の変数変換
-
ax + by (a,bは自然数で互いに...
-
この問題の解き方教えてくださ...
-
2離れた奇数が互いに素なこと...
おすすめ情報