In mathematics, especially group theory, the Zappa–Szép product (also known as the Zappa–Rédei-Szép product, general product, knit product or exact factorization) describes a way in which a group can be constructed from two subgroups. It is a generalization of the direct and semidirect products. It is named after Guido Zappa (1940) and Jenő Szép (1950) although it was independently studied by others including B.H. Neumann (1935), G.A. Miller (1935), and J.A. de Séguier (1904).
Contents
Internal Zappa–Szép products
Let G be a group with identity element e, and let H and K be subgroups of G. The following statements are equivalent:
If either (and hence both) of these statements hold, then G is said to be an internal Zappa–Szép product of H and K.
Examples
Let G = GL(n,C), the general linear group of invertible n × n matrices over the complex numbers. For each matrix A in G, the QR decomposition asserts that there exists a unique unitary matrix Q and a unique upper triangular matrix R with positive real entries on the main diagonal such that A = QR. Thus G is a Zappa–Szép product of the unitary group U(n) and the group (say) K of upper triangular matrices with positive diagonal entries.
One of the most important examples of this is Hall's 1937 theorem on the existence of Sylow systems for soluble groups. This shows that every soluble group is a Zappa–Szép product of a Hall p'-subgroup and a Sylow p-subgroup, and in fact that the group is a (multiple factor) Zappa–Szép product of a certain set of representatives of its Sylow subgroups.
In 1935, Miller showed that any non-regular transitive permutation group with a regular subgroup is a Zappa–Szép product of the regular subgroup and a point stabilizer. He gives PSL(2,11) and the alternating group of degree 5 as examples, and of course every alternating group of prime degree is an example. This same paper gives a number of examples of groups which cannot be realized as Zappa–Szép products of proper subgroups, such as the quaternion group and the alternating group of degree 6.
Relation to semidirect and direct products
Let G = HK be an internal Zappa–Szép product of subgroups H and K. If H is normal in G, then the mappings α and β are given by, respectively, α(k,h) = k h k− 1 and β(k, h) = k. In this case, G is an internal semidirect product of H and K.
If, in addition, K is normal in G, then α(k,h) = h. In this case, G is an internal direct product of H and K.