Related papers: On the profinite rigidity of triangle groups
We formulate and prove a profinite rigidity theorem for the twisted Alexander polynomials up to several types of finite ambiguity. We also establish torsion growth formulas of the twisted homology groups in a $\mathbb{Z}$-cover of a…
A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…
Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its…
In this paper, we prove that all finitely generated 3-manifold groups are Grothendieck rigid. More precisely, for any finitely generated 3-manifold group $G$ and any finitely generated proper subgroup $H<G$, we prove that the inclusion…
In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.
The article deals with profinite groups in which the centralizers are pronilpotent (CN-groups). It is shown that such groups are virtually pronilpotent. More precisely, let G be a profinite CN-group, and let F be the maximal normal…
A word $w$ is said to be concise in a class of groups if, for every $G$ in that class such that the set of $w$-values $w\{G\}$ is finite, the verbal subgroup $w(G)$ is also finite. In the context of profinite groups, the notion of strong…
Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general…
The Profinite Isomorphism Problem for a class of groups \mathcal{C} asks for an algorithm that decides for any two groups in \mathcal{C} whether they have isomorphic profinite completions. We present the positive solution to this problem…
We show that hyperbolic four-punctured $S^2-$bundles over $S^1$ are distinguished by the finite quotients of their fundamental groups among all 3-manifold groups. To do this, we upgrade a result of Liu to show that the topological type of a…
We show that the class of profinite duality groups is closed under group extensions provided that the kernel satisfies some finiteness condition. This extends earlier results of Pletch and of Wingberg.
We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms.…
We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function.…
We prove that if G is the circle group or a profinite group, then the all of the homotopical information of the category of rational G-spectra is captured by triangulated structure of the rational G-equivariant stable homotopy category.…
Finitely generated (non-abelian) free metabelian pro-p groups, and wreath products of f.g. free abelian pro-p groups, are all finitely axiomatizable in the class of all profinite groups.
In this paper, we prove that profinitely rigid finite-volume hyperbolic manifolds form a closed set under geometric topology. This observation implies the profinite rigidity of a large family of cusped hyperbolic manifolds via…
The structure of finite and locally finite groups in which every element has prime power order (CP-groups) is well known. In this paper we note that the combination of our earlier results with the available information on the structure of…
We give criteria for a graph of groups to have finite stature with respect to its collection of vertex groups, in the sense of Huang-Wise. We apply it to the triangle Artin groups that were previously shown to split as a graph of groups.…
It is shown that any finitely generated non-elementary Fuchsian group has among its homomorphic images all but finitely many of the alternating groups. This settles in the affirmative a conjecture of Graham Higman.
The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship…