docoo
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.

--