essential subgroupA subgroup H of a group G is essential if H∩K≠{e} for any subgroup K of G, K≠{e} (i.e., a subgroup H of G is called essential if it intersects non-trivially everynon-trivial subgroup of G).