When does all normal subgroups of a group have complement? This question is different from question http://mathoverflow.net/q/5528/56173 Related to this question I ask is following https://math.stackexchange.com/questions/1824173/complement-of-normal-subgroups-and-free-groups