En el álgebra moderna, y , concretamente, en teoría de grupos, un grupo simple es un aquel cuyos únicos subgrupos normales son: el grupo trivial y el mismo.