Retract not implies normal complements are isomorphic
Statement
Suppose is a group and is a Retract (?) of . In other words, has a Normal complement (?) in : there exists a normal subgroup of such that and is trivial.
Then, there may exist another normal complement to in such that is not isomorphic to .
Proof
Example of the dihedral group
Further information: dihedral group:D8
Consider the following example:
- is the dihedral group of order eight:
.
- is the subgroup , i.e., a two-element cyclic subgroup.
- There are two normal complements to in . The subgroup is cyclic of order four and the subgroup is a Klein-four group.