Se llama subgrupo generado por formula_1 a la intersección de todos los subgrupos de formula_24 que contienen a formula_1, y se representa por formula_236.