Wreath Products of Semigroups and Plotkin's Problem

A. N. Shevlyakov

DOI: https://doi.org/10.1007/s10469-024-09757-y

2024-10-05

Algebra and Logic

Abstract:We prove that the wreath product C = A ≀ B of a semigroup A with zero and an infinite cyclic semigroup B is q ω -compact (logically Noetherian). Our result partially solves I. Plotkin's problem for wreath products.

mathematics,logic

What problem does this paper attempt to address?

Wreath products of groups acting with bounded orbits

Paul-Henry Leemann,Grégoire Schneeberger

DOI: https://doi.org/10.4171/LEM/1059

2024-03-19

Abstract:If $\textbf{S}$ is a subcategory of metric spaces, we say that a group G has property $B\textbf{S}$ if any isometric action on an $\textbf{S}$-space has bounded orbits. Examples of such subcategories include metric spaces, affine real Hilbert spaces, CAT(0) cube complexes, connected median graphs, trees or ultra-metric spaces. The corresponding properties $B\textbf{S}$ are respectively Bergman's property, property FH (which, for countable groups, is equivalent to the celebrated Kazhdan's property (T)), property FW (both for CAT(0) cube complexes and for connected median graphs), property FA and uncountable cofinality. Historically many of these properties were defined using the existence of fixed points. Our main result is that for many subcategories $\textbf{S}$, the wreath product $G\wr_XH$ has property $B\textbf{S}$ if and only if both $G$ and $H$ have property $B\textbf{S}$ and $X$ is finite. On one hand, this encompasses in a general setting previously known results for properties FH and FW. On the other hand, this also applies to the Bergman's property. Finally, we also obtain that $G\wr_XH$ has uncountable cofinality if and only if both $G$ and $H$ have uncountable cofinality and $H$ acts on $X$ with finitely many orbits.

Group Theory
A wreath product decomposition of E-solid locally inverse semigroups

Jiří Kad'ourek Department of Mathematics and Statistics,Masaryk University,Brno,Czech Republic

DOI: https://doi.org/10.1080/00927872.2024.2390638

2024-08-22

Communications in Algebra

Abstract:In this paper, a kind of restricted wreath product of an arbitrary band of groups by an arbitrary generalized inverse semigroup is introduced first. This wreath product turns out to be an E -solid semigroup, and if one comes out at the beginning with a normal band of groups, then it shows itself to be also a locally inverse semigroup. Then it is proved that every E -solid locally inverse semigroup S can be embedded in such a restricted wreath product of a normal band of groups Q by a generalized inverse semigroup K . Here K can be taken to be the greatest orthodox semigroup homomorphic image of S and Q can be taken to be the preimage of the band of idempotents of K under the canonical homomorphism of S onto its quotient K . In this way, the given E -solid locally inverse semigroup S decomposes into a restricted wreath product of its components Q and K whose structure derives directly from that of S .

mathematics
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
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
Cayley Automatic Representations Of Wreath Products

Dmitry Berdinsky,Bakhadyr Khoussainov

DOI: https://doi.org/10.1142/S0129054116400049

2016-01-01

International Journal of Foundations of Computer Science

Abstract:We construct the representations of Cayley graphs of wreath products using finite automata, pushdown automata and nested stack automata. These representations are in accordance with the notion of Cayley automatic groups introduced by Kharlampovich, Khoussainov and Miasnikov and its extensions introduced by Elder and Taback. We obtain the upper and lower bounds for a length of an element of a wreath product in terms of the representations constructed.
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
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.
The degree of commutativity of wreath products with infinite cyclic top group

Iker de las Heras,Benjamin Klopsch,Andoni Zozaya

2023-10-15

Abstract:The degree of commutativity of a finite group is the probability that two uniformly and randomly chosen elements commute. This notion extends naturally to finitely generated groups $G$: the degree of commutativity $\text{dc}_S(G)$, with respect to a given finite generating set $S$, results from considering the fractions of commuting pairs of elements in increasing balls around $1_G$ in the Cayley graph $\mathcal{C}(G,S)$. We focus on restricted wreath products the form $G = H \wr \langle t \rangle$, where $H \ne 1$ is finitely generated and the top group $\langle t \rangle$ is infinite cyclic. In accordance with a more general conjecture, we show that $\text{dc}_S(G) = 0$ for such groups $G$, regardless of the choice of $S$. This extends results of Cox who considered lamplighter groups with respect to certain kinds of generating sets. We also derive a generalisation of Cox's main auxiliary result: in `reasonably large' homomorphic images of wreath products $G$ as above, the image of the base group has density zero, with respect to certain types of generating sets.

Group Theory
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
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
The complexity of knapsack problems in wreath products

Michael Figelius,Moses Ganardi,Markus Lohrey,Georg Zetzsche

2024-11-30

Abstract:We prove new complexity results for computational problems in certain wreath products of groups and (as an application) for free solvable group. For a finitely generated group we study the so-called power word problem (does a given expression $u_1^{k_1} \ldots u_d^{k_d}$, where $u_1, \ldots, u_d$ are words over the group generators and $k_1, \ldots, k_d$ are binary encoded integers, evaluate to the group identity?) and knapsack problem (does a given equation $u_1^{x_1} \ldots u_d^{x_d} = v$, where $u_1, \ldots, u_d,v$ are words over the group generators and $x_1,\ldots,x_d$ are variables, has a solution in the natural numbers). We prove that the power word problem for wreath products of the form $G \wr \mathbb{Z}$ with $G$ nilpotent and iterated wreath products of free abelian groups belongs to $\mathsf{TC}^0$. As an application of the latter, the power word problem for free solvable groups is in $\mathsf{TC}^0$. On the other hand we show that for wreath products $G \wr \mathbb{Z}$, where $G$ is a so called uniformly strongly efficiently non-solvable group (which form a large subclass of non-solvable groups), the power word problem is $\mathsf{coNP}$-hard. For the knapsack problem we show $\mathsf{NP}$-completeness for iterated wreath products of free abelian groups and hence free solvable groups. Moreover, the knapsack problem for every wreath product $G \wr \mathbb{Z}$, where $G$ is uniformly efficiently non-solvable, is $\Sigma^2_p$-hard.

Group Theory,Computational Complexity
On the dearth of coproducts in the category of locally compact groups

Alexandru Chirvasitu

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

2021-07-25

Abstract:We prove that a family of at least two non-trivial, almost-connected locally compact groups cannot have a coproduct in the category of locally compact groups if at least one of the groups is connected; this confirms the intuition that coproducts in said category are rather hard to come by, save for the usual ones in the category of discrete groups. Along the way we also prove a number of auxiliary results on characteristic indices of locally compact or Lie groups as defined by Iwasawa: that characteristic indices can only decrease when passing to semisimple closed Lie subgroups, and also along dense-image morphisms.

Group Theory,Category Theory,Representation Theory
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
Hopfian wreath products and the stable finiteness conjecture

Henry Bradford,Francesco Fournier-Facio

DOI: https://doi.org/10.1007/s00209-024-03589-3

2024-10-22

Mathematische Zeitschrift

Abstract:We study the Hopf property for wreath products of finitely generated groups, focusing on the case of an abelian base group. Our main result establishes a strong connection between this problem and Kaplansky's stable finiteness conjecture. Namely, the latter holds true if and only if for every finitely generated abelian group A and every finitely generated Hopfian group the wreath product is Hopfian. In fact, we characterize precisely when is Hopfian, in terms of the existence of one-sided units in certain matrix algebras over , for every prime p occurring as the order of some element in A . A tool in our arguments is the fact that fields of positive characteristic locally embed into matrix algebras over thus reducing the stable finiteness conjecture to the case of . A further application of this result shows that the validity of Kaplansky's stable finiteness conjecture is equivalent to a version of Gottschalk's surjunctivity conjecture for additive cellular automata.

mathematics
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
Monoidal Rigidity for Free Wreath Products

Pierre Fima,Lorenzo Pittau

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

2016-04-05

Abstract:In this note we observe that any compact quantum group monoidally equivalent, in a nice way, to a free wreath product of a compact quantum group $G$ by the quantum automorphism group of a finite dimensional C*-algebra with a $\delta$-form is actually isomorphic to a free wreath product of $G$ by the quantum automorphism group of another finite dimensional C*-algebra with a $\delta$-form.

Quantum Algebra,Operator Algebras
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
The wreath product of semiprime skew braces is semiprime

Patrick I. Kinnear

DOI: https://doi.org/10.1080/00927872.2020.1805457

2020-08-17

Communications in Algebra

Abstract:In this note, we show that the wreath product of two semiprime skew braces is also a semiprime skew brace.

mathematics
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

Wreath Products of Semigroups and Plotkin's Problem

Wreath products of groups acting with bounded orbits

A wreath product decomposition of E-solid locally inverse semigroups

Wreath Products and Projective System of non-Schurian Association Schemes

Quantifying conjugacy separability in wreath products of groups

Cayley Automatic Representations Of Wreath Products

Generalized wreath products of graphs and groups

Wreath products of cocommutative Hopf algebras

The degree of commutativity of wreath products with infinite cyclic top group

Subgroup Distortion in Wreath Products of Cyclic Groups

Equations in wreath products

The complexity of knapsack problems in wreath products

On the dearth of coproducts in the category of locally compact groups

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

Hopfian wreath products and the stable finiteness conjecture

Cellular Structure of Wreath Product Algebras

Monoidal Rigidity for Free Wreath Products

Transitivity in wreath products with symmetric groups

The wreath product of semiprime skew braces is semiprime

On the Springer correspondence for wreath products