An uncountable family of 3-generated groups with isomorphic profinite completions

Volodymyr Nekrashevych

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

2013-03-27

Abstract:We construct an uncountable family of 3-generated residually finite just-infinite groups with isomorphic profinite completions. We also show that word growth rate is not a profinite property.

Group Theory

What problem does this paper attempt to address?

Amenability and profinite completions of finitely generated groups

Steffen Kionke,Eduard Schesler

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

2021-06-16

Abstract:This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenability, a strengthening of amenability introduced in the 70's, and we prove that uniform amenability indeed is detectable from the profinite completion.

Group Theory
Finite subgroups of the profinite completion of good groups

Marco Boggi,Pavel Zalesskii

2024-06-13

Abstract:Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of $G$ and those of its profinite completion $\hat{G}$. Moreover, we prove that the centralizers and normalizers in $\hat{G}$ of finite $p$-subgroups of $G$ are the closures of the respective centralizers and normalizers in $G$. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of $G$. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of $3$-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).

Group Theory,Geometric Topology
Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Lucas C. Lopes,Pavel A. Zalesskii

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

2024-08-13

Abstract:We give a description of finitely generated prosoluble subgroups of the profinite completion of $3$-manifold groups and virtually compact special groups.

Geometric Topology,Group Theory
Profinite completions of free-by-free groups contain everything

Martin R. Bridson

2023-12-12

Abstract:Given an arbitrary, finitely presented, residually finite group $\Gamma$, one can construct a finitely generated, residually finite, free-by-free group $M_\Gamma = F_\infty\rtimes F_4$ and an embedding $M_\Gamma \hookrightarrow (F_4\ast \Gamma)\times F_4$ that induces an isomorphism of profinite completions. In particular, there is a free-by-free group whose profinite completion contains $\widehat{\Gamma}$ as a retract.

Group Theory
Absolute profinite rigidity, direct products, and finite presentability

M. R. Bridson,A. W. Reid,R. Spitler

2023-12-11

Abstract:We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma \times \Gamma$ where $\Gamma$ is a profinitely rigid 3-manifold group; we describe a family of such groups with the property that if $P$ is a finitely generated, residually finite group with $\widehat{P}\cong\widehat{\Gamma\times\Gamma}$ then there is an embedding $P\hookrightarrow\Gamma\times\Gamma$ that induces the profinite isomorphism; in each case there are infinitely many non-isomorphic possibilities for $P$.

Group Theory
Finite Germ Extensions

James Belk,James Hyde,Francesco Matucci

2024-07-03

Abstract:We prove finiteness properties for groups of homeomorphisms that have finitely many "singular points", and we describe the normal structure of such groups. As an application, we prove that every countable abelian group can be embedded into a finitely presented simple group, verifying the Boone-Higman conjecture for countable abelian groups. Indeed, we describe a specific 2-generated, $\mathrm{F}_\infty$ simple group $V\mathcal{A}$ of homeomorphisms of the Cantor set that contains every countable abelian group. As a second application, we prove that if $G$ is a bounded automata group then the associated Röver-Nekrashevych groups $V_{d,r}G$ have type $\mathrm{F}_\infty$, verifying a conjecture of Nekrashevych for a large class of contracting self-similar groups. Among others, this result applies to Röver-Nekrashevych groups associated to Gupta-Sidki groups and the basilica group.

Group Theory
On generation problems in generalised Wilson type groups

Matteo Vannacci

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

2015-05-31

Abstract:We study a family of hereditarily just infinite profinite groups obtained by iterated wreath products introduced by J. Wilson in 2010. We find explicit generators for this family in a number of cases using combinatorial methods. We then discuss determination of the lower rank for this family. Finally we examine whether the groups in this family admit a finite profinite presentation.

Group Theory
Profinite properties of residually free groups

Ismael Morales

2024-11-04

Abstract:Henry Wilton classified when a prime three-manifold $M$ has a residually free fundamental group $\pi_1 M$. We prove that the groups $\pi_1 M\times \mathbb Z^n$ are profinitely rigid within finitely generated residually free groups. We also establish other profinite invariants of the class of residually free groups such as coherence and subgroup separability. In the course of our proofs, we generalise a lemma of Wilton and Zalesskii on profinitely recognising when a central extension of groups splits.

Group Theory
Strange images of profinite groups

Nikolay Nikolov

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

2011-07-12

Abstract:We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is semisimple or nonuniversal. We also investigate the existense of dense normal subgroups in $G$.

Group Theory
Profinite isomorphisms and fixed-point properties

Martin R. Bridson

2023-04-05

Abstract:We describe a flexible construction that produces triples of finitely generated, residually finite groups $M\hookrightarrow P \hookrightarrow \Gamma$, where the maps induce isomorphisms of profinite completions $\widehat{M}\cong\widehat{P}\cong\widehat{\Gamma}$, but $M$ and $\Gamma$ have Serre's property FA while $P$ does not. In this construction, $P$ is finitely presented and $\Gamma$ is of type ${\rm{F}}_\infty$. More generally, given any positive integer $d$, one can demand that $M$ and $\Gamma$ have a fixed point whenever they act by semisimple isometries on a complete CAT$(0)$ space of dimension at most $d$, while $P$ acts without a fixed point on a tree.

Group Theory
Revisiting Farrell's nonfiniteness of Nil

Jean-François Lafont,Stratos Prassidis,Kun Wang

DOI: https://doi.org/10.2140/akt.2016.1.209

2014-07-17

Abstract:We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that any finite group that occurs in such a Farrell Nil-group occurs with infinite multiplicity. If the original finite group is a direct summand, then the countably infinite sum of the finite subgroup also appears as a direct summand. We use this to deduce a structure theorem for countable Farrell Nil-groups with finite exponent. Finally, as an application, we show that if $V$ is any virtually cyclic group, then the associated Farrell or Waldhausen Nil-groups can always be expressed as a countably infinite sum of copies of a finite group, provided they have finite exponent (which is always the case in dimension $0$).

K-Theory and Homology,Geometric Topology
On (hereditarily) just infinite profinite groups that are not virtually pro-p

Colin D. Reid

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

2010-10-22

Abstract:A profinite group G is just infinite if every non-trivial closed normal subgroup of G is of finite index, and hereditarily just infinite if every open subgroup is just infinite. Hereditarily just infinite profinite groups need not be virtually pro-p, as shown in a recent paper of Wilson. The same paper gives a criterion on an inverse system of finite groups that is sufficient to ensure the limit is either virtually abelian or hereditarily just infinite. We give criteria of a similar nature that characterise the just infinite and hereditarily just infinite properties under the assumption that G is not virtually pro-p.

Group Theory
Cohomological properties of maximal pro- p Galois groups that are preserved under profinite completion

Tamar Bar-On

DOI: https://doi.org/10.1515/forum-2023-0227

2024-04-25

Forum Mathematicum

Abstract:Let p be a prime number. One of the most difficult and important questions in Galois theory these days is determining which pro- p groups can occur as maximal pro- p Galois groups. Some restrictions of the structure of maximal pro- p Galois groups are already known, and therefore, the families of all pro- p groups satisfying these restrictions are in the center of the research. In the current paper we deal with three of these families: The family of all pro- p groups which satisfy hereditarily the n -vanishing Massey product property, the family of 1-cyclotomic oriented pro- p groups, and the family of pro- p groups that are hereditarily of p -absolute Galois type. We show that all these families are closed under taking profinite completion of each order.

mathematics, applied
Endomorphism monoid and automorphism group of residually finite and profinite quandles

Manpreet Singh

2023-11-07

Abstract:We explore residually finite and profinite quandles. We prove that the endomorphism monoid and the automorphism group of finitely generated residually finite quandles are residually finite. In fact, we establish the similar result for a broad class of residually finite quandles. We provide a topological characterization of profinite quandles. We establish necessary and sufficient conditions for profinite quandles ensuring that their endomorphism monoids and automorphism groups are profinite.

Group Theory,Geometric Topology
Generalized Residual Finiteness of Groups

Nic Brody,Kasia Jankiewicz

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

2024-01-10

Abstract:A countable group is residually finite if every nontrivial element can act nontrivially on a finite set. When a group fails to be residually finite, we might want to measure how drastically it fails - it could be that only finitely many conjugacy classes of elements fail to act nontrivially on a finite set, or it could be that the group has no nontrivial actions on finite sets whatsoever. We define a hierarchy of properties, and construct groups which become arbitrarily complicated in this sense.

Group Theory
On finitely generated Engel branch groups

J. Moritz Petschick

DOI: https://doi.org/10.1112/jlms.12980

2024-08-27

Journal of the London Mathematical Society

Abstract:Abstract We construct finitely generated Engel branch groups, answering a question of Fernández‐Alcober, Noce and Tracey on the existence of such objects. In particular, the groups constructed are not nilpotent, yielding the second known class of examples of finitely generated non‐nilpotent Engel groups following a construction by Golod from 1969. To do so, we exhibit groups acting on rooted trees with growing valency on which word lengths of elements are contracting very quickly under section maps. Our methods apply in principle to a wider class of iterated identities, of which the Engel words are a special case.

mathematics
Strong conciseness of coprime commutators in profinite groups

Iker de las Heras,Matteo Pintonello,Pavel Shumyatsky

DOI: https://doi.org/10.1016/j.jalgebra.2023.06.003

2023-07-27

Abstract:Let $G$ be a profinite group. The coprime commutators $\gamma_j^*$ and $\delta_j^*$ are defined as follows. Every element of $G$ is both a $\gamma_1^*$-value and a $\delta_0^*$-value. For $j\geq 2$, let $X$ be the set of all elements of $G$ that are powers of $\gamma_{j-1}^*$-values. An element $a$ is a $\gamma_j^*$-value if there exist $x\in X$ and $g\in G$ such that $a=[x,g]$ and $(|x|,|g|)=1$. For $j\geq 1$, let $Y$ be the set of all elements of $G$ that are powers of $\delta_{j-1}^*$-values. The element $a$ is a $\delta_j^*$-value if there exist $x,y\in Y$ such that $a=[x,y]$ and $(|x|,|y|)=1$. In this paper we establish the following results. A profinite group $G$ is finite-by-pronilpotent if and only if there is $k$ such that the set of $\gamma_k^*$-values in $G$ has cardinality less than $2^{\aleph_0}$. A profinite group $G$ is finite-by-(prosoluble of Fitting height at most $k$) if and only if there is $k$ such that the set of $\delta_k^*$-values in $G$ has cardinality less than $2^{\aleph_0}$.

Group Theory
Finite abelian groups acting on rationally connected threefolds I: Groups of product type

Konstantin Loginov

2024-08-21

Abstract:We initiate the study of finite abelian groups that faithfully act on three-dimensional rationally connected varieties. We show that these groups can be naturally divided into three types. The first type consists of finite abelian groups that are products of two groups that belong to the Cremona group of rank 1 and 2, respectively; the second type consists of cyclic extensions of finite abelian groups acting on a K3 surface; the third type consists of groups that act on terminal Fano threefolds with empty anti-canonical linear system. We also establish a boundedness result for the groups of the second type.

Algebraic Geometry

An uncountable family of 3-generated groups with isomorphic profinite completions

Amenability and profinite completions of finitely generated groups

Finite subgroups of the profinite completion of good groups

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Profinite completions of free-by-free groups contain everything

Absolute profinite rigidity, direct products, and finite presentability

Finite Germ Extensions

On generation problems in generalised Wilson type groups

Profinite properties of residually free groups

Strange images of profinite groups

Profinite isomorphisms and fixed-point properties

Revisiting Farrell's nonfiniteness of Nil

On (hereditarily) just infinite profinite groups that are not virtually pro-p

Cohomological properties of maximal pro- p Galois groups that are preserved under profinite completion

Endomorphism monoid and automorphism group of residually finite and profinite quandles

Generalized Residual Finiteness of Groups

On finitely generated Engel branch groups

Strong conciseness of coprime commutators in profinite groups

Finite abelian groups acting on rationally connected threefolds I: Groups of product type