Wreath product of groups with infinite conjugacy classes

$\boldsymbol{\textit{C}}$-遗传共轭可分群与 wreath 积

$\mathcal{C}$-Hereditarily conjugacy separable groups and wreath products

该研究给出限制 wreath 积为 $\boldsymbol{\textit{C}}$-遗传共轭可分群的充要条件，证明 Grigorchuk 群是 2-遗传共轭可分群，构造了无穷多类非多循环遗传共轭可分群。

Conjugacy growth series of some wreath products

In this paper we consider groups of the form $G\wr L$, where the set of generators naturally extends the sets of generators of $G$ and $L$, and $L$ admits a Cayley graph that is a tree. We show how one can compute the conjugacy growth series of such groups in terms of the standard and conjugacy growth series of $G$. We then provide explicit formulas for groups of the form $G\wr \mathbb{Z}$ and $G\wr (C_2*C_2)$. We also prove that the radius of convergence of the conjugacy growth series of $G\wr L$, for any $G$ and $L$ as above, is the same as the radius of convergence of its standard growth se…

Conjugacy growth series for finitary wreath products

We examine the conjugacy growth series of all wreath products of the finitary permutation groups $\text{Sym}(X)$ and $\text{Alt}(X)$ for an infinite set $X$. We determine their asymptotics, and we characterize the limiting behavior between the $\text{Alt}(X)$ and $\text{Sym}(X)$ wreath products. In particular, their ratios form a limit if and only if the dimension of the symmetric wreath product is twice the dimension of the alternating wreath product.

The conjugacy problem in free solvable groups and wreath product of abelian groups is in TC$^0$

We show that the conjugacy problem in a wreath product $A \wr B$ is uniform-$\mathsf{TC}^0$-Turing-reducible to the conjugacy problem in the factors $A$ and $B$ and the power problem in $B$. If $B$ is torsion free, the power problem for $B$ can be replaced by the slightly weaker cyclic submonoid membership problem for $B$. Moreover, if $A$ is abelian, the cyclic subgroup membership problem suffices, which itself is uniform-$\mathsf{AC}^0$-many-one-reducible to the conjugacy problem in $A \wr B$. Furthermore, under certain natural conditions, we give a uniform $\mathsf{TC}^0$ Turing reduction f…

花环积中的共轭问题

The Conjugacy Problem in Wreath Products

研究花环积中共轭问题的可解性条件。通过指出简·马修斯结论的不足，给出新的附加条件。还给出了置换受限花环积中共轭问题可解的充要条件，涉及群\(A\)、\(B\)的共轭问题、幂问题、阶问题等多种条件。

On isomorphisms of $\mathcal{R}$- and $\mathcal{L}$-cross-sections of wreath products of finite inverse symmetric semigroups

We classify $\mathcal{R}$- and $\mathcal{L}$-cross-sections of wreath products of finite inverse symmetric semigroups $\mathcal{IS}_m \wr_p \mathcal{IS}_n$ up to isomorphism. We show that every isomorphism of $\mathcal{R}$ ($\mathcal{L}$-) cross-sections of $\mathcal{IS}_m \wr_p \mathcal{IS}_n$ is a conjugacy. As an auxiliary result, we get that every isomorphism of $\mathcal{R}$- ($\mathcal{L}$-) cross-sections of $\mathcal{IS}_n$ is also a conjugacy. We also compute the number of non-isomorphic $\mathcal{R}$- ($\mathcal{L}$-) cross-sections of $\mathcal{IS}_m \wr_p \mathcal{IS}_n$.

Conjugacy depth function for generalised lamplighter groups

In this article, we completely characterize the asymptotic behavior of conjugacy separability for the lamplighter groups. More generally, we give exponential upper and lower bounds for all wreath products of finitely generated abelian groups where the acting group is infinite and base group is finite.

Embedding properties of hereditarily just infinite profinite wreath products

We study infinitely iterated wreath products of finite permutation groups with respect to product actions. In particular, we prove that, for every non-empty class of finite simple groups $\mathcal{X}$, there exists a finitely generated hereditarily just infinite profinite group $W$ with composition factors in $\mathcal{X}$ such that any countably based profinite group with composition factors in $\mathcal{X}$ can be embedded into $W$. Additionally we investigate when infinitely iterated wreath products of finite simple groups with respect to product actions are co-Hopfian or non-co-Hopfian.

某些灯罩型群中的扭曲共轭

Twisted conjugacy in some lamplighter-type groups

本文研究了有限阿贝尔群 $G$ 的限制圈积 $G\wr \mathbb{Z}^k$，并在几乎所有情况下确定了其是否具有 $R_\infty$ 性质（即所有自同构均具有无限 Reidemeister 数）。

On hereditarily just infinite profinite groups obtained via iterated wreath products

We study a generalisation of the family of non-(virtually pro-$p$) hereditarily just infinite profinite groups introduced by J.\! S.\! Wilson in 2010. We prove that this family contains groups of finite lower rank. We also show that many groups in this family are not topologically finitely presentable.

Virtual retractions, conjugacy separability and omnipotence

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first type) are conjugacy distinguished, and a proof that surface groups are omnipotent.

Characterization of finitely generated infinitely iterated wreath products

Given a sequence of $(G_i)_{i \in \N}$ of finite transitive groups of degree $n_i$, let $W_\infty$ be the inverse limit of the iterated permutational wreath products of the first m groups. We prove that $W_\infty$ is (topologically) finitely generated if and only if $\prod_{i=1}^{\infty} (G_i/G_i')$ is finitely generated and the growth of the minimal number of generators of $G_i$ is bounded by $ d...n_1...n_{i-1}$ for a constant $d$. Moreover we give a criterion to decide whether $W_\infty$ is positively finitely generated.

Finite generation of iterated wreath products in product action

Let $\mathcal{S}$ be a sequence of finite perfect transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated wreath product in product action of the groups in $\mathcal{S}$ is topologically finitely generated, provided that the actions of the groups in $\mathcal{S}$ are not regular. We prove that our bound has the right asymptotic behaviour. We also deduce that other infinitely iterated mixed wreath products of groups in $\mathcal{S}$ are finitely generated. Finally we apply our methods to find explicitly two generators of infinitely iterat…

关于迭代 wreath 产物在积作用下的子群增长

On subgroup growth of iterated wreath products in product action

本文研究了通过迭代wreath产物在积作用下得到的hereditarily just infinite profinite群的子群增长类型，证明了存在任意子群增长类型的群。

Conjugacy growth series of some infinitely generated groups

It is observed that the conjugacy growth series of the infinite fini-tary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar methods are used to compute usual growth polynomials and conjugacy growth polynomials for finite symmetric groups and alternating groups, with respect to various generating sets of transpositions. Comput…

Rigidity results for wreath product II$_1$ factors

We consider II$_1$ factors of the form $M=\bar{\bigotimes}_{G}N\rtimes G$, where either i) $N$ is a non-hyperfinite II$_1$ factor and $G$ is an ICC amenable group or ii) $N$ is a weakly rigid II$_1$ factor and $G$ is ICC group and where $G$ acts on $\bar{\bigotimes}_{G}N$ by Bernoulli shifts. We prove that isomorphism of two such factors implies cocycle conjugacy of the corresponding Bernoulli shift actions. In particular, the groups acting are isomorphic. As a consequence, we can distinguish between certain classes of group von Neumann algebras associated to wreath product groups.

Coprime Subdegrees of Twisted Wreath Permutation Groups

Dolfi, Guralnick, Praeger and Spiga asked if there exist infinitely many primitive groups of twisted wreath type with nontrivial coprime subdegrees. Here we settle this question in the affirmative. We construct infinite families of primitive twisted wreath permutation groups with nontrivial coprime subdegrees. In particular, we define a primitive twisted wreath group $G(m,q)$ constructed from the nonabelian simple group $\text{PSL}(2,q)$ and a primitive permutation group of diagonal type with socle $\text{PSL}(2,q)^m$, and determine all values of $m$ and $q$ for which $G(m,q)$ has nontrivial c…

Invariable generation and wreath products

Invariable generation is a topic that has predominantly been studied for finite groups. In 2014, Kantor, Lubotzky, and Shalev produced extensive tools for investigating invariable generation for infinite groups. Since their paper, various authors have investigated the property for particular infinite groups or families of infinite groups. A group is invariably generated by a subset $S$ if replacing each element of $S$ with any of its conjugates still results in a generating set for $G$. In this paper we investigate how this property behaves with respect to wreath products. Our main work is to …

A new infinite family of star normal quotient graphs of twisted wreath type

We construct the first infinite families of locally arc transitive graphs with the property that the automorphism group has two orbits on vertices and is quasiprimitive on exactly one orbit, of twisted wreath type. This work contributes to Giudici, Li and Praeger's program for the classification of locally arc transitive graphs by showing that the star normal quotient twisted wreath category also contains infinitely many graphs.

Group extensions with infinite conjugacy classes

We characterize the group property of being with infinite conjugacy classes (or icc, i.e. infinite and of which all conjugacy classes except {1} are infinite) for groups which are defined by an extension of groups. We give characterizations for all different kinds of extension: direct product, semi-direct product, wreath products and general extension. We also give many particular results when the groups involved verify some additional hypothesis. The icc property is correlated to the Theory of Von Neumann algebras since a necessary and sufficient condition for the Von Neumann algebra of a gro…

Finite generation of iterated wreath products

Let $(G_n,X_n)$ be a sequence of finite transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated permutational wreath product $...\wr G_2\wr G_1$ is topologically finitely generated if and only if the profinite abelian group $\prod_{n\geq 1} G_n/G'_n$ is topologically finitely generated. As a corollary, for a finite transitive group $G$ the minimal number of generators of the wreath power $G\wr...\wr G\wr G$ ($n$ times) is bounded if $G$ is perfect, and grows linearly if $G$ is non-perfect. As a by-product we construct a finitely generate…

Split extensions of group with infinite conjugacy classes

We characterize the group property of being with infinite conjugacy classes (or icc, i.e. in which all conjugacy classes beside 1 are infinite) for split extensions of groups.

Being Cayley automatic is closed under taking wreath product with virtually cyclic groups

We extend work of the first author and Khoussainov to show that being Cayley automatic is closed under taking the restricted wreath product with a virtually infinite cyclic group. This adds to the list of known examples of Cayley automatic groups.

On extensions of group with infinite conjugacy classes, I

We characterize the group property of being with infinite conjugacy classes (or icc, in which all conjugacy classes beside 1 are infinite) for extensions of some specific groups ; namely extensions of abelian, centerless, icc, or word hyperbolic groups.

Profinite groups with few conjugacy classes of elements of infinite order

It is proved that every finitely generated profinite group with fewer than $2^{\aleph_0}$ conjugacy classes of elements of infinite order is finite

On self-similarity of wreath products of abelian groups

We prove that a self-similar free abelian group has finite rank. We apply the result to self-similar wreath products of abelian groups $G=BwrX$. We show that if $X$ is torsion-free, then $B$ is torsion of finite exponent. Furthemore, we construct a self-similar group $G=BwrC_{2}$ where $B$ is free abelian of infinite rank.

On the $Σ$-invariants of wreath products

We present a full description of the Bieri-Neumann-Strebel invariant of restricted permutational wreath products of groups. We also give partial results about the 2-dimensional homotopical invariant of such groups. These results may be turned into a full picture of these invariants when the abelianization of the basis group is infinite. We apply these descriptions to the study of the Reidemeister number of automorphisms of wreath products in some specific cases.

On Palindromic Widths of Nilpotent and Wreathe Products

We prove that the nilpotent product of a set of groups $A_{1},\dots, A_{s}$ has finite palindromic width if and only if the palindromic widths of $A_{i}, i=1,\dots, s,$ are finite. We give a new proof that the commutator width of $F_n \wr K$ is infinite, where $F_n$ is a free group of rank $n \geq 2$ and $K$ a finite group. This result, combining with a result of Fink \cite{f1} gives examples of groups with infinite commutator width but finite palindromic width with respect to some generating set.

无限循环顶群的圈积的交换度

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

本文证明对形如$H \wr \langle t \rangle$（顶群无限循环）的受限圈积，无论生成集如何选择，其交换度恒为零，推广了Cox关于灯架群的结果，并给出了基群像密度为零的推广结论。

Non-virtually nilpotent groups have infinite conjugacy class quotients

We offer in this note a self-contained proof of the fact that a finitely generated group is not virtually nilpotent if and only if it has a quotient with the infinite conjugacy class (ICC) propoerty. This proof is a modern presentation of the original proof, by McLain (1956) and Duguid and McLain (1956).

Subgroup Distortion in Wreath Products of Cyclic Groups

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)…

On varieties of groups generated by wreath products of abelian groups

Generalizing results of Higman and Houghton on varieties generated by wreath products of finite cycles, we prove that the (direct or cartesian) wreath product of arbitrary abelian groups $A$ and $B$ generates the product variety $var (A) \cdot var (B)$ if and only if one of the groups $A$ and $B$ is not of finite exponent, or if $A$ and $B$ are of finite exponents $m$ and $n$ respectively and for all primes $p$ dividing both $m$ and $n$, the factors $B[p^k]/B[p^{k-1}]$ are infinite, where $B[s]=\langle b\in B|\,b^{s}=1 \rangle$ and where $p^k$ is the highest power of $p$ dividing $n$.

圈积与非互素 $k(GV)$ 问题

Wreath products and the non-coprime $k(GV)$ problem

本文证明半本原置换群的圈积满足 $k(G) \leq k^n$，解决非互素 $k(GV)$ 问题的一个情形，并肯定回答 Garzoni 和 Gill 的提问，证明不依赖有限单群分类。

Kernel--wreath 构造与有限单斜括号的无限族

Kernel--wreath constructions and infinite families of finite simple skew braces

本文提出 kernel--wreath 构造，从单斜括号生成无限族有限单斜括号，保持可解性，并应用于阶 12 及 Byott 族。

Testing spherical transitivity in iterated wreath products of cyclic groups

We give a partial solution a question of Grigorchuk, Nekrashevych, Sushchanskii and Šunik by giving an algorithm to test whether a finite state element of an infinite iterated (permutational) wreath product $\hat G = \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr >...$ of cyclic groups of order $n$ acts spherically transitively. We can also decide whether two finite state spherically transitive elements of $\hat G$ are conjugate. For general infinite iterated wreath products, an algorithm is presented to determine whether two finite state automorphisms have the same im…

Palindromic Width of Wreath Products

We show that the wreath product $G \wr \mathbb{Z}^n$ of any finitely generated group $G$ with $\mathbb{Z}^n$ has finite palindromic width. We also show that $C \wr A$ has finite palindromic width if $C$ has finite commutator width and $A$ is a finitely generated infinite abelian group. Further we prove that if $H$ is a non-abelian group with finite palindromic width and $G$ any finitely generated group, then every element of the subgroup $G' \wr H$ can be expressed as a product of uniformly boundedly many palindromes. From this we obtain that $P \wr H$ has finite palindromic width if $P$ is a …

Finitely presented wreath products and double coset decompositions

We characterize which permutational wreath products W^(X)\rtimes G are finitely presented. This occurs if and only if G and W are finitely presented, G acts on X with finitely generated stabilizers, and with finitely many orbits on the cartesian square X^2. On the one hand, this extends a result of G. Baumslag about standard wreath products; on the other hand, this provides nontrivial examples of finitely presented groups. For instance, we obtain two quasi-isometric finitely presented groups, one of which is torsion-free and the other has an infinite torsion subgroup. Motivated by the characte…

关于无限线性群的有限Sylow子群共轭问题的一个注记

A note on conjugacy problem for finite Sylow subgroups of infinite linear groups

本文证明了在存在至少一个有限Sylow 2-子群的条件下，伪有限$\mathfrak{M}_c$群中Sylow 2-子群的共轭性，并通过Platonov的反例说明伪有限性假设不可或缺。

Morse theory and conjugacy classes of finite subgroups II

We construct a hyperbolic group with a finitely presented subgroup, which has infinitely many conjugacy classes of finite-order elements. We also use a version of Morse theory with high dimensional horizontal cells and use handle cancellation arguments to produce other examples of subgroups of CAT(0) groups with infinitely many conjugacy classes of finite-order elements.

关于普通与广义Baumslag-Solitar群的共轭可分性

On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups

该研究聚焦普通与广义Baumslag-Solitar（GBS）群的共轭可分性问题，在特定周期群类的封闭性条件下，推导非可解与可解GBS群的共轭可分判别准则，并得出GBS群共轭有限可分等价于剩余有限的推论。

Morse theory and conjugacy classes of finite subgroups

We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not contain any rank 3 free abelian subgroups. We also construct examples of groups of type F_n inside mapping class groups, Aut(F), and Out(F) which have infinitely many conjugacy classes of finite-order elements.

关于迭代圈积的正规化子

On the normalizer of an iterated wreath product

该研究聚焦迭代圈积W(G,n)在对称群S(Gⁿ)中的正规化子问题，通过群作用分析等方法，证明其正规化子为同构于Aut(G)ⁿ的Mₙ与W(G,n)的半直积，并给出Aut(G)ⁿ作用的递归描述。

Soluble groups with no $\mathbb{Z} \wr \mathbb{Z}$ sections

In this article, we examine how the structure of soluble groups of infinite torsion-free rank with no section isomorphic to the wreath product of two infinite cyclic groups can be analysed. As a corollary, we obtain that if a finitely generated soluble group has a defined Krull dimension and has no sections isomorphic to the wreath product of two infinite cyclic groups then it is a group of finite torsion-free rank. There are further corollaries including applications to return probabilities for random walks. The paper concludes with constructions of examples that can be compared with recent c…

对称群与交错群和对称群的迭代圈积的正规子群

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

该研究针对对称群迭代圈积的正规子群展开，确定了其性质、特殊类的阶与生成元，求得置换群圈积逆极限与集合稳定子为正规子群的条件，还证明圈积作为投射有限群的拓扑同胚于康托尔集。

Twisted conjugacy in free products

Let $ϕ:G\to G$ be an automorphism of a group which is a free-product of finitely many groups each of which is freely indecomposable and two of the factors contain proper finite index characteristic subgroups. We show that $G$ has infinitely many $ϕ$-twisted conjugacy classes. As an application, we show that if $G$ is the fundamental group of a three-manifold that is not irreducible, then $G$ has property $R_\infty$, that is, there are infinitely many $ϕ$-twisted conjugacy classes in $G$ for every automorphism $ϕ$ of $G$.

Finite extension of group with infinite conjugacy classes

We characterize the group property of being with infinite conjugacy classes (or icc, i.e. \not= 1 and of which all conjugacy classes except 1 are infinite) for finite extensions of group.

Algebras of conjugacy classes of partial elements

In 2001 Ivanov and Kerov associated with the infinite permutation group $S_\infty$ certain commutative associative algebra $A_\infty$ called the algebra of conjugacy classes of partial elements. A standard basis of $A_\infty$ is labeled by Yang diagrams of all orders. Mironov, Morozov, Natanzon, 2012, have proved that the completion of $A_\infty$ is isomorphic to the direct product of centers of group algebras of groups $S_n$. This isomorphism was explored in a construction of infinite dimensional Cardy-Frobenius algebra corresponding to asymptotic Hurwitz numbers. In this work algebras of con…

Reidemeister类、圈积与可解性

Reidemeister classes, wreath products and solvability

本文研究了限制圈积中的Reidemeister类，在自同构阶数和Reidemeister类数目有限的条件下证明了猜想TBFT_f，并证明了满足该条件的有限生成剩余有限群具有可解有限性（猜想R）。

wreath积中对称群的传递性

Transitivity in wreath products with symmetric groups

研究wreath积G Wr S_n中有限阿贝尔群G的传递子集结构，利用特征理论和关联方案分析，推广Livingstone-Wagner定理，并与正交多项式联系，扩展对称群S_n的研究。

关于映射到 wreath 产品的一则注记

A note on morphisms to wreath products

该研究探讨了有限生成群到 wreath 产品映射的性质，证明了映射核包含非交换自由子群，并扩展了 SQ-通用性的结论，同时揭示了与 Kaplansky 猜想的联系。

Conjugacy classes of centralizers in the group of upper triangular matrices

Let G be a group. Two elements x and y in G are said to be in the same z-class if their centralizers in G are conjugate within G. In this paper, we prove that the number of z-classes in the group of upper triangular matrices is infinite provided that the field is infinite and size of the matrices is at least 6, and finite otherwise.

Irreducible Bases and Subgroups of a Wreath Product in Applying to Diffeomorphism Groups acting on the Möbius Band

Given a permutational wreath product sequence of cyclic groups we investigate its minimal generating set, minimal generating set for its commutator and some properties of its commutator subgroup. We strengthen the result of author \cite{SkVC, SkMal, SkAr} and construct minimal generating set for wreath product of finite and infinite cyclic groups and direct product of such groups. We generalize results of Meldrum about commutator subgroup of wreath product \cite{Meld} because we take in consideration as regular wreath product as well as no regular (where active group $\mathcal{A}$ can acts not…

On the Conjugacy Separability of Generalized Free Products of Groups

It is proved that generalized free product of two finite p-groups is a conjugacy p-separable group if and only if it is residually finite p-groups. This result is then applied to establish some sufficient conditions for conjugacy p-separability of generalized free product of infinite groups.

Some rigidity results for II$_1$ factors arising from wreath products of property (T) groups

We show that any infinite collection $(Γ_n)_{n\in \mathbb N}$ of icc, hyperbolic, property (T) groups satisfies the following von Neumann algebraic \emph{infinite product rigidity} phenomenon. If $Λ$ is an arbitrary group such that $L(\oplus_{n\in \mathbb N} Γ_n)\cong L(Λ)$ then there exists an infinite direct sum decomposition $Λ=(\oplus_{n \in \mathbb N} Λ_n )\oplus A$ with $A$ icc amenable such that, for all $n\in \mathbb N$, up to amplifications, we have $L(Γ_n) \cong L(Λ_n)$ and $L(\oplus_{k\geq n} Γ_k )\cong L((\oplus_{k\geq n} Λ_k) \oplus A)$. The result is sharp and complements the pre…