En matemáticas , especialmente en teoría de grupos , el producto de Zappa-Szép (también conocido como producto Zappa-Rédei-Szép , producto general , producto de punto , factorización exacta o producto bicruzado ) describe una forma en la que se puede construir un grupo a partir de dos subgrupos . Es una generalización de los productos directo y semidirecto . Recibe su nombre en honor a Guido Zappa (1940) y Jenő Szép (1950), aunque fue estudiado independientemente por otros, entre ellos BH Neumann (1935), GA Miller (1935) y JA de Séguier (1904). [1]
Sea G un grupo con elemento identidad e , y sean H y K subgrupos de G . Las siguientes afirmaciones son equivalentes:
Si se cumple una de estas afirmaciones (y, por tanto, ambas), entonces se dice que G es un producto interno de Zappa-Szép de H y K.
Sea G = GL( n , C ), el grupo lineal general de matrices invertibles n × n sobre los números complejos . Para cada matriz A en G , la descomposición QR afirma que existe una única matriz unitaria Q y una única matriz triangular superior R con entradas reales positivas en la diagonal principal tales que A = QR . Por lo tanto, G es un producto de Zappa–Szép del grupo unitario U ( n ) y el grupo (por ejemplo) K de matrices triangulares superiores con entradas diagonales positivas.
Uno de los ejemplos más importantes de esto es el teorema de Philip Hall de 1937 sobre la existencia de sistemas de Sylow para grupos solubles . Este demuestra que cada grupo soluble es un producto de Zappa-Szép de un p'- subgrupo de Hall y un p -subgrupo de Sylow , y de hecho que el grupo es un producto de Zappa-Szép (de múltiples factores) de un cierto conjunto de representantes de sus subgrupos de Sylow.
En 1935, George Miller demostró que cualquier grupo de permutación transitiva no regular con un subgrupo regular es un producto de Zappa-Szép del subgrupo regular y un estabilizador puntual. Pone como ejemplos PSL(2,11) y el grupo alternante de grado 5, y por supuesto, todo grupo alternante de grado primo es un ejemplo. En este mismo artículo se dan varios ejemplos de grupos que no se pueden realizar como productos de Zappa-Szép de subgrupos propios, como el grupo de cuaterniones y el grupo alternante de grado 6.
Al igual que con los productos directos y semidirectos, existe una versión externa del producto de Zappa–Szép para grupos que no se sabe a priori que sean subgrupos de un grupo dado. Para justificarlo, sea G = HK un producto interno de Zappa–Szép de los subgrupos H y K del grupo G . Para cada k en K y cada h en H , existen α( k , h ) en H y β( k , h ) en K tales que kh = α( k , h ) β( k , h ). Esto define las funciones α : K × H → H y β : K × H → K que resultan tener las siguientes propiedades:
para todos h 1 , h 2 en H , k 1 , k 2 en K . De estos, se sigue que
(De hecho, supongamos que α( k , h 1 ) = α( k , h 2 ). Entonces h 1 = α( k −1 k , h 1 ) = α( k −1 , α( k , h 1 )) = α( k −1 , α( k , h 2 )) = h 2 . Esto establece la inyectividad y, para la sobreyectividad, se utiliza h = α( k , α( k −1 , h )).)
De manera más concisa, las primeras tres propiedades anteriores afirman que la aplicación α : K × H → H es una acción izquierda de K sobre (el conjunto subyacente de) H y que β : K × H → K es una acción derecha de H sobre (el conjunto subyacente de) K . Si denotamos la acción izquierda por h → k h y la acción derecha por k → k h , entonces las dos últimas propiedades suman k ( h 1 h 2 ) = k h 1 k h 1 h 2 y ( k 1 k 2 ) h = k 1 k 2 h k 2 h .
Dando la vuelta a esto, supongamos que H y K son grupos (y sea e el elemento identidad de cada grupo) y supongamos que existen aplicaciones α : K × H → H y β : K × H → K que satisfacen las propiedades anteriores. Sobre el producto cartesiano H × K , definamos una aplicación de multiplicación y una de inversión mediante, respectivamente,
Entonces H × K es un grupo llamado producto externo de Zappa–Szép de los grupos H y K . Los subconjuntos H × { e } y { e } × K son subgrupos isomorfos a H y K , respectivamente, y H × K es, de hecho, un producto interno de Zappa–Szép de H × { e } y { e } × K .
Sea G = HK un producto interno de Zappa–Szép de los subgrupos H y K . Si H es normal en G , entonces las aplicaciones α y β están dadas por, respectivamente, α( k , h ) = khk − 1 y β( k , h ) = k . Esto es fácil de ver porque y puesto que por normalidad de , . En este caso, G es un producto interno semidirecto de H y K .
Si, además, K es normal en G , entonces α( k , h ) = h . En este caso, G es un producto directo interno de H y K .
Complemento (teoría de grupos)
{{citation}}
: Mantenimiento de CS1: falta la ubicación del editor ( enlace ); Edizioni Cremonense, Roma, (1942) 119–125.