Wreath product

Topic in group theory In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used in the classification of permutation groups and also provide a way of constructing interesting examples of groups. Given two groups A {\displaystyle A} and H {\displaystyle H} (sometimes known as the bottom and top), there exist two variants of the wreath product: the unrestricted wreath product A Wr H {\displaystyle A{\text{ Wr }}H} and the restricted wreath product A wr H {\displaystyle A{\text{ wr }}H} . The general form, denoted by A Wr Ω H {\displaystyle A{\text{ Wr}}_{\Omega }H} or A wr Ω H {\displaystyle A{\text{ wr}}_{\Omega }H} respectively, requires that H {\displaystyle H} acts on some set Ω {\displaystyle \Omega } ; when unspecified, usually Ω = H {\displaystyle \Omega =H} (a regular wreath product), though a different Ω {\displaystyle \Omega } is sometimes implied. The two variants coincide when A {\displaystyle A} , H {\displaystyle H} , and Ω {\displaystyle \Omega } are all finite. Either variant is