En matemáticas , en el área del álgebra abstracta conocida como teoría de grupos , un subgrupo verbal es un subgrupo de un grupo que se genera por todos los elementos que se pueden formar sustituyendo elementos del grupo por variables en un conjunto dado de palabras . Por ejemplo, dada la palabra, el subgrupo verbal correspondiente es el grupo generado por todos los cuadrados.
Ejemplos
Para un grupo determinadoLos siguientes son ejemplos de subgrupos verbales:
- Todo el grupodado por la palabra.
- El subgrupo trivial , dado por la palabra vacía.
- El subgrupo conmutador , dado por la palabra.
- Además, cada subgrupo en la serie derivada es un subgrupo verbal.término -ésimo de la serie derivadaestá dado por el conjunto de palabrasdóndees un grupo gratuito con al menos tantos generadores como.
- Cada subgrupo en la serie central inferior es un subgrupo verbal.término -ésimo de la serie central inferiorestá dado por el conjunto de palabrasdóndees un grupo gratuito con al menos tantos generadores como.
Propiedades
- Los subgrupos verbales son subgrupos completamente característicos . [ 1 ] [ 2 ] Es decir, son cerrados bajo endomorfismos del grupo ambiente. Dado que todos los subgrupos completamente característicos son subgrupos normales , los subgrupos verbales son normales.
- En los grupos libres, los subgrupos verbales son exactamente los subgrupos plenamente característicos. [ 1 ] Por lo tanto, los subgrupos verbales representan el ejemplo genérico de subgrupos plenamente característicos. [ 2 ]
- El retículo de subgrupos verbales del grupo libre generado contablemente bajo inclusión es anti-isomomorfo al retículo de variedades de grupo bajo inclusión. [ 1 ]
Referencias
- 1 2 3 ( Neumann 1967 , p. 608)
- 1 2 ( Magnus, Karrass y Solitar 2004 , pág. 75)
Bibliografía
- Magnus, Wilhelm ; Karrass, Abraham; Solitar, Donald (2004), Teoría combinatoria de grupos , Nueva York: Dover Publications , ISBN 978-0-486-43830-6, MR 0207802
- Neumann, BH (1967), Variedades de grupos (PDF) , págs. 603–613 , consultado el 28 de junio de 2026 .
Categorías :
- Esbozos de la teoría de grupos
- Teoría de grupos infinitos
- Propiedades de subgrupo