代数学総合スレッド Part2

代数学総合スレッド Part2 at MATH

401:３６７
03/07/29 22:34
なんかすごいことになってるね。
　
「Ｈを群Ｇの部分群とする。Ｈを法とする任意の２つの左剰余類
の積が，Ｈを法とするある左剰余類となると仮定する。このとき，任意の
a,b\in Gに対して，(aH)(bH)=abHであることを示せ。」
　
ともかくさ。この文章が要求してることは
∃c (aH)(bH)={xy|x∈aH,y∈bH}=cH⇒cH=abH
を示せっていってるとしか思えないけどね。つまりまあ、>>397さんのいうとおりなんだが。
“問題文中に(aH)(bH)の定義がない！”とかいえないこともないけどこれはさすがに
{xy|x∈aH,y∈bH}以外かんがえられないし左剰余類といえばcHの形にかけるGの部分集合と
いうのが一般的解釈だろう。たとえばこれが定期試験ででてできなかったとき
さっきみたいないちゃもんつけてもふつうとりあってもらえんだろな。

次ページ

続きを表示

1を表示