Diferencia entre revisiones de «Conjunto generador de un grupo»

Todo [[grupo cociente]] de un grupo finitamente generado es, a su vez, finitamente generado; en cambio, un [[subgrupo]] de un grupo finitamente generado puede no serlo. Por ejemplo, si ''G'' es el grupo libre en dos generadores, ''x'' ye ''y'', es claro que ''G'' es finitamente generado; sin embargo, si ''S'' es el conjunto conformado por todos los elementos de la forma ''y''^''n''''xy''^−''n'', donde ''n'' es un [[número natural]], es claro que <''S''> es isomorfo al grupo libre en contables generadores, con lo cual no puede ser finitamente generado. Para [[grupo abeliano|grupos abelianos]], sin embargo, vale que todo subgrupo de un grupo finitamente generado es también finitamente generado.