Subconjunto transversal
algebra
th_de_grupos
Subgrupo trivial / propio
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.
Subconjunto transversal
Subgrupo trivial / propio