群论

A group $G$ is said to be equationally Noetherian if every system of equations in $G$ is equivalent to a finite subsystem. We show that all free-by-cyclic groups are equationally Noetherian. As a corollary, we deduce that the set of…

Recently, I. J. Leary and A. Minasyan studied the class of groups $G(A,L)$ defined as commensurating HNN-extensions of $\mathbb{Z}^n$. This class, containing the class of Baumslag-Solitar groups, also includes other groups with curious…

The 'degree of k-step nilpotence' of a finite group G is the proportion of the tuples (x_1,...,x_{k+1}) in G^{k+1} for which the simple commutator [x_1,...,x_{k+1}] is equal to the identity. In this paper we study versions of this for an…

In this paper, we establish the decomposition of morphisms from lattice of subgroup sets to generalized solvable extension formations. To achieve this, we develop a unified framework involving maximal subgroup functors, generating formation…

The Riordan group ${\cal R}$ over the field ${\mathbb F}_2$ is a split extension of the Appell subgroup by the Nottingham group ${\cal N}({\mathbb F}_2)$. Using the lower central series of the Nottingham group obtained by C. Leedham-Green…

A group has normal rank (or weight) greater than one if no single element normally generates the group. The Wiegold problem from 1976 asks about the existence of a finitely generated perfect group of normal rank greater than one. We show…

We provide a new characterization of amenability for countable groups, based on frame representations admitting almost invariant vectors. By relaxing the frame inequalities, thereby weakening amenability, we obtain a large class of…

For any homogeneous space of a noncompact semisimple Lie group $G$, we define an exponent with multiple interpretations from representation theory and group theory. As an application, we give a temperedness criterion for $L^2 (G/H)$ for any…

Let $G$ be a multiple HNN-extension of an infinite cyclic group. We will calculate the intersection $(N_{p}){_\omega}(G)$ of the normal subgroups of finite $p$-index in $G$ thus generalizing the result of Moldavanskii for Baumslag-Solitar…

We show that Wise's power alternative is stable under certain group constructions, use this to prove the power alternative for new classes of groups, and recover known results from a unified perspective. For groups acting on trees, we…

We use model theoretic forcing to prove that a generic countable torsion-free group does not admit any nontrivial locally moving action on a Hausdorff topological space, and yet admits a rich Rubin poset.

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to loops. In particular, there exist nilpotent loops of size…

We give a complete criterion for when two hyperbolic automorphisms of a tree generate a free, discrete subgroup. The decision depends only on three geometric invariants: the translation lengths of the generators and the length of overlap of…

Let $\gamma_k=[x_1,\dots,x_k]$ be the $k$-th lower central group-word. Given a group $G$, we write $X_k(G)$ for the set of $\gamma_k$-values and $\gamma_k(G)$ for the $k$-th term of the lower central of $G$. This paper deals with groups in…

We show that a certain class of affine hyperplane arrangements are $K(\pi,1)$ by endowing their Falk complexes with an injective metric. This gives new examples of infinite $K(\pi,1)$ arrangements in dimension $n>2$.

Considering a finite group $G$, for any element $x\in G$, the solvabilizer of $x$ in $G$ is defined as $Sol_G(x)=\{y \in G : \langle x, y \rangle \text{ is solvable}\}$. In this paper, we introduce $Solv(G)$ as the number of distinct…

We determine subnormalisers of semisimple elements of prime power order in finite quasi-simple groups of Lie type. For this, we determine the maximal overgroups of normalisers of Sylow tori. This is motivated by the recent character…

We prove that a topological group is isomorphic to the real line if and only if it is a one-parameteric, metrizable, and not monothetic. This result is used in the authors' other paper to prove that one-parametric groups in strictly convex…

We study stable commutator length on free $\mathbb{Q}$-groups. We prove that every non-identity element has positive stable commutator length, and that the corresponding free group embeds isometrically. We deduce that a non-abelian free…

For a large class of groups, we exhibit an infinite-dimensional space of homogeneous quasimorphisms that are invariant under the action of the automorphism group. This class includes non-elementary hyperbolic groups, infinitely-ended…