Definition. Let be a subgroup (not necessary normal) of a group . Then a subgroup is a complement of in if and .
1) a normal subgroup can have no complements, for example has the normal subgroup but there is no complement as this is the only subgroup of order 2. 110 more words