We examine a cyclic order on the directed edges of a tree whose vertices have cyclically ordered links. We use it to show that a graph of groups with left-cyclically ordered vertex groups and convex left-ordered edge groups is left-cyclically orderable.

In this note we investigate the centraliser of a linearly growing element of $\mathrm{Out}(F_n)$ (that is, a root of a Dehn twist automorphism), and show that it has a finite index subgroup mapping onto a direct product of certain “equivariant McCool groups” with kernel a finitely generated free abelian group. In particular, this allows us to show it is VF and hence finitely presented.

We introduce two families of two-generator one-relator groups called primitive extension groups and show that a one-relator group is hyperbolic if its primitive extension subgroups are hyperbolic. This reduces the problem of characterizing hyperbolic one-relator groups to characterizing hyperbolic primitive extension groups. These new groups, moreover, admit explicit decompositions as graphs of free groups with adjoined roots. In order to obtain this result, we characterize $2$-free one-relator groups with exceptional intersection in terms of Christoffel words, show that hyperbolic one-relator groups have quasi-convex Magnus subgroup, and build upon the one-relator tower machinery developed in previous work of the author.

A left orderable monster is a finitely generated left orderable group all of whose fixed point-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval I and open interval J, there is a group element that sends I into J. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several examples, all of which are finitely generated but not finitely presentable. We provide the first examples of left orderable monsters that are finitely presentable, and even of type $F_\infty $. These groups satisfy several additional properties separating them from the previous examples: they are not simple, they act minimally on the circle, and they have an infinite-dimensional space of homogeneous quasimorphisms. Our construction is flexible enough that it produces infinitely many isomorphism classes of finitely presented (and type $F_{\infty }$) left orderable monsters.

We look at constructions of aperiodic subshifts of finite type (SFTs) on fundamental groups of graph of groups. In particular, we prove that all generalized Baumslag-Solitar groups (GBS) admit a strongly aperiodic SFT. Our proof is based on a structural theorem by Whyte and on two constructions of strongly aperiodic SFTs on $\mathbb {F}_n\times \mathbb {Z}$ and $BS(m,n)$ of our own. Our two constructions rely on a path-folding technique that lifts an SFT on $\mathbb {Z}^2$ inside an SFT on $\mathbb {F}_n\times \mathbb {Z}$ or an SFT on the hyperbolic plane inside an SFT on $BS(m,n)$. In the case of $\mathbb {F}_n\times \mathbb {Z}$, the path folding technique also preserves minimality, so that we get minimal strongly aperiodic SFTs on unimodular GBS groups.

Let G be a Baumslag–Solitar group. We calculate the intersection $\gamma_{\omega}(G)$ of all terms of the lower central series of G. Using this, we show that $[\gamma_{\omega}(G),G]=\gamma_{\omega}(G)$, thus answering a question of Bardakov and Neschadim [1]. For any $c \in \mathbb{N}$, with $c \geq 2$, we show, by using Lie algebra methods, that the quotient group $\gamma_{c}(G)/\gamma_{c+1}(G)$ of the lower central series of G is finite.

We initiate the study of outer automorphism groups of special groups $G$, in the Haglund–Wise sense. We show that $\operatorname {Out}(G)$ is infinite if and only if $G$ splits over a co-abelian subgroup of a centraliser and there exists an infinite-order ‘generalised Dehn twist’. Similarly, the coarse-median preserving subgroup $\operatorname {Out}_{\rm cmp}(G)$ is infinite if and only if $G$ splits over an actual centraliser and there exists an infinite-order coarse-median-preserving generalised Dehn twist. The proof is based on constructing and analysing non-small, stable $G$-actions on $\mathbb {R}$-trees whose arc-stabilisers are centralisers or closely related subgroups. Interestingly, tripod-stabilisers can be arbitrary centralisers, and thus are large subgroups of $G$. As a result of independent interest, we determine when generalised Dehn twists associated to splittings of $G$ preserve the coarse median structure.

We show that if G is an amenable group and H is a hyperbolic group, then the free product $G\ast H$ is weakly amenable. A key ingredient in the proof is the fact that $G\ast H$ is orbit equivalent to $\mathbb{Z}\ast H$ .

Given groups $A$ and $B$, what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer: this minimum is one of two numbers (simply depending on $A$ and $B$). Other similar problems are also considered.

The paper gives a simple proof of Graev’s theorem (asserting that the free product of Hausdorff topological groups is Hausdorff) for a particular case which includes the countable case of $k_\omega $ -groups and the countable case of Lindelöf P-groups. For this it is shown that in these particular cases the topology of the free product of Hausdorff topological groups coincides with the $X_0$ -topology in the Mal’cev sense, where X is the disjoint union of the topological groups identifying their units.

In this paper we study a notion of HL-extension (HL standing for Herwig–Lascar) for a structure in a finite relational language $\mathcal {L}$ . We give a description of all finite minimal HL-extensions of a given finite $\mathcal {L}$ -structure. In addition, we study a group-theoretic property considered by Herwig–Lascar and show that it is closed under taking free products. We also introduce notions of coherent extensions and ultraextensive $\mathcal {L}$ -structures and show that every countable $\mathcal {L}$ -structure can be extended to a countable ultraextensive structure. Finally, it follows from our results that the automorphism group of any countable ultraextensive $\mathcal {L}$ -structure has a dense locally finite subgroup.

We construct total orders on the vertex set of an oriented tree. The orders are based only on up-down counts at the interior vertices and the edges along the unique geodesic from a given vertex to another.

As an application, we provide a short proof (modulo Bass–Serre theory) of Vinogradov’s result that the free product of left-orderable groups is left-orderable.

In this paper we continue the study of right-angled Artin groups up to commensurability initiated in [CKZ]. We show that RAAGs defined by different paths of length greater than 3 are not commensurable. We also characterise which RAAGs defined by paths are commensurable to RAAGs defined by trees of diameter 4. More precisely, we show that a RAAG defined by a path of length n > 4 is commensurable to a RAAG defined by a tree of diameter 4 if and only if n ≡ 2 (mod 4). These results follow from the connection that we establish between the classification of RAAGs up to commensurability and linear integer-programming.

This note contains a (short) proof of the following generalisation of the Friedman–Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free subgroup of index $n$, then $\text{rank}(A\cap B)-1\leq n\cdot (\text{rank}(A)-1)\cdot (\text{rank}(B)-1)$. In addition, we obtain a virtually-free-product analogue of this result.

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that each regular field is algebraically closed. Standard arguments show that a generically stable regular field is algebraically closed. Let K be a regular field which is not generically stable and let p be its global generic type. We observe that if K has a finite extension L of degree n, then P(n) has unbounded orbit under the action of the multiplicative group of L.

Known to be true in the minimal context, it remains wide open whether regular, or even quasi-minimal, groups are abelian. We show that if it is not the case, then there is a counter-example with a unique nontrivial conjugacy class, and we notice that a classical group with one nontrivial conjugacy class is not quasi-minimal, because the centralizers of all elements are uncountable. Then, we construct a group of cardinality ω1 with only one nontrivial conjugacy class and such that the centralizers of all nontrivial elements are countable.

Nontrivial pairs of zero-divisors in group rings are introduced and discussed. A problem on the existence of nontrivial pairs of zero-divisors in group rings of free Burnside groups of odd exponent $n\,\gg \,1$ is solved in the affirmative. Nontrivial pairs of zero-divisors are also found in group rings of free products of groups with torsion.

We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We introduce here a larger class of condensation groups, called infinitely independently presentable groups, and establish criteria which allow one to infer that a group is infinitely independently presentable. In addition, we construct examples of finitely generated groups with no minimal presentation, among them infinitely presented groups with Cantor–Bendixson rank 1, and we prove that every infinitely presented metabelian group is a condensation group.

A conjecture of Gromov states that a one-ended word-hyperbolic group must contain a subgroup that is isomorphic to the fundamental group of a closed hyperbolic surface. Recent papers by Gordon and Wilton and by Kim and Wilton give sufficient conditions for hyperbolic surface groups to be embedded in a hyperbolic Baumslag double G. Using Nielsen cancellation methods based on techniques from previous work by the second author, we prove that a hyperbolic orientable surface group of genus 2 is embedded in a hyperbolic Baumslag double if and only if the amalgamated word W is a commutator: that is, W = [U, V] for some elements U, V ∈ F. Furthermore, a hyperbolic Baumslag double G contains a non-orientable surface group of genus 4 if and only if W = X2Y2 for some X, Y ∈ F. G can contain no non-orientable surface group of smaller genus.

We show that if G is a group and G has a graph-product decomposition with finitely generated abelian vertex groups, then G has two canonical decompositions as a graph product of groups: a unique decomposition in which each vertex group is a directly indecomposable cyclic group, and a unique decomposition in which each vertex group is a finitely generated abelian group and the graph satisfies the T0 property. Our results build on results by Droms, Laurence and Radcliffe.

A lemma of Tits establishes a connection between the simple connectivity of an incidence geometry and the universal completion of an amalgam induced by a sufficiently transitive group of automorphisms of that geometry. In the present paper, we generalize this lemma to intransitive geometries, thus opening the door for numerous applications. We treat ourselves some amalgams related to intransitive actions of finite orthogonal groups, as a first class of examples.