Group formed from the action of one group on many copies of another, based on the semidirect product
Algebraic structure → Group theory Group theory
Basic notions
Subgroup
Normal subgroup
Quotient group
(Semi-)direct product
Group homomorphisms
kernel
image
direct sum
wreath product
simple
finite
infinite
continuous
multiplicative
additive
cyclic
abelian
dihedral
nilpotent
solvable
action
Glossary of group theory
List of group theory topics
Finite groups
Cyclic group Zn
Symmetric group Sn
Alternating group An
Dihedral group Dn
Quaternion group Q
Cauchy's theorem
Lagrange's theorem
Sylow theorems
Hall's theorem
p-group
Elementary abelian group
Frobenius group
Schur multiplier
Classification of finite simple groups
cyclic
alternating
Lie type
sporadic
Discrete groups
Lattices
Integers ()
Free group
Modular groups
PSL(2, )
SL(2, )
Arithmetic group
Lattice
Hyperbolic group
Topological and Lie groups
Solenoid
Circle
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Euclidean E(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
G2
F4
E6
E7
E8
Lorentz
Poincaré
Conformal
Diffeomorphism
Loop
Infinite dimensional Lie group
O(∞)
SU(∞)
Sp(∞)
Algebraic groups
Linear algebraic group
Reductive group
Abelian variety
Elliptic curve
v
t
e
This article needs editing to comply with Wikipedia's Manual of Style. In particular, it has problems with MOS:BBB. Please help improve the content.(February 2024) (Learn how and when to remove this message)
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 and (sometimes known as the bottom and top[1]), there exist two variants of the wreath product: the unrestricted wreath product and the restricted wreath product. The general form, denoted by or respectively, requires that acts on some set ; when unspecified, usually (a regular wreath product), though a different is sometimes implied. The two variants coincide when , , and are all finite. Either variant is also denoted as (with \wr for the LaTeX symbol) or A ≀ H (Unicode U+2240).
The notion generalizes to semigroups and, as such, is a central construction in the Krohn–Rhodes structure theory of finite semigroups.
^Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1998), "Wreath products", Notes on Infinite Permutation Groups, Lecture Notes in Mathematics, vol. 1698, Berlin, Heidelberg: Springer, pp. 67–76, doi:10.1007/bfb0092558, ISBN 978-3-540-49813-1, retrieved 2021-05-12
In group theory, the wreathproduct is a special combination of two groups based on the semidirect product. It is formed by the action of one group on...
+ 1) is the wreathproduct of Wp(n) and Wp(1). In general, the Sylow p-subgroups of the symmetric group of degree n are a direct product of ai copies...
≅ H, wr denotes the wreathproduct. This is part of the Krull–Schmidt theorem, and holds more generally for finite direct products. It is possible to take...
semidirect product is also solvable. It is also closed under wreathproduct: If G and H are solvable, and X is a G-set, then the wreathproduct of G and...
mathematics, the lamplighter group L of group theory is the restricted wreathproduct Z 2 ≀ Z {\displaystyle \mathbf {Z} _{2}\wr \mathbf {Z} } . The name...
\varphi } . ≀ In group theory, G ≀ H {\displaystyle G\wr H} denotes the wreathproduct of the groups G and H. It is also denoted as G wr H {\displaystyle...
Presentation of a group Product of group subsets Schur multiplier Semidirect product Sylow theorems Hall subgroup Wreathproduct Butterfly lemma Center...
Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreathproduct simple finite infinite continuous multiplicative...
generalized permutation matrices is the wreathproduct of F× and Sn. Concretely, this means that it is the semidirect product of Δ(n, F) by the symmetric group...
group the product of these two determinants must be 1, then each of them must be 1. Therefore, a special linear matrix can be written as the product of a special...
multiplicative group that takes n-th powers, and take an appropriate fiber product of schemes, with the morphism e that serves as the identity. The resulting...
watches Wolf-Rayet star, in astronomy Wolf-Rayet galaxy, in astronomy Wreathproduct, in group theory Welter Racing, a French racecar design team Wide receiver...
subgroups of their direct product G × H {\displaystyle G\times H} . If the group G {\displaystyle G} is a semidirect product G = N ⋊ H {\displaystyle G=N\rtimes...
is nonempty and closed under products and inverses. Closed under products means that for every a and b in H, the product ab is in H. Closed under inverses...
Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreathproduct simple finite infinite continuous multiplicative...
corresponding elements in the direct product; thus for finite sets of subgroups, ΣHi is isomorphic to the direct product ×{Hi}. Given a group G {\displaystyle...
under the operations of addition and multiplication, that is, the sum and product of any two integers is an integer. However, with the inclusion of the negative...
Krohn–Rhodes theorem is that every finite aperiodic monoid divides a wreathproduct of copies of the three-element flip-flop monoid, consisting of an identity...
is commutative), and every finitely generated abelian group is a direct product of cyclic groups. Every cyclic group of prime order is a simple group,...