{{About|a construction in mathematics|the article about company products or services directly related to the company's core competencies|Core product}} In mathematics, especially in the field of group theory, the '''central product''' is one way of producing a group from two smaller groups. The central product is similar to the direct product, but in the central product two isomorphic central subgroups of the smaller groups are merged into a single central subgroup of the product. Central products are an important construction and can be used for instance to classify extraspecial groups.
==Definition==
There are several related but distinct notions of central product. Similarly to the direct product, there are both internal and external characterizations, and additionally there are variations on how strictly the intersection of the factors is controlled.
A group ''G'' is an '''internal central product''' of two subgroups ''H'', ''K'' if # ''G'' is generated by ''H'' and ''K''. # Every element of ''H'' commutes with every element of ''K''. {{harv|Gorenstein|1980|p=29}} Sometimes the stricter requirement that <math>H\cap K</math> is exactly equal to the center is imposed, as in {{harv|Leedham-Green|McKay|2002|p=32}}. The subgroups ''H'' and ''K'' are then called central factors of ''G''.
The '''external central product''' is constructed from two groups ''H'' and ''K'', two subgroups <math>H_1 \le Z(H)</math> and <math>K_1 \le Z(K)</math>, and a group isomorphism <math>\theta\colon H_1 \to K_1</math>. The external central product is the quotient of the direct product <math>H\times K</math> by the normal subgroup :<math>N = \{ (h,k) : h\in H_1, k\in K_1, \text{ and } \theta(h)\cdot k = 1 \}</math>, {{harv|Gorenstein|1980|p=29}}. Sometimes the stricter requirement that ''H''<sub>1</sub> = Z(''H'') and ''K''<sub>1</sub> = Z(''K'') is imposed, as in {{harv|Leedham-Green|McKay|2002|p=32}}.
An internal central product is isomorphic to an external central product with ''H''<sub>1</sub> = ''K''<sub>1</sub> = ''H'' ∩ ''K'' and ''θ'' the identity. An external central product is an internal central product of the images of ''H'' × 1 and 1 × ''K'' in the quotient group <math>(H\times K) / N</math>. This is shown for each definition in {{harv|Gorenstein|1980|p=29}} and {{harv|Leedham-Green|McKay|2002|pp=32–33}}.
Note that the external central product is not in general determined by its factors ''H'' and ''K'' alone. The isomorphism type of the central product will depend on the isomorphism ''θ''. It is however well defined in some notable situations, for example when ''H'' and ''K'' are both finite extra special groups and <math>H_1 = Z(H)</math> and <math>K_1 = Z(K)</math>.
==Examples== * The Pauli group is the central product of the cyclic group <math>C_4</math> and the dihedral group <math>D_4</math>. * Every extra special group is a central product of extra special groups of order ''p''<sup>3</sup>. * The layer of a finite group, that is, the subgroup generated by all subnormal quasisimple subgroups, is a central product of quasisimple groups in the sense of Gorenstein.
==Applications==
The representation theory of central products is very similar to the representation theory of direct products, and so is well understood, {{harv|Gorenstein|1980|loc=Ch. 3.7}}.
Central products occur in many structural lemmas, such as {{harv|Gorenstein|1980|loc=Lemma 10.5.5|p=350}} which is used in George Glauberman's result that finite groups admitting a Klein four group of fixed-point-free automorphisms are solvable.
In certain context of a tensor product of Lie modules (and other related structures), the automorphism group contains a central product of the automorphism groups of each factor {{harv|Aranda-Orna|2022|loc=<math>\S</math> 4}}.
==References==
* {{Citation | last1=Gorenstein | first1=Daniel | author1-link=Daniel Gorenstein | title=Finite Groups | publisher=Chelsea | location=New York | isbn=978-0-8284-0301-6 | mr=569209 | year=1980}} * {{Citation | last1=Leedham-Green | first1=C. R. | author1-link=Charles Leedham-Green | last2=McKay | first2=Susan | title=The structure of groups of prime power order | publisher=Oxford University Press | series=London Mathematical Society Monographs. New Series | isbn=978-0-19-853548-5 | mr=1918951 | year=2002 | volume=27}} * {{Citation | last1=Aranda-Orna | first1=Diego | author1-link=Diego Aranda-Orna | title=On the Faulkner construction for generalized Jordan superpairs | series=Linear Algebra and its Applications | year=2022 | volume=646 | pages=1–28}}
Category:Finite groups