群论

We introduce the notion of a bounded weight function on a language, and show that the set of bounded weight functions on a regular language is a rational polyhedral cone. We study the cell recognised by a bounded weight function (that is,…

We show that labelled Thompson groups and twisted Brin--Thompson groups are all acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically as a subgroup of an…

For a prime $p$ and an arbitrary finite group $G$, we show that if $p^{2}$ does not divide the size of each conjugacy class of \emph{$p$-regular} element (element of order not divisible by $p$) in $G$, then the largest power of $p$ dividing…

In this paper, we investigate the group $\nu(G)$, an extension of the non-abelian tensor square $G$ by the direct product $G\times G$, in order to determine a presentation of $G \otimes G$ when $G$ is a general finite metacyclic group,…

We prove that every finitely generated residually finite group $G$ can be embedded in a finitely generated branch group $\Gamma$ such that two elements in $G$ are conjugate in $G$ if and only if they are conjugate in $\Gamma$. As an…

In this paper, we classify all finite groups $G$ which have the following property: for all subsets $A \subseteq G$, we have $|AA^{-1}| = |A^{-1}A|$. This question is motivated by the problem in additive combinatorics of More Sums Than…

In this paper, we investigate the trace set of a Fuchsian lattice. There are two results of this paper: the first is that for a non-uniform lattice, we prove Scmutz's conjecture: the trace set of a Fuchsian lattice exhibits linear growth if…

The codegree of an irreducible character $\chi$ of a finite group $G$ is defined as $|G:\ker\chi|/\chi(1)$. The codegree graph $\Gamma(G)$ of a finite group $G$ is the graph whose vertices are the prime divisors of $|G|$, where two distinct…

We examine second bounded cohomology and mod p homology in finite index subgroups of 1-relator groups and groups with a presentation of deficiency at least one. We use this to determine exactly which 1-relator groups are boundedly…

We prove that the lower central series of the cactus group associated with a non commutative Coxeter group never stabilizes. We also compute a minimal presentation in terms of generators for the cactus group associated with a finite Coxeter…

Consider an element~$x$ of a Garside group which is rigid in the sense of Garside-theory. Let $SC(x)$ be the set of rigid conjugates of~$x$ -- this is a well-known characteristic subset of the conjugacy class of~$x$. We present…

A quasi-isometry between two connected graphs is measure-scaling if one can control precisely the sizes of pre-images of finite subsets. Such a notion is motivated by the work of Eskin-Fisher-Whyte on lamplighters over $\mathbb{Z}$ and the…

Given an epimorphism between topological groups $f:G\to H$, when can a generating set of $H$ be lifted to a generating set of $G$? We show that for connected Lie groups the problem is fundamentally abelian: generators can be lifted if and…

We prove that the mapping class group of a sphere with five punctures admits uncountably many coarsely equivariant coarse median structures. The same is shown for right-angled Artin groups whose defining graphs are connected, triangle- and…

We introduce the $\Sigma^*$-invariant of a group of finite type, which is defined to be the subset of non-zero characters $\chi \in \mathrm H^1(G;\mathbb R)$ with vanishing associated top-dimensional Novikov cohomology. We prove an analogue…

Let $G$ be a finitely generated malabelian group, let $A\leq\mathrm{Out}(G)$ be a finitely generated subgroup, and let $\Gamma_{G,A}$ denote the preimage of $A$ in $\mathrm{Aut}(G)$. We give a general criterion for the linearity of…

We briefly explain how to implement the morphisms in our paper ``Natural representations of black box groups encrypting $SL_2(\mathbb{F})$" and provide some examples.

The celebrated Borel--Tits theorem provides a classification of abstract isomorphisms between (simple) isotropic groups over fields, showing that such isomorphisms arise from field isomorphisms and group-scheme isomorphisms. In this work,…

We give several equivalent characterisations of the maximal pro-2 quotients of real projective groups. In particular, for pro-2 real projective groups we provide a presentation in terms of generators and relations, and a purely…

Twin groups and virtual twin groups are planar analogues of braid groups and virtual braid groups, respectively. These groups play the role of braid groups in the Alexander-Markov correspondence for the theory of stable isotopy classes of…