すいません素数さん（and Kummerさん）/
ＧΦ＝ΦＧを成り立たせるΦは、Φ∈Ｂ⊆Ｓｎで、そのようなＢの中には
（群）演算によりＧの各々の要素を動かさないようなＣがあるのだ、と自分なりに
解釈しました。でも「Ｇの各々の要素を動かさない」というのは具体的にはどんな
意味なんでしょう・・　　読んでいる本の前の章に、正規部分群Ｈのことが書かれてあり
ある有限群の剰余類（いずれは剰余群）を作る素となる正規部分群は、準同型写像により
その写像先の群の単位元に写されるとありました。　そのことが気持ちの中にあったので
まてよ・・動かさないというのは単位元的なことだから

Ｈ　→　e(単位元）　：　準同型写像による
Ｃ　→　動かさない　：　自己同型での写像による
などと、漠然と考え無理矢理に暗記しようとしてました。が、どうもしっくりいかず
このサイトを偶然見つけ、質問した次第です
ただ、正規部分群は写像前の始域の群の中で　Ｈｘ＝ｘＨを満たす部分群だしなぁ・・
このＣがＧの各々の要素を動かさないというのもＧの中での話で、写像後の行った先で
要素を動かしてないとか、そういう話でもないだろう・・　などとetc
わかんないです。
もっとも代数自体言ってることが抽象的すぎますが、でも好きなんですよね
そこがまた　　よろしくお願いします。