Retraction-invariant normal subgroup