# Essential subgroup

A subgroup $S$ of a (typically abelian) group $G$ is said to be essential if whenever $H$ is a non-trivial subgroup of $G$, the intersection of $S$ and $H$ is non-trivial: here "non-trivial" means "containing an element other than the identity".