Related papers: Profinite invariants of arithmetic groups
We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our…
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products,…
Let $q$ be a prime and $A$ an elementary abelian $q$-group acting as a coprime group of automorphisms on a profinite group $G$. We show that if $A$ is of order $q^2$ and some power of each element in $C_G(a)$ is Engel in $G$ for any $a\in…
The main result of the paper is the following theorem. Let $q$ be a prime and $A$ an elementary abelian group of order $q^3$. Suppose that $A$ acts coprimely on a profinite group $G$ and assume that $C_G(a)$ is locally nilpotent for each…
It is known that Euler numbers, defined as the Taylor coefficients of the tangent and secant functions, count alternating permutations in the symmetric group. Springer defined a generalization of these numbers for each finite Coxeter group…
A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…
We show that a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank has Prufer 2-rank at most two. This article covers the signalizer functor theory and identifies the groups of Lie…
A pro-p Cappitt group is a pro-p group G such that the subgroup topologically generated by all non-normal closed subgroups is a proper subgroup of G. In this paper we prove that non-abelian pro-p Cappitt groups whose torsion subgroup is…
We prove that the Turaev--Viro invariants of the two surface bundles over the circle coincide for every spherical fusion category if the surface group is procongruently conjugacy separable and there exists a regular profinite isomorphism…
We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of…
Let G be a locally compact group, let X be a universal proper G-space, and let Z be a G-equivariant compactification of X that is H-equivariantly contractible for each compact subgroup H of G. Let W be the resulting boundary. Assuming the…
A profinite group is called small if it has only finitely many open subgroups of index n for each positive integer n. We show that every Frattini cover of a small profinite group is small. A profinite group is called strongly complete if…
Let $G$ be a finitely generated abelian-by-finite group and $k$ a field of characteristic $p\ge 0$. The Euler class $[k_G]$ of $G$ over $k$ is the class of the trivial $kG$-module in the Grothendieck group $G_0(kG)$. We show that $[k_G]$…
Let w be a group word. It is conjectured that if w has only countably many values in a profinite group G, then the verbal subgroup w(G) is finite. In the present paper we confirm the conjecture in the cases where w is a multilinear…
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…
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…
In this article we calculate the profinite genus of the fundamental group of a $n$-dimensional compact flat manifold $X$ with holonomy group of prime order. As consequence, we prove that if $n\leq 21$, then $X$ is determined among all…
For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable…
Broadly speaking, a finiteness property of groups is any generalisation of the property of having finite order. A large part of infinite group theory is concerned with finiteness properties and the relationships between them. Profinite…
Let $w$ be a multilinear commutator word. In the present paper we describe recent results that show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely (or in some cases countably) many subgroups…