A subgroup of a (typically abelian) group 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".
- Phillip A. Griffith (1970). Infinite Abelian group theory. University of Chicago Press. ISBN 0-226-30870-7.