On the residual finiteness of the non-abelian exterior square of wreath products and the Grigorchuk group

Ayrton Anjos Teixeira; Dessislava H. Kochloukova

Home/Archive/arXiv

arXiv · 2610.10417

On the residual finiteness of the non-abelian exterior square of wreath products and the Grigorchuk group

Ayrton Anjos Teixeira·Dessislava H. Kochloukova

View original source ↗Read source document ↗Export metadata ↓

Abstract

We show some sufficient conditions ( in terms of properties of $A$, $B$ and $X$) for the non-abelian exterior square $G \wedge G$ to be residually finite, where $G $ is the wreath product $A \wr B$ or the combinatorial wreath product $G = A \wr_X B$, in the latter case $B$ is a free group. We prove that for the Grigorchuk group $G$ the non-abelian exterior square $G \wedge G$ and the non-abelian tensor product $G \otimes G$ are residually finite. We show conditions that imply that $A \wr B$ is not (cohomologically) good in dimension $\leq 2$.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ayrton Anjos Teixeira, Dessislava H. Kochloukova. 2026-10-07. On the residual finiteness of the non-abelian exterior square of wreath products and the Grigorchuk group. https://arxiv.org/abs/2610.10417

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On strongly reversible elements in the Riordan group

An element of a group is called \emph{reversible} if it is conjugate to its inverse, and \emph{strongly reversible} if it can be expressed as a product of two involutions. We study strongly reversible elements in the Riordan group and its various important subgroups. We prove that not every reversible element in the Riordan group is strongly reversible, and we investigate products of reversible elements in the Riordan group.

math.GR↗

arXiv2026

Testing epimorphism onto the bicyclic monoid is $\mathsf{NP}$-complete

We prove that deciding whether there is a surjective homomorphism from an arbitrary finitely presented inverse monoid onto the bicyclic monoid is $\mathsf{NP}$-complete. As part of the proof, we show that an extension of existential Presburger arithmetic which involves greatest common divisors on $n$ arguments is in $\mathsf{NP}$, extending a recent result of Défossez, Haase, Mansutti, and Pérez (SODA 2024).

math.GR↗

arXiv2026

Almost all finite groups are $2$-groups of class two

We prove that almost all finite groups are $2$-groups of nilpotency class two, when groups of order at most $x$ are counted up to isomorphism and $x\to\infty$. More precisely, uniformly for $2^m\leq x<2^{m+1}$, all but an $O(2^{-cm^2})$ proportion have order $2^m$ and class two, for some absolute constant $c>0$. For each fixed prime $p$, we give a formula for the number of groups of order $p^m$, with relative error $O(p^{-m/3})$ as $m\to\infty$. This refines the classical logarithmic estimates for the number of $p$-groups. For every fixed prime $p$ and sufficiently large $m$, we also prove that all but a $p^{-m^2/300}$ proportion of groups of order $p^m$ have central elementary abelian Frattini subgroup. For fixed $p$, the distribution of the minimum number of generators among groups of order $p^m$ is asymptotically supported on one or two adjacent values, with explicit probabilities depending on $m$ modulo three.

math.GR↗