Generating wreath products of symmetric and alternating groups

James East,James Mitchell

DOI: https://doi.org/10.53733/108

2021-12-14

New Zealand Journal of Mathematics

Abstract:We show that the wreath product of two finite symmetric or alternating groups is 2-generated.

English Else

What problem does this paper attempt to address?

Transitivity in wreath products with symmetric groups

Lukas Klawuhn,Kai-Uwe Schmidt

2024-10-02

Abstract:It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$.

Combinatorics,Representation Theory
Generating functions for monomial characters of wreath products $\mathbb Z/d \mathbb Z \wr \mathfrak S_n$

Mark Skandera

DOI: https://doi.org/10.48550/arXiv.2007.08456

2020-07-17

Abstract:Let $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ denote the wreath product of the cyclic group $\mathbb Z/d\mathbb Z$ with the symmetric group $\mathfrak S_n$. We define generating functions for monomial (induced one-dimensional) characters of $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ and express these in terms of determinants and permanents. This extends work of Littlewood ({\em The Theory of Group Characters and Representations of Groups}, 1940) and Merris and Watkins ({\em Linear Algebra Appl.}, {\bf 64}, 1985) on generating functions for the monomial characters of $\mathfrak S_n$.

Combinatorics
Normal subgroups of iterated wreath products of symmetric groups and alternating with symmetric groups

Ruslan Skuratovskii

2023-08-25

Abstract:Normal subgroups and there properties for finite and infinite iterated wreath products $S_{n_1}\wr \ldots \wr S_{n_m}$, $n, m \in \mathbb{N}$ are founded. The special classes of normal subgroups and there orders are investigated. Special classes of normal subgroups are investigated and their generators are found and presented in the form of Kaloujnine tables. Inverse limit of wreath product of permutation groups is found.

Group Theory
Exponentially distorted subgroups in wreath products

Timothy Riley

DOI: https://doi.org/10.48550/arXiv.2211.02687

2024-09-07

Abstract:We exhibit exponentially distorted subgroups in $\mathbb{Z} \wr ( \mathbb{Z} \wr \mathbb{Z} )$ and $\mathbb{Z} \wr F_2$.

Group Theory
Derangements in wreath products of permutation groups

Vishnuram Arumugam,Heiko Dietrich,S.P. Glasby

2023-07-18

Abstract:Given a finite group $G$ acting on a set $X$ let $\delta_k(G,X)$ denote the proportion of elements in $G$ that have exactly $k$ fixed points in $X$. Let $\mathrm{S}_n$ denote the symmetric group acting on $[n]=\{1,2,\dots,n\}$. For $A\le\mathrm{S}_m$ and $B\le\mathrm{S}_n$, the permutational wreath product $A\wr B$ has two natural actions and we give formulas for both, $\delta_k(A\wr B,[m]{\times}[n])$ and $\delta_k(A\wr B,[m]^{[n]})$. We prove that for $k=0$ the values of these proportions are dense in the intervals $[\delta_0(B,[n]),1]$ and $[\delta_0(A,[m]),1]$. Among further result, we provide estimates for $\delta_0(G,[m]^{[n]})$ for subgroups $G\leq \mathrm{S}_m\wr\mathrm{S}_n$ containing $\mathrm{A}_m^{[n]}$.

Group Theory,Combinatorics
Wreath Products and Projective System of non-Schurian Association Schemes

Makoto Matsumoto,Kento Ogawa

DOI: https://doi.org/10.37236/11414

2024-02-09

The Electronic Journal of Combinatorics

Abstract:A wreath product is a method to construct an association scheme from two association schemes. We determine the automorphism group of a wreath product. We show a known result that a wreath product is Schurian if and only if both components are Schurian, which yields large families of non-Schurian association schemes and non-Schurian $S$-rings. We also study iterated wreath products. Kernel schemes by Martin and Stinson are shown to be iterated wreath products of class-one association schemes. The iterated wreath products give examples of projective systems of non-Schurian association schemes, with an explicit description of primitive idempotents.

mathematics, applied
Subgroup Distortion in Wreath Products of Cyclic Groups

Tara Davis,Alexander Olshanskii

DOI: https://doi.org/10.48550/arXiv.1009.4364

2011-04-08

Abstract:We study the effects of subgroup distortion in the wreath products A wr Z, where A is finitely generated abelian. We show that every finitely generated subgroup of A wr Z has distortion function equivalent to some polynomial. Moreover, for A infinite, and for any polynomial l^k, there is a 2-generated subgroup of A wr Z having distortion function equivalent to the given polynomial. Also a formula for the length of elements in arbitrary wreath product H wr G easily shows that the group Z_2 wr Z^2 has distorted subgroups, while the lamplighter group Z_2 wr Z has no distorted (finitely generated) subgroups.

Group Theory
Generalized wreath products of graphs and groups

Alfredo Donno

DOI: https://doi.org/10.48550/arXiv.1310.7085

2013-10-26

Abstract:Inspired by the definition of generalized wreath product of permutation groups, we define the generalized wreath product of graphs, containing the classical Cartesian and wreath product of graphs as particular cases. We prove that the generalized wreath product of Cayley graphs of finite groups is the Cayley graph of the generalized wreath product of the corresponding groups.

Combinatorics,Group Theory
Invariants of Wreath Products and Subgroups of S 6

Ming-chang Kang,Baoshan Wang,Jian Zhou

DOI: https://doi.org/10.1215/21562261-2871749

2015-01-01

Kyoto Journal of Mathematics

Abstract:Let G be a subgroup of S 6 , the symmetric group of degree 6. For any field k , G acts naturally on the rational function field k ( x 1 , … , x 6 ) via k -automorphisms defined by σ ⋅ x i = x σ ( i ) for any σ ∈ G and any 1 ≤ i ≤ 6 . We prove the following theorem. The fixed field k ( x 1 , … , x 6 ) G is rational (i.e., purely transcendental) over k , except possibly when G is isomorphic to PSL 2 ( F 5 ) , PGL 2 ( F 5 ) , or A 6 . When G is isomorphic to PSL 2 ( F 5 ) or PGL 2 ( F 5 ) , then C ( x 1 , … , x 6 ) G is C -rational and k ( x 1 , … , x 6 ) G is stably k -rational for any field k . The invariant theory of wreath products will be investigated also.
Cyclic Characters of Alternating Groups

Amrutha P,Amritanshu Prasad,Velmurugan S

2024-03-08

Abstract:We determine the decomposition of cyclic characters of alternating groups into irreducible characters. As an application, we characterize pairs $(w, V)$, where $w\in A_n$ and $V$ is an irreducible representation of $A_n$ such that $w$ admits a non-zero invariant vector in $V$. We also establish new global conjugacy classes for alternating groups, thereby giving a new proof of a result of Heide and Zalessky on the existence of such classes.

Representation Theory
Cellular Structure of Wreath Product Algebras

Reuben Green

DOI: https://doi.org/10.1016/j.jpaa.2019.06.012

2018-11-09

Abstract:We apply the method of iterated inflations to show that the wreath product of a cellular algebra with a symmetric group is cellular, and obtain descriptions of the cell and simple modules together with a semisimplicity condition for such wreath products.

Representation Theory
The geometry of twisted conjugacy classes in wreath products

Jennifer Taback,Peter Wong

DOI: https://doi.org/10.48550/arXiv.0805.1371

2008-05-09

Group Theory

Abstract:We give a geometric proof based on recent work of Eskin, Fisher and Whyte that the lamplighter group $L_n$ has infinitely many twisted conjugacy classes for any automorphism $\vp$ only when $n$ is divisible by 2 or 3, originally proved by Gon\c{c}alves and Wong. We determine when the wreath product $G \wr \Z$ has this same property for several classes of finite groups $G$, including symmetric groups and some nilpotent groups.
Primeness of Generalized Wreath Product II$_1$ Factors

Gregory Patchell

2024-02-02

Abstract:In this article we investigate the primeness of generalized wreath product II$_1$ factors using deformation/rigidity theory techniques. We give general conditions relating tensor decompositions of generalized wreath products to stabilizers of the associated group action and use this to find new examples of prime II$_1$ factors.

Operator Algebras
Wreath-like products of groups and their von Neumann algebras I: $W^\ast$-superrigidity

Ionut Chifan,Adrian Ioana,Denis Osin,Bin Sun

2023-06-03

Abstract:We introduce a new class of groups called wreath-like products. These groups are close relatives of the classical wreath products and arise naturally in the context of group theoretic Dehn filling. Unlike ordinary wreath products, many wreath-like products have Kazhdan's property (T). In this paper, we prove that any group $G$ in a natural family of wreath-like products with property (T) is W$^*$-superrigid: the group von Neumann algebra $\text{L}(G)$ remembers the isomorphism class of $G$. This allows us to provide the first examples (in fact, $2^{\aleph_0}$ pairwise non-isomorphic examples) of W$^*$-superrigid groups with property (T).

Operator Algebras,Dynamical Systems,Functional Analysis,Group Theory
On the Springer correspondence for wreath products

You-Hung Hsu,Chun-Ju Lai

2024-04-18

Abstract:We first show that the wreath product $\Sigma_m\wr \Sigma_d$ between two symmetric groups appears as the generalized Weyl group of an Iwahori's generalized Tits system. We then introduce a certain subvariety of the flag variety of type A, and then give a geometric proof of its Bruhat decomposition indexed by $\Sigma_m\wr \Sigma_d$, via the Bialynicki-Birula decomposition. Furthermore, we realize the group algebra $\mathbb{Q}[\Sigma_m\wr \Sigma_d]$ as the top Borel-Moore homology of a Steinberg variety. Such a geometric realization leads to a Springer correspondence for the irreducible representations over $\mathbb{C}[\Sigma_m\wr \Sigma_d]$, which can be regarded as a counterpart of the Clifford theory for wreath products. Consequently, we have obtained a new Springer correspondence of type B/C/D using essentially type A geometry.

Representation Theory,Algebraic Geometry
On wreath product occurring as subgroup of automata group

Alex C. Dantas,Junio R. Oliveira,Tulio M. G. Santos

2024-05-27

Abstract:finitely generated group is said to be an automata group if it admits a faithful self-similar finite-state representation on some regular $m$-tree. We prove that if $G$ is a subgroup of an automata group, then for each finitely generated abelian group $A$, the wreath product $A \wr G$ is a subgroup of an automata group. We obtain, for example, that $C_2 \wr (C_{2} \wr \mathbb{Z})$, $\mathbb{Z} \wr (C_2 \wr \mathbb{Z})$, $C_2 \wr (\mathbb{Z} \wr \mathbb{Z})$, and $\mathbb{Z} \wr (\mathbb{Z} \wr \mathbb{Z})$ are subgroups of automata groups. In the particular case $\mathbb{Z} \wr (\mathbb{Z} \wr \mathbb{Z})$, we prove that it is a subgroup of a two-letters automata group; this solves Problem 15.19 - (b) of the Kourovka Notebook proposed by A. M. Brunner and S. Sidki in 2000 [8, 17].

Group Theory
Quantifying conjugacy separability in wreath products of groups

Michal Ferov,Mark Pengitore

DOI: https://doi.org/10.48550/arXiv.1910.02174

2022-04-21

Abstract:We study generalisations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for $\mathcal{C}$-conjugacy separability of a wreath product $A \wr B$ in terms of the $\mathcal{C}$-conjugacy separability of $A$ and $B$, the growth of $\mathcal{C}$-cyclic subgroup separability of $B$, and the $\mathcal{C}$-residual girth of $B.$ As an application, we provide a characterisation of when $A \wr B$ is $p$-conjugacy separable. We use this characterisation to the provide for each prime $p$ an example of wreath products with infinite base group that are $p$-conjugacy separable. We also provide asymptotic upper bounds for conjugacy separability for wreath products of nilpotent groups which include the lamplighter groups and provide asymptotic upper bounds for conjugacy separability of the free metabelian groups. Along the way, we provide a polynomial upper bound for the shortest conjugator between two elements of length at most $n$ in a finitely generated nilpotent group.

Group Theory
Generalizations of wreath product identities via Garsia-Gessel bijections

Tingyao Xiong

2024-08-26

Abstract:Garsia and Gessel constructed innovative bijections to obtain multivariate generating functions of permutation statistics. In 2011, Biaogioli and Zeng successfully derived four and six variate distributions on the set of wreath product. In this paper, we will generalize the four variate identities from BZ to any positive dominant ordering. And we will simplify the six variate distribution function under the ordering originally defined by Adin and Roichman in 2001.

Combinatorics
Wreath products of cocommutative Hopf algebras

Laurent Bartholdi,Olivier Siegenthaler,Todd Trimble

DOI: https://doi.org/10.48550/arXiv.1407.3835

2014-07-14

Rings and Algebras

Abstract:We define wreath products of cocommutative Hopf algebras, and show that they enjoy a universal property of classifying cleft extensions, analogous to the Kaloujnine-Krasner theorem for groups. We show that the group ring of a wreath product of groups is the wreath product of their group rings, and that (with a natural definition of wreath products of Lie algebras) the universal enveloping algebra of a wreath product of Lie algebras is the wreath product of their enveloping algebras. We recover the aforementioned result that group extensions may be classified as certain subgroups of a wreath product, and that Lie algebra extensions may also be classified as certain subalgebras of a wreath product.
Equations in wreath products

Laurent Bartholdi,Ruiwen Dong,Leon Pernak,Jan Philipp Wächter

2024-10-07

Abstract:We survey solvability of equations in wreath products of groups, and prove that the quadratic diophantine problem is solvable in wreath products of Abelian groups. We consider the related question of determining commutator width, and prove that the quadratic diophantine problem is also solvable in Baumslag's finitely presented metabelian group. This text is a short version of an extensive article by the first-named authors.

Group Theory,Formal Languages and Automata Theory,Logic

Generating wreath products of symmetric and alternating groups

Transitivity in wreath products with symmetric groups

Generating functions for monomial characters of wreath products $\mathbb Z/d \mathbb Z \wr \mathfrak S_n$

Normal subgroups of iterated wreath products of symmetric groups and alternating with symmetric groups

Exponentially distorted subgroups in wreath products

Derangements in wreath products of permutation groups

Wreath Products and Projective System of non-Schurian Association Schemes

Subgroup Distortion in Wreath Products of Cyclic Groups

Generalized wreath products of graphs and groups

Invariants of Wreath Products and Subgroups of S 6

Cyclic Characters of Alternating Groups

Cellular Structure of Wreath Product Algebras

The geometry of twisted conjugacy classes in wreath products

Primeness of Generalized Wreath Product II$_1$ Factors

Wreath-like products of groups and their von Neumann algebras I: $W^\ast$-superrigidity

On the Springer correspondence for wreath products

On wreath product occurring as subgroup of automata group

Quantifying conjugacy separability in wreath products of groups

Generalizations of wreath product identities via Garsia-Gessel bijections

Wreath products of cocommutative Hopf algebras

Equations in wreath products