群论
Graphical small cancellation extends the classical small cancellation theory and provides a powerful method for constructing groups with interesting features. In the classical setting, C(3)-T(6) small cancellation complexes are known to…
We study the profinite genus of HNN-extensions whose associated subgroups are finite. We give precise formulas for the number of isomorphism classes of HNN(G,H,K,t,f) and of its profinite completion and compute the profinite genus of such…
A mixed equation in a group $G$ is given by a non-trivial element $w (x)$ of the free product $G \ast \mathbb{Z}$, and a solution is some $g\in G$ such that $w(g)$ is the identity. For $G$ acylindrically hyperbolic with trivial finite…
We find a condition on the acylindrical action of a finitely presented group on a simplicial tree which guarantees that this action will be dominated by an acylindrical action with finitely generated edge stabilisers, and find the first…
We show that the word problem for any 3-manifold group is solvable in time $O(n\log^3 n)$. Our main contribution is the proof that the word problem for admissible graphs of groups, in the sense of Croke and Kleiner, is solvable in $O(n\log…
We develop a notion of groups that act acylindrically and non-elementarily on simplicial trees, which we call acylindrically arboreal groups. We then prove a complete classification of when graph products of groups and the fundamental…
We prove a conjecture of Dekimpe, De Rock and Penninckx concerning the existence of eigenvalues one in certain elements of finite groups acting irreducibly on a real vector space of odd dimension. This yields a sufficient condition for a…
The aim of this paper is to take the study of Dedekind braces, that is, left braces for which every subbrace is an ideal, started in a previous paper, further. Dedekind braces $A$ whose additive group is non-periodic are analysed. We prove…
We show that non-positively curved $k$-fold triangle groups have finitely many cone types, and hence a regular language of all geodesics. Further, we prove that the language of lexicographically first geodesics is both regular and satisfies…
Using fiber products, we construct bi-orderable groups from left-orderable groups. As an application, we show that bi-orderability is not a profinite property, answering a question of Piwek and Wykowski negatively. We also show that the…
We give a brief introduction to the geometric and combinatorial group theory of Artin groups. In particular we introduce the $K(\pi,1)$ conjecture for Artin groups and survey known results as of January 2024. These notes were written as…
Given a group $G$ and an automorphism $\varphi$ of $G$, two elements $x,y\in G$ are said to be $\varphi$-conjugate if $x=gy\varphi(g)^{-1}$ for some $g\in G$. The number $R(\varphi)$ of equivalence classes with respect to this relation is…
We provide explicit identity bases for finite cyclic semigroups.
We study the restriction of the absolute order on a Coxeter group $W$ to an interval $[1,w]_T$, where $w\in W$ is an involution. We characterize and classify those involutions $w$ for which $[1,w]_T$ is a lattice, using the notion of…
Suppose $G\curvearrowright X$ is a Polish group action, $H$ is a Polish group and $G\times X\overset{\psi}\longrightarrow H$ is a cocycle that is continuous in the second variable. If $\psi$ is either Baire measurable or is $\lambda\times…
Let $G$ be a finite group. For some fixed prime $p$, let $\Gamma_p(G)$ be the common divisor graph built on the set of sizes of $p$-regular conjugacy classes of $G$: this is the simple undirected graph whose vertices are the class sizes of…
For a group $G$, a subgroup $U \leq G$ and a group $\mathrm{Inn}(G) \leq A \leq \mathrm{Aut}(G)$, we say that $U$ is an $A$-covering group of $G$ if $G = \bigcup_{a\in A}U^a$. A theorem of Jordan (1872) implies that if $G$ is a finite…
Let $G$ be a transitive permutation group on $\Omega$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $\Omega$, having the further property that all its elements are uniform (that is, have all parts of…
We give a new criterion which guarantees that a free group admits a bi-ordering that is invariant under a given automorphism. As an application, we show that the fundamental group of the "magic manifold" is bi-orderable, answering a…
We show how finiteness properties of a group and a subgroup transfer to finiteness properties of the Schlichting completion relative to this subgroup. Further, we provide a criterion when the dense embedding of a discrete group into the…