群论

Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$…

We prove that many relatively hyperbolic groups obtained by relative strict hyperbolization admit a cocompact action on a CAT(0) cubical complex. Under suitable assumptions on the peripheral subgroups, these groups are residually finite and…

Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in…

Given a finite group $G$ of order $p^nm$, where $p$ is a prime and $p\nmid m$, we denote by $\psi_p(G)$ the sum of orders of $p$-parts of elements in $G$. In the current note, we prove that $\psi_p(G)\leq\psi_p(C_{p^nm})$, where $C_{p^nm}$…

Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. We investigate the number and sizes of the $P_n\setminus S_n\ /\ P_n$ double cosets, showing that most double cosets have maximal size when $p$ is odd, or equivalently, that…

A connected undirected graph is called \emph{geodetic} if for every pair of vertices there is a unique shortest path connecting them. It has been conjectured that for finite groups, the only geodetic Cayley graphs are odd cycles and…

As a direct continuation of K. Zwart, arXiv:2304.02648, which is built on the work of M. M\"uger and L. Tuset, we reduce the Mathieu conjecture, formulated by O. Mathieu in 1997, for $Sp(N)$ and $G_2$ to a conjecture involving functions…

Let $G$ be a relatively hyperbolic group and let $Q$ and $R$ be relatively quasiconvex subgroups. It is known that there are many pairs of finite index subgroups $Q' \leqslant_f Q$ and $R' \leqslant_f R$ such that the subgroup join $\langle…

Motivated by Burillo, Cleary and Roever's summary on obstructions of subgroups of Thompson's group $V,$ we explored the higher dimensional version of the groups, Brin-Thompson groups $nV$ and $SV,$ a class of infinite dimensional…

We show a stability result for the recently established Brunn--Minkowski inequality in compact simple Lie groups. Namely, we prove that if two compact subsets $A, B$ of a compact simple Lie group $G$ satisfy $$ \mu(AB)^{1/d'} \leq (1 +…

We construct a family of finitely generated infinite periodic groups. The basic example is a 2-group, called the tetrahedron group. We generalize the construction by suggesting a family of infinite finitely generated dice groups. We provide…

We introduce stable reflection length in Coxeter groups, as a way to study the asymptotic behaviour of reflection length. This creates connections to other well-studied stable length functions in groups, namely stable commutator length and…

For finite nilpotent groups $J$ and $N$, suppose $J$ acts on $N$ via automorphisms. We exhibit a decomposition of the first cohomology set in terms of the first cohomologies of the Sylow $p$-subgroups of $J$ that mirrors the primary…

The family of $J$-reflection groups can be seen as a combinatorial generalisation of irreducible rank two complex reflection groups and was introduced by the author in a previous article. In this article, we define the braid groups…

Let $G$ be a finite group. The \textit{commuting/nilpotent/solvable conjugacy class graph} ($\Gamma_{CCC}(G)$, $\Gamma_{NCC}(G)$, or $\Gamma_{SCC}(G)$) is a simple graph whose vertex set consists of all non-central conjugacy classes of $G$.…

We determine the conjugacy class fusion from certain maximal subgroups of the Monster to the Monster, to justify the addition of these data to the Character Table Library in the computational algebra system GAP. The maximal subgroups in…

We describe the block structure of finitely generated subgroups of branch groups with the so-called subgroup induction property, including the first Grigorchuk group $\mathcal{G}$ and the torsion GGS groups.

A relatively hyperbolic group $G$ is said to be QCERF if all finitely generated relatively quasiconvex subgroups are closed in the profinite topology on $G$. Assume that $G$ is a QCERF relatively hyperbolic group with double coset separable…

A countable group G is called k-linear sofic (for some 0 <k \le 1) if finite subsets of G admit "approximate representations" by complex invertible matrices in the normalized rank metric, so that non-identity elements are k-away from the…

We examine the Moore complex of the Delta-group structure related to the pure braid groups and introduced by Berrick, Cohen, Wong, and Wu. We prove that the cycle and the boundary groups are invariant under all automorphisms of the pure…