G2G
xy = (xy)−1=y−1x−1=yx G
(Z/2Z)3
G i 4 8
i2
G/C Z/2Z
1−→ Z/4Z−→ G−→ Z/2Z−→ 1.
G\CZ/2Z
GZ/4ZoZ/2Z
ρ:Z/2Z→Aut(Z/4Z)'(Z/4Z)×'Z/2Z Z/2Z
Z/4Z Z/4Z×Z/2Z
−1Z/4ZoZ/2Z
D4
G\C
4j j2C2j2=i2
ji 6=ij ij 2G\C G
2
2i2G2Z={1, i2}
i2=−1C1, i, −1,−i G \C j, ij, −j, −ij
ji G \C j, ij, −j=j(−1) ji =−ij
G i j i2=j2=−1ji =−ij
H8
8
Z/8Z,Z/4Z×Z/2Z,(Z/2Z)3, D4,H8.
12
Z/12Z Z/6Z×Z/2Z
G1 4 3
1H G
Z/3Z2K G H ∩K={1} |H| |K|=|G|
G=HoK K Z/4Z Z/2Z×Z/2Z
Z/3Z Z/2Z
K'Z/4Z Z/4Z Z/3Z
Z/4Z→Z/2Z
Z/3Z o Z/4Za, b a3=
b4= 1, ba =a2b
K'(Z/2Z)2Z/2Z×Z/2Z→
Z/2Z
(Z/2Z)2
Z/2Z
Z/3Z o (Z/2Z)2
a, b, c a3=b2=c2ba =ab cb =bc