# Essential subgroup

A subgroup ${\displaystyle S}$ of a (typically abelian) group ${\displaystyle 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".