Definition:Contranormal Subgroup
Jump to navigation
Jump to search
Definition
Let $G$ be a group.
Let $H$ be a subgroup of $G$.
Then $H$ is a contranormal subgroup if and only if the normal closure of $H$ is the whole of $G$.