Free-quotient subgroup

Definition
A normal subgroup of a group is termed a free-quotient subgroup if it satisfies the following equivalent conditions:


 * 1) The quotient group is a defining ingredient::free group.
 * 2) It is a defining ingredient::complemented normal subgroup and has a complement that is a free group.