15/03/28 19:19:20.20 XpA6GK50.net
>>712 つづき
（解答例）
(1) a による内部自己同型 (a による共役写像)
fa : H → aHa-1 ( h → aha-1 )
は H から aHa-1 への同型写像ですから H と aHa-1 は同型です。（正しい）
(2) G = { (x,y) | x,y ∈ {1,-1} } を考えます。(演算は成分ごとの積）
これは、Z2 + Z2 と同型な 不変系 (2,2) の可換群です。 その部分群 H,K を
H = { (x,1) | x ∈ {1,-1} }, K = { (1,y) | y ∈ {1,-1} }
とすれば、H,K はともに、位数２の巡回群なので同型です。
しかし、G は可換群なので bHb-1 = H ≠ K (∀b ∈ G ) です。 （正しくない） 不変系 (p,p) の可換群の中に全く同じ反例が見つけられますね。
ちなみに上の (2) においては g : G → G ( (x,y) → (y,x) ) が H を K に移す外部自己同型です。
（引用おわり）