Normal complement
From Groupprops
Definition
Definition with symbols
Suppose is a subgroup of a group
. A normal complement
to
in
is a normal subgroup of
that is a permutable complement to
in
. In other words,
is trivial and
.
Every subgroup need not have a normal complement. A subgroup that possesses a normal complement is termed a retract.