title: Subgrupo generado
text: # Subgrupo generado
  
  En teoría de grupos, el subgrupo generado por un subconjunto S de un grupo G es el subgrupo más pequeño que contiene a todos los elementos de S.
  
  # Subgrupo generado
  ## Definición
  
  La intersección de una colección arbitraria de subgrupos es nuevamente un subgrupo. Por ello, dado un subconjunto S del grupo G, podemos considerar la colección de todos los subgrupos de G que contienen a S. La intersección de tales subgrupos será entonces un nuevo subgrupo que, por construcción será el subgrupo más pequeño que contenga al subconjunto S.
  * Si $S$ es un subconjunto del grupo $G$, el subgrupo definido por
  * $\langle S\rangle =\bigcap _{S\subseteq H\leq G}H$
  * es el menor subgrupo de $G$ que posee la propiedad de contener al subconjunto $S$.
  * Al subgrupo $\langle S\rangle$ se le denomina el subgrupo generado por $S$.
  
  # Subgrupo generado
  ## Estructura
  
  Si S es un subconjunto de G, una palabra en S es una expresión de la forma
     $\omega =s_{1}^{a_{1}}s_{2}^{a_{2}}\cdots s_{m}^{a_{m}}$
  para alguna m no negativa y cada $a_{k}$ entera.
  Es posible entonces definir el subgrupo generador por $S$ en términos de palabras.
  * Si S es un subconjunto del grupo G entonces el subgrupo generado por S es el conjunto de todas las palabras en S cuando S no es vacío, y es igual al subgrupo trivial {e} cuando S es vacío.
  
  # Subgrupo generado
  ## Bibliografía
  
  * Rotman, Joseph J. (1999). An Introduction to the Theory of Groups. Springer. ISBN 0387942858. |fechaacceso= requiere |url= (ayuda)
  * Datos: Q9080203