14/11/16 13:41:15.47
>>549
>>537-541を書いてもらって申し訳ないけど計算云々は昔やった計算のことを思い出せば十分で
全部のスレを見たわけではないが一番最初のスレで色々計算してたでしょう
>>549に関しても同様(最初のスレの268あたり以降)
ｽﾚﾘﾝｸ(math板:305番)
ｽﾚﾘﾝｸ(math板:326番) とかね
それで「同型だが、一致はしていない。」と当時は書いていたりする
>>529の問題はH1, H2, H3, etc.が全て一致すれば正規部分群("self-"conjugate -)
になるということ
ｽﾚﾘﾝｸ(math板:351番)
>恒等置換を含めると、H*S1に含まれる順列の間を移り変えるような置換は群になることがわかる。
>この群は、実際に計算してみればわかると思うが、実は、、
> S1*H*S1^{-1}
>に等しくなっているのである！ ちなみにこの例では、Hと等しい。
ｽﾚﾘﾝｸ(math板:360番) などでも
H=H1={e, (αβγ), (αγβ)}までちゃんと書いた方が間違いは少なくなるはず
このことがこのスレの>>227以降につながる話だというのは分かるでしょ