Se llama subgrupo generado por formula_12 a la intersección de todos los subgrupos de formula_3 que contienen a formula_12, y se representa por formula_15.