Related papers: Profinite Groups Associated to Sofic Shifts are Fr…

We prove that the torsion-free lamplighter group $\Gamma = \mathbb{Z}^n \wr \mathbb{Z}$ of any rank $n \in \mathbb{N}$ is profinitely rigid in the absolute sense: the finite quotients of $\Gamma$ determine its isomorphism type uniquely…

Just infinite groups play a significant role in profinite group theory. For each $c \geq 0$, we consider more generally JNN$_c$F profinite (or, in places, discrete) groups that are Fitting-free; these are the groups $G$ such that every…

It is shown that the commutator subgroup of the fundamental group of a smooth affine curve over an uncountable algebraically closed field $k$ of positive characteristic is a profinite free group of rank equal to the cardinality of $k$.

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from…

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.

The article deals with profinite groups in which the centralizers are abelian (CA-groups), that is, with profinite commutativity-transitive groups. It is shown that such groups are virtually pronilpotent. More precisely, let G be a…

We show that every normal amenable subgroup of the automorphism group of the full shift is contained in its center. This follows from the analysis of this group's Furstenberg topological boundary, through the construction of a minimal and…

We discuss the set of subgroups of the automorphism group of a full shift, and submonoids of its endomorphism monoid. We prove closure under direct products in the monoid case, and free products in the group case. We also show that the…

We give a definition of weakly sofic groups (w-sofic groups). Our definition is rather natural extension of the definition of sofic groups where instead of Hamming metric on symmetric groups we use general bi-invariant metrics on finite…

We introduce the notion of semigroup with a tight ideal series and investigate their closures in semitopological semigroups, particularly inverse semigroups with continuous inversion. As a corollary we show that the symmetric inverse…

We present examples of closed subsets of a free group such that their product is not closed in the profinite topology. We discuss how to characterize a subset of a free group which is closed in the profinite topology and its product with…

Let $(\mathcal{G},\Gamma)$ be an abstract graph of finite groups. If $\Gamma$ is finite, we can construct a profinite graph of groups in a natural way $(\hat{\mathcal{G}},\Gamma)$, where $\hat{\mathcal{G}}(m)$ is the profinite completion of…

Let $G$ be the fundamental group of a graph of finitely generated virtually free groups with virtually cyclic edge groups. We shaw that $G$ is cohomologically good if $G$ is residually finite. If $G$ is LERF, we prove that G splits…

It is proved that the profinite completion of the mapping class group Mod (g,n) of a surface of genus g with n boundary components is isomorphic to such of the arithmetic group GL(6g-6+2n, Z). We establish a relation between the normal…

A group $G$ is said to be a $C$-group if every subgroup $H$ has a permutable complement, i.e. if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H \cap K=1$. In this paper, we study the profinite counterpart of this concept. We say…

We show that the covolume of an irreducible lattice in a higher rank semisimple Lie group with the congruence subgroup property is determined by the profinite completion. Without relying on CSP, we additionally show that volume is a…

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…

Let T_n be the full transformation semigroup of all mappings from the set {1,...,n} to itself under composition. Let E = E(T_n) denote the set of idempotents of T_n and let e be an arbitrary idempotent satisfying |im(e)|=r < n-1. We prove…

We give an explicit description of the free objects in the quasivariety of adequate semigroups, as sets of labelled directed trees under a natural combinatorial multiplication. The morphisms of the free adequate semigroup onto the free…

Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let H be a subgroup of \Gamma of finite index. Let M be an R\Gamma -module, whose restriction to RH is projective. Moore's conjecture: Assume for every…