- ベストアンサー
正規部分群の基本性質の証明について。
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
すいません、私が勘違いしました。 前の回答は忘れて下さい。 まず、aH=bHならば、b∈aHであり、逆も言えます そこで『∀a,b∈Ｇ,aH＝bH⇔Ha＝Hb』を次のように読みます 『∀a∈Ｇで、∀b∈Ｇに対してb∈aH⇔b∈Ha』 これはもちろん『∀a∈Ｇ,aH＝Ha』と同値です
その他の回答 (1)
- kobold
- ベストアンサー率62% (20/32)
すべてのa,bに関して成立するならば、 a=bとしても、すべてのaに関して成立しますよね
お礼
ご回答どうもありがとうございます。 a＝bというのは 十分条件『∀a,b∈Ｇ,aH＝bH⇔Ha＝Hb』に関して a＝bとするのでしょうか？ そうしますと『aH＝aH⇔Ha＝Ha』となって十分条件は全く意味を成さない式になってしまうと思うのですが。 私の勘違いだと思うのですが、 もう少し説明を頂きたいのですが。 よろしくお願い致します。
関連するQ&A
- 正規部分群の基本性質の証明について。
またお世話になります。よろしくお願いします。 正規部分群の基本性質の証明問題です。 問題＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 「∀a,b,c,d∈G,aH＝bH,cH＝dH→acH＝bdH」 ならば 「∀a,b∈G,aH＝bH⇔Ha＝Hb」 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 方針、ヒントだけでもよいのでよろしくお願い致します。
- ベストアンサー
- 数学・算数
- 正規部分群の特性部分群が正規部分群である証明
G：正規部分群、A：Gの正規部分群、B：Aの特性部分群 とするとき、BはGの正規部分群となること この証明が分かりません。 どうやって証明すればいいのでしょうか？ ご教授よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 群論の交換子群について
（問題） Gを群,HをGの部分群とする.また,[G,G]をGの交換子群とするとき, [G,G]⊂H⇔H\GかつG/Hがアーベル群 となることを示せ. ここで,H\GはHがGの正規部分群であることを表し（記号が環境依存文字だったので\で代用させていただきました）,G/HはHによる商群とする. （質問） この証明なのですが,H\Gは証明できました,しかし,G/Hがアーベル群であることが示せません. 手持ちの参考書には,任意のGの元a,bに対して, {a^(-1)b^(-1)ab}H=H・・・(1) であるから, (aH)(bH)=abH=ba{a^(-1)b^(-1)ab}H=baH=(bH)(aH) よって,G/Hはアーベル群である. とあるのですが,(1)が示せません. (1)が示せれば後は簡単なのですが,ここが理解できないので困っています. a^(-1)およびb^(-1)はそれぞれa,bの逆元です. どなたか群論に詳しい方よろしくお願いします.
- 締切済み
- 数学・算数
- 余剰群が正規部分群でなければいけない証明
余剰群の演算において 群Gの部分群Kでa,b ∈Gの時 Ka*Kb=Kab が成り立つ時、 部分群Kは正規部分群である。 というのを証明したいのですが、 一つのやり方として、 k,k'∈K Ka=Ka*K1=Ka*Kk=Kak と出来き、 ka=k'ak'' =>k'^-1k=ak'a^-1∈K となることにより、Kは正規部分群であると言える、という証明'が記述してあるのは拝見したんですが、 もう一つの証明の仕方として、 g∈aK Kg=Kak'=Ka*Kk'=Ka => kg=k'a g=k^-1k'a∈Ka から aK⊆Ka が示せます。 そして Ka⊆aK を示すことが出来れば、Ka=aKとなり、 正規部分群の定義 aK=Kaとして、Kが正規部分群と言えるとなります。 ですが、 どうやってKa⊆aKを証明すればいいのか分かりません。。 どなたか分かる方よろしくお願いします。
- ベストアンサー
- 数学・算数
- 剰余類の証明
こないだ 特定のa∈群Gに対し ∀h ∈H ∃h' ∈H HはGの部分群 ah=h'a が成立すれば、 aH=Ha と言えるのか？ という質問をした者なのですが、もう一度質問させていただきます。 自分なりに考えて見たところ、 ∀h ∃h' ah=h'a が成立するなら勿論 ah=h'h^(-1)ha h'h^(-1)=g∈Hとすると ah=gha と常になることになります。 と言う事は、 aH={ah l h∈H}={gha l h∈H｝ となるはずです。 ですが ｛gha l h∈H｝ は ｛ha l h∈H}=Ha と同等であるため （gha=h'a∈Ha => gHa⊆Ha, ha=g(g^(-1)h)a∈gHa => Ha⊆gHa) aH=gHa=Ha となる。 という証明を考えついたのですが、 これはあっているのでしょうか？ 真贋の判定よろしくお願いします。
- ベストアンサー
- 数学・算数
- 部分群であることの証明
部分群であることの証明 Gを群、Hをその部分集合とし、a,b∈Gに対し、「a～b⇔ab^(-1)∈H」なる～ が同値関係であるとする。このとき、HはGの部分群であることを証明してほしいです。 部分群であることを証明するには、(1)結合法則が成り立つこと(2)単位元の存在(3)逆元の存在が言えればいいこと、 同値関係の定義については理解しています。 ですが証明文を書くことができず、困っています。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 「群G、あるa∈Gにおいて、aG⊇G」は成り立つか？
お世話になります。よろしくお願いします。 「群G、あるa∈Gにおいて、aG⊇G」が成り立つことの証明を知りたいのですが。 Gが有限群の時は簡約律（ag＝ag'ならg=g'）から元の個数が等しいので aG＝Gになるというのが分かります。（多分） 問題は群Gの元の数が無限の時です。 一般的に 「群G、あるa∈Gにおいて、aG⊇G」は成り立つのでしょうか？ ーーーーーーーーーーーーーーーーーーーーーーーーーーー ここからは補足で、 この問題の出所なのですが、 「Hを群Gの部分群、a,b∈Gで b∈aH→aH＝bH」の証明です。 (証明) b＝ah(h∈H)とおける。 bH＝ahH＝aH(←ココでhH＝Hとしています。) となっています。（親切な代数学演習 現代数学社 p174）
- ベストアンサー
- 数学・算数
- 余剰類について分かりません。
正規部分群を勉強していて思ったのですが、 部分群H、a∈群G に対して 右余剰類 aH と左余剰類Ha が同じ場合 aH=Ha ですが、 h,h' ∈Hとして ah=h'aが全てのh∈Hに対して満たされる時、 aH=Haとしていいのでしょうか？ というのも、 ∀h∈H ah=h'a であれば、aH⊆Ha となるのは明確ですが、 Ha⊆aHをどう証明すればいいのか分かりません。 もし、Hが正規部分群であれば、 ha=a (a^-1ha)=ah' となり、Ha⊆aH と出来ますが、ここではそう言った前提ではないため、 簡単にa^-1ha∈Hであるとは言い切れない気もするのですが、 そうでないと、aH=Haと出来なくなってしまいます。 仮にaH=Haと出来ないとすると ah=h'a で、もしah1とah2がh'aだとした場合、 ah1=h'a=ah2 => ah1=ah2 => h1=h2 となり、一対一の関係であるといえます。 が、 aHとHaは同じ要素数のはずなので、一体一の関係があるとすれば、 ∀ah=h'a が満たされた場合 hとh'は一体一の関係があるため、aH=Haになると思うのです。（この考え方はあっているのでしょうか？？) しかし、どうしても Ha⊆aH もしくはa^-1ha∈H であると証明出来ません。。 わかりずらい質問で申し訳ありません。 どなたか分かる方よろしくお願いします。
- 締切済み
- 数学・算数
- Hが部分群の時ｘ∈aHならx∈Ha^(-1)でしょうか？
お世話になります。よろしくお願いします。 代数の本を読んでいて、剰余類の所で気になっていることがあります。 「群Gの部分群H、a,b∈Gでｘ∈aHならx∈Ha^(-1)」が正しいのかどうかということです。 証明を試みたのですが、できずに正しいかどうか確信が持てずにいます。 どなたか証明の分かる方教えてください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
ご回答どうもありがとうございます！ ＞『∀a∈Ｇで、∀b∈Ｇに対してb∈aH⇔b∈Ha』 なるほど～。 このように考えればよいのですね。 どうもありがとうございます。