On conormal subgroups

Abstract

We introduce the concept of a conormal subgroup: a subgroup is conormal if it is contranormal in its normal closure. This unifies the concepts of normal and contranormal subgroups. We obtain some important properties of conormal subgroups, describe their connections with transitivity of normality, and study groups in which all conormal subgroups are normal.