Grupo simple

Un grupo $(G, \circ)$ es simple si no contiene ningun subgrupo normal o no trivial.

Cualquier subgrupo no trivial que solo contiene los dos subgrupos triviales, y nada más.