Subgrupo

Sea $( G, \circ )$ un grupo llamaremos subgrupo de $( G, \circ )$ a todo subconjunto de $G$ que tenga estructura de grupo con la LCI $( \circ )$

Son subgrupos de $(G, \circ )$:

• $(i,\circ)$ el elemento identidad (se comprueban fácilmente todos sus elementos)
• $(G, \circ )$

Se utiliza el mismo símbolo par la LCI del subgrupo ya que la definición de este es la misma pero restringido a los elementos del subconjunto.