群论

We prove that if $(B,+,\cdot)$ is a two-sided skew brace whose additive group is solvable, then every finite quotient of the multiplicative group $(B,\cdot)$ is solvable. In particular, our result recovers Nasybullov's theorem in the finite…

We develop the theory of $L^2$-torsion of an automorphism of a group and compute it for every automorphism of a group which is hyperbolic and one-ended relative to a finite collection of virtually polycyclic groups. We also prove a…

We investigate linearity of amalgams of subgroups of algebraic groups along intersections with algebraic subgroups. In the process, we establish linearity of certain "doubles" of linear groups, and obtain new examples of finitely generated…

We report on some computational experiments related to the trivial units property and unique product property for group rings of torsion-free groups. These properties are related to Kaplansky's unit and zero-divisor conjectures. Our…

The residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ of a finitely generated group $G$ is a function that gives the smallest value of the index $[G:N]$ with $N$ a normal subgroup not containing a non-trivial element $g$,…

Motivated by some known problems concerning combinatorial structures associated with finite one-dimensional affine permutation groups, we study subgroups which are closed in $\operatorname{\Gamma{L}}_1(q)$. This brings us to a description…

We introduce geometric invariants for $p$-groups of class $2$ and exponent $p$. We report on their effectiveness in distinguishing among 5-generator $p$-groups of this type.

Rump proved in \cite[Theorem~1]{Rump2018ClassificationOC} that if a finite skew brace has cyclic additive group, then its multiplicative group is solvable and almost Sylow cyclic. In this paper we show that this rigidity persists when the…

Given a size-$k$ subset $S$ of a group $G$, how large can the product set $S^n$ be? We study this question, at several layers of refinement, for the infinite dihedral group. First, we give an explicit formula for the maximum size of $S^n$…

If $G$ is a connected semisimple Lie group with finite center and $K$ is a maximal compact subgroup of G, then the Lie algebra of $G$ admits a Cartan decomposition $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$. This allows us to define the…

In this paper, we construct countably many isolated circular orders on the free products $G = F_{2n} \ast \mathbb{Z}_{m_1} \ast \cdots \ast \mathbb{Z}_{m_k}$ of cyclic groups. Moreover, we prove that these isolated circular orders are not…

We give a geometric characterisation of those groups that arise as fixed subgroups of finite-order untwisted automorphisms of right-angled Artin groups (RAAGs). They are precisely the fundamental groups of a class of compact special cube…

The combinatorial hierarchical hyperbolicity criterion is a very useful way of constructing new hierarchically hyperbolic spaces (HHSs). We show that, conversely, HHSs satisfying natural assumptions (satisfied, for example, by mapping class…

We consider cusped hyperbolic $n-$manifolds, and compute \v{C}ech cohomology groups of the Morse boundaries of their fundamental groups. In particular, we show that the reduced \v{C}ech cohomology with real coefficients vanishes in…

We show that for many right-angled Artin and Coxeter groups, all cocompact cubulations coarsely look the same: they induce the same coarse median structure on the group. These are the first examples of non-hyperbolic groups with this…

We establish some algebraic properties of the group $\mathrm{Diff}(\mathbb{C}^n,0)$ of germs of analytic diffeomorphisms of $\mathbb{C}^n$, and its formal completion $\widehat{\mathrm{Diff}}(\mathbb{C}^n,0)$. For instance we describe the…

Let G be a finitely generated group, let $\pi \colon G \to {\rm GL}(E)$ be a uniformly bounded $c_0$-representation on a superreflexive Banach space $E$, and let $b \colon G \to E$ be a $1$-cocycle for $\pi$. Then $b$ has sublinear growth…

Let G be a primitive permutation group on a finite set Omega. Let p^2 divide |G|, for a prime p. We show that when G is solvable, there exists a subset of Omega whose stabilizer S has the property that 1<|S|_p<|G|_p. We offer a counting…

Let $P,$ $S,$ and $T$ be semigroups, $f:P\to S$ and $g:P\to T$ semigroup homomorphisms, and $X$ a generating set for $S$ (possibly infinite). Clearly, a <i>necessary</i> condition for there to exist a homomorphism $S\to T$ making a…

In this paper, we obtain an action on a cube complex from an action on a path-connected topological space with a system of divisions. In the settings of hyperbolic groups or relatively hyperbolic groups with no peripheral splittings, our…