>>446
内部自己同型が自己同型だということを知っているのなら、
単射なことはすぐに判るだろ。
位数 4 の元が生成する部分群に制限しても単射性は保たれるのだから、
当然、その制限写像はその像への全単射。位数は不変。