En matemáticas , especialmente en el área del álgebra que estudia la teoría de los grupos abelianos , un subgrupo esencial es un subgrupo que determina gran parte de la estructura del grupo que lo contiene. El concepto se generalizó a los submódulos esenciales .
Se dice que un subgrupo de un grupo (típicamente abeliano ) es esencial si siempre que H es un subgrupo no trivial de G , la intersección de S y H no es trivial: aquí "no trivial" significa "que contiene un elemento distinto de la identidad".