Related papers: Presentations of higher dimensional Thompson group…

We construct an explicit infinite family of pairwise non-isomorphic infinite simple groups of type $\mathrm{F}_\infty$ (in particular, they are finitely presented) that act faithfully on the circle by orientation-preserving homeomorphisms,…

We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an…

For any finite type connected surface $S$, we give an infinite presentation of the fundamental group $\pi_1(S,\ast)$ of $S$ based at an interior point $\ast\in{S}$ whose generators are represented by simple loops. When $S$ is…

A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…

We construct a finitely presented non-amenable group without free non-cyclic subgroups thus providing a finitely presented counterexample to von Neumann's problem. Our group is an extension of a group of finite exponent n >> 1 by a cyclic…

We construct examples of finitely presented simple groups whose Dehn functions are at least exponential. To the best of our knowledge, these are the first such examples known. Our examples arise from R\"over-Nekrashevych groups, using…

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

A group is $\frac32$-generated if every non-trivial element is part of a generating pair. In 2019, Donoven and Harper showed that many Thompson groups are $\frac32$-generated and posed five questions. The first of these is whether there…

This expository article revolves around the question to find short presentations of finite simple groups. This subject is one of the most active research areas of group theory in recent times. We bring together several known results on…

We introduce L-presentations: group presentations given by a generating set, a set of relations and a set of substitution rules on the generating set producing more relations. We first study in full generality the structure of finitely…

The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$…

We show how all topological full groups coming from a one-sided irreducible shift of finite type, as studied by Matui, can be re-interpreted as groups of colour-preserving tree almost automorphisms. As an application, we show that they…

Given any linear isometry from a Hilbert space to its square one can explicitly construct a so-called Pythagorean unitary representation of Richard Thompson's group F. We introduce a condition on the isometry implying that the associated…

Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{\'e}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is…

Groups of finite type (also called finitely constrained groups), introduced by Grigorchuk, are known to be the closure of regular branch groups. This article explores many of their properties. Firstly, we prove that being finitely…

We show that each of Thompson's groups F, T, and V have infinitely many ends relative to certain subgroups. We go on to show that T and V both have Serre's property FA, i.e., any action of T or V on a tree will have a fixed point. (The…

We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone-Higman conjecture. The simple…

We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry…

We continue to study Pythagorean unitary representation of Richard Thompson's groups $F$, $T$ and $V$ that are built from a single isometry from a Hilbert space to its double. By developing powerful diagrammatically based techniques we show…

We construct a finitely presented group with property (T) which can not act on on reasonable spaces. Such group is constructed using an generalization of Hall embedding theorem, where property (T) is added at the expense of weakening the…