En matemáticas , en el campo de la teoría de grupos , un subgrupo cuasinormal , o subgrupo permutable , es un subgrupo de un grupo que conmuta (permuta) con cualquier otro subgrupo con respecto al producto de subgrupos . El término subgrupo cuasinormal fue introducido por Øystein Ore en 1937.
Se dice que dos subgrupos permutan (o conmutan) si cualquier elemento del primer subgrupo, multiplicado por un elemento del segundo subgrupo, puede escribirse como un elemento del segundo subgrupo, multiplicado por un elemento del primer subgrupo. Es decir, y como subgrupos de se dice que conmutan si HK = KH , es decir, cualquier elemento de la forma con y se puede escribir en la forma dónde y .
Cada subgrupo normal es cuasinormal, porque un subgrupo normal conmuta con cada elemento del grupo. Lo contrario no es cierto. Por ejemplo, cualquier extensión de un cíclico-grupo por otro cíclico -grupo para el mismo primo (impar) tiene la propiedad de que todos sus subgrupos son cuasinormales. Sin embargo, no es necesario que todos sus subgrupos sean normales.
Cada subgrupo cuasinormal es un subgrupo modular , es decir, un elemento modular en la red de subgrupos . Esto se deriva de la propiedad modular de los grupos . Si todos los subgrupos son cuasinormales, entonces el grupo se llama grupo Iwasawa, a veces también llamado grupo modular , [1] aunque este último término tiene otros significados.
En cualquier grupo, cada subgrupo cuasinormal es ascendente .
Un subgrupo permutable conjugado es aquel que conmuta con todos sus subgrupos conjugados. Cada subgrupo cuasinormal es conjugado permutable.
En grupos finitos
Cada subgrupo cuasinormal de un grupo finito es un subgrupo subnormal . Esto se sigue de la afirmación algo más fuerte de que todo subgrupo permutable conjugado es subnormal, que a su vez se sigue de la afirmación de que todo subgrupo permutable conjugado máximo es normal. (La finitud se usa de manera crucial en las demostraciones).
En resumen, un subgrupo H de un grupo finito G es permutable en G si y sólo si H es a la vez modular y subnormal en G . [1] [2]
PT-grupos
La permutabilidad no es una relación transitiva en general. Los grupos en los que la permutabilidad es transitiva se denominan grupos PT, por analogía con los grupos T en los que la normalidad es transitiva. [3]
Ver también
Referencias
- ^ a b Adolfo Ballester-Bolinches; Ramon Esteban-Romero; Mohamed Asaad (2010). Productos de grupos finitos . Walter de Gruyter. pag. 24 . ISBN 978-3-11-022061-2.
- ^ Schmidt, Roland (1994), Subgrupos enrejados de grupos , Exposiciones en matemáticas, 14 , Walter de Gruyter, p. 201, ISBN 978-3-11-011213-9
- ^ Adolfo Ballester-Bolinches; Ramon Esteban-Romero; Mohamed Asaad (2010). Productos de grupos finitos . Walter de Gruyter. pag. 52 . ISBN 978-3-11-022061-2.
- Stewart E. Stonehewer, "Resultados antiguos, recientes y nuevos en subgrupos cuasinormales" , Irish Math. Soc. Boletín 56 (2005), 125–133
- Tuval Foguel , "Subgrupos conjugados-permutables" , Journal of Algebra 191, 235-239 (1997)