Related papers: Closed subgroups of free profinite monoids are pro…

In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…

In this paper, it is shown that the projectivity of a rational module for an infinitesimal unipotent group scheme over an algebraically closed field of positive characteristic can be detected on a family of closed subgroups.

We study the geometry of algebraic monoids. We prove that the group of invertible elements of an irreducible algebraic monoid is an algebraic group, open in the monoid. Moreover, if this group is reductive, then the monoid is affine. We…

We prove that affine Coxeter groups are profinitely rigid.

It is proved that every finitely generated profinite group with fewer than $2^{\aleph_0}$ conjugacy classes of elements of infinite order is finite

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…

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.…

A group is said to have the Magnus Property (MP) if whenever two elements have the same normal closure then they are conjugate or inverse-conjugate. We show that a profinite MP group $G$ is prosolvable and any quotient of it is again MP. As…

We prove a number of results about profinite completions of Coxeter groups. For example we prove Coxeter groups are good in the sense of Serre and that various splittings of Coxeter groups arising from actions on trees are detected by the…

In this paper by using the ring of real-valued continuous functions $C(X)$, we prove a theorem in profinite spaces which states that for a compact Hausdorff space $X$, the set of its connected components $X/_{\sim}$ endowed with some…

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…

This note surveys recent progress toward the profinite rigidity of orientable finite-volume hyperbolic 3-manifolds. Beginning in a brief review of some basic settings of profinite completion and rigidity of general groups, we state the…

Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm…

The purpose of this paper is to link anisotropy properties of an algebraic group together with compactness issues in the topological group of its rational points. We nd equivalent conditions on a smooth ane algebraic group scheme over a…

In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group…

We define, for any special matching of a finite graded poset, an idempotent, regressive and order preserving function. We consider the monoid generated by such functions. The idempotents of this monoid are called special idempotents. They…

We classify the hulls of different limit-periodic potentials and show that the hull of a limit-periodic potential is a procyclic group. We describe how limit-periodic potentials can be generated from a procyclic group and answer arising…

We introduce block pro-fusion systems for blocks of profinite groups, prove a profinite version of Puig's structure theorem for nilpotent blocks, and use it to show that there is only one Morita equivalence class of blocks having the…

We prove the following results. Let w be a multilinear commutator word. If G is a profinite group in which all w-values are contained in a union of countably many periodic subgroups, then the verbal subgroup w(G) is locally finite. If G is…