Related papers: Freeness of Sch\"utzenberger groups of primitive s…
We investigate the proportion of fixed point free permutations (derangements) in finite transitive permutation groups. This article is the first in a series where we prove a conjecture of Shalev that the proportion of such elements is…
In previous work, the first author established a natural bijection between minimal subshifts and maximal regular J-classes of free profinite semigroups. In this paper, the Sch\"utzenberger groups of such J-classes are investigated, in…
A transitive permutation group $G$ on a finite set $\Omega$ is said to be pre-primitive if every $G$-invariant partition of $\Omega$ is the orbit partition of a subgroup of $G$. It follows that pre-primitivity and quasiprimitivity are…
Various descending chains of subgroups of a finite permutation group can be used to define a sequence of `basic' permutation groups that are analogues of composition factors for abstract finite groups. Primitive groups have been the…
The goal of this paper is to study primitive groups that are contained in the union of maximal (in the symmetric group) imprimitive groups. The study of types of permutations that appear inside primitive groups goes back to the origins of…
This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X of S, decide whether each element of S has at most one factorization over X. To…
The purpose of this note is to extend the classical Aschbacher--O'Nan--Scott theorem for finite groups to the class of countable linear groups. This relies on the analysis of primitive actions carried out in a previous paper. Unlike the…
We show that the full group C$^*$-algebra of the free product of two nontrivial countable amenable discrete groups, where at least one of them has more than two elements, is primitive. We also show that in many cases, this C$^*$-algebra is…
We study the freeness of the group $\mathrm{Inv}(D)$ of invertible ideals of an integral domain $D$, and the freeness of some related groups of (fractional) ideals. We study the relation between $\mathrm{Inv}(D)$ and $\mathrm{Inv}(D_P)$, in…
We describe the pronilpotent quotients of a class of projective profinite groups, that we call $\omega$-presented groups, defined using a special type of presentations. The pronilpotent quotients of an $\omega$-presented group are…
We study endomorphisms of a free group of finite rank by means of their action on specific sets of elements. In particular, we prove that every endomorphism of the free group of rank 2 which preserves an automorphic orbit (i.e., acts ``like…
We give an easy proof of Sch\"utzenberger's Theorem stating that non-commutative formal power series are rational if and only if they are recognisable. A byproduct of this proof is a natural metric on a subgroup of invertible rational…
A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids…
Motivated by questions arising in connection with branched coverings of connected smooth projective curves over finite fields, we study the proportion of fixed point free elements (derangements) in cosets of normal subgroups of primitive…
A transitive permutation group is said to be semiprimitive if each of its normal subgroups is either semiregular or transitive.The class of semiprimitive groups properly contains primitive groups, quasiprimitive groups and innately…
We prove the decidability of the elementary theory of a free group.
We study the fundamental group of the $p$-subgroup complex of a finite group $G$. We show first that $\pi_1(A_3(A_{10}))$ is not a free group (here $A_{10}$ is the alternating group on $10$ letters). This is the first concrete example in…
We classify all infinite primitive permutation groups possessing a finite point stabilizer, thus extending the seminal Aschbacher-O'Nan-Scott Theorem to all primitive permutation groups with finite point stabilizers.
We provide an elementary proof that subgroups of free groups are free via group actions.
We revise the enumeration of the imprimitive rank two quaternionic reflection groups, adding missing groups and establishing isomorphisms between groups in the published tables. The isomorphisms are obtained as a consequence of the…