In mathematics, specifically group theory, a subgroup of a (typically abelian) group is called an essential subgroup if whenever is a non-trivial subgroup of , the intersection of and is non-trivial; that is, , where is the group's identity. The concept has been generalized to essential submodules.

References