We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank-$n$ group $G$ and $H$ has index at least $n$ in $G$, we can construct a left transversal for $H$ which contains a generating set of size $n$ for $G$; this construction is algorithmic when $G$ is finitely presented. We also show that, in the case where $G$ has rank $n\leq 3$, there is a simultaneous left–right transversal for $H$ which contains a generating set of size $n$ for $G$. We finish by showing that if $H$ is a subgroup of a rank-$n$ group $G$ with index less than $3\cdot 2^{n-1}$, and $H$ contains no primitive elements of $G$, then $H$ is normal in $G$ and $G/H\cong C_{2}^{n}$.

Let $G$ be a split reductive group. We introduce the moduli problem of bundle chains parametrizing framed principal $G$-bundles on chains of lines. Any fan supported in a Weyl chamber determines a stability condition on bundle chains. Its moduli stack provides an equivariant toroidal compactification of $G$. All toric orbifolds may be thus obtained. Moreover, we get a canonical compactification of any semisimple $G$, which agrees with the wonderful compactification in the adjoint case, but which in other cases is an orbifold. Finally, we describe the connections with Losev–Manin’s spaces of weighted pointed curves and with Kausz’s compactification of $GL_{n}$.

Let $G$ be a finite group and $p$ a prime. We say that a $p$-regular element $g$ of $G$ is $p$-nonvanishing if no irreducible $p$-Brauer character of $G$ takes the value $0$ on $g$. The main result of this paper shows that if $G$ is solvable and $g\in G$ is a $p$-regular element which is $p$-nonvanishing, then $g$ lies in a normal subgroup of $G$ whose $p$-length and $p^{\prime }$-length are both at most 2 (with possible exceptions for $p\leq 7$), the bound being best possible. This result is obtained through the analysis of one particular orbit condition in linear actions of solvable groups on finite vector spaces, and it generalizes (for $p>7$) some results in Dolfi and Pacifici [‘Zeros of Brauer characters and linear actions of finite groups’, J. Algebra 340 (2011), 104–113].

We calculate the rank and idempotent rank of the semigroup ${\mathcal{E}}(X,{\mathcal{P}})$ generated by the idempotents of the semigroup ${\mathcal{T}}(X,{\mathcal{P}})$ which consists of all transformations of the finite set $X$ preserving a nonuniform partition ${\mathcal{P}}$. We also classify and enumerate the idempotent generating sets of minimal possible size. This extends results of the first two authors in the uniform case.

In this paper, we prove that the finite simple groups $\text{PSp}_{6}(q)$, ${\rm\Omega}_{7}(q)$ and $\text{PSU}_{7}(q^{2})$ are $(2,3)$-generated for all $q$. In particular, this result completes the classification of the $(2,3)$-generated finite classical simple groups up to dimension 7.

We construct a subgroup Hd of the iterated wreath product Gd of d copies of the cyclic group of order p with the property that the derived length and the smallest cardinality of a generating set of Hd are equal to d while no proper subgroup of Hd has derived length equal to d. It turns out that the two groups Hd and Gd are the extreme cases of a more general construction that produces a chain Hd=K1<···< Kp−1=Gd of subgroups sharing a common recursive structure. For i ∈ {1,. . .,p−1}, the subgroup Ki has nilpotency class (i+1)d−1.

In this paper, we investigate the abstract homomorphisms of the special linear group SLn($\mathfrak{O}$) over complete discrete valuation rings with finite residue field into the general linear group GLm($\mathbb{R}$) over the field of real numbers. We show that for m < 2n, every such homomorphism factors through a finite index subgroup of SLn($\mathfrak{O}$). For $\mathfrak{O}$ with positive characteristic, this result holds for all m ∈ ${\mathbb N}$.

We study bi-invariant word metrics on groups. We provide an efficient algorithm for computing the bi-invariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the bi-invariant Cayley graph of a nonabelian free group. We investigate the geometry of cyclic subgroups. We observe that in many classes of groups, cyclic subgroups are either bounded or detected by homogeneous quasimorphisms. We call this property the bq-dichotomy and we prove it for many classes of groups of geometric origin.

The trace on matrix rings, along with the augmentation map and Kaplansky trace on group rings, are some of the many examples of linear functions on algebras that vanish on all commutators. We generalize and unify these examples by studying traces on (contracted) semigroup rings over commutative rings. We show that every such ring admits a minimal trace (i.e., one that vanishes only on sums of commutators), classify all minimal traces on these rings, and give applications to various classes of semigroup rings and quotients thereof. We then study traces on Leavitt path algebras (which are quotients of contracted semigroup rings), where we describe all linear traces in terms of central maps on graph inverse semigroups and, under mild assumptions, those Leavitt path algebras that admit faithful traces.

We study the injective hulls of faithful characteristic zero finite dimensional irreducible representations of uniform nilpotent pro-p groups, seen as modules over their corresponding Iwasawa algebras. Using this we prove that the kernels of these representations are classically localisable.

A subset $X$ of a group $G$ is a set of pairwise noncommuting elements if $ab\neq ba$ for any two distinct elements $a$ and $b$ in $X$. If $|X|\geq |Y|$ for any other set of pairwise noncommuting elements $Y$ in $G$, then $X$ is called a maximal subset of pairwise noncommuting elements and the cardinality of such a subset (if it exists) is denoted by ${\it\omega}(G)$. In this paper, among other things, we prove that, for each positive integer $n$, there are only finitely many groups $G$, up to isoclinism, with ${\it\omega}(G)=n$, and we obtain similar results for groups with exactly $n$ centralisers.

The subgroup commutativity degree of a group $G$ is the probability that two subgroups of $G$ commute, or equivalently that the product of two subgroups is again a subgroup. For the dihedral, quasi-dihedral and generalised quaternion groups (all of 2-power cardinality), the subgroup commutativity degree tends to 0 as the size of the group tends to infinity. This also holds for the family of projective special linear groups over fields of even characteristic and for the family of the simple Suzuki groups. In this short note, we show that the family of finite $P$-groups also has this property.

We present the results of computer experiments suggesting that the probability that a random multiword in a free group is virtually geometric decays to zero exponentially quickly in the length of the multiword. We also prove this fact.

For all prime powers $q$ we restrict the unipotent characters of the special orthogonal groups $\text{SO}_{5}(q)$ and $\text{SO}_{7}(q)$ to a maximal parabolic subgroup. We determine all irreducible constituents of these restrictions for $\text{SO}_{5}(q)$ and a large part of the irreducible constituents for $\text{SO}_{7}(q)$.

A paper of Almeida and Trotter [‘The pseudoidentity problem and reducibility for completely regular semigroups’, Bull. Aust. Math. Soc.63 (2001), 407–433] makes essential use of free profinite semigroupoids over profinite graphs with infinitely many vertices. It has since been shown that such structures must be handled with great care. In this note, it is verified that the required properties hold for the profinite graphs considered by Almeida and Trotter, thereby filling the gaps in the proof.

We discuss some of the work of Laci Kovács on representation theory and related topics.

If the centre of a group $G$ is trivial, then so is the centre of its automorphism group. We study the structure of the centre of the automorphism group of a group $G$ when the centre of $G$ is a cyclic group. In particular, it is shown that the exponent of $Z(\text{Aut}(G))$ is less than or equal to the exponent of $Z(G)$ in this case.

Let $G$ be a finitely generated group acting on a compact Hausdorff space ${\mathcal{X}}$. We give a fixed point characterisation for the action being amenable. As a corollary, we obtain a fixed point characterisation for the exactness of $G$.

We exhibit an action of Conway’s group – the automorphism group of the Leech lattice – on a distinguished super vertex operator algebra, and we prove that the associated graded trace functions are normalized principal moduli, all having vanishing constant terms in their Fourier expansion. Thus we construct the natural analogue of the Frenkel–Lepowsky–Meurman moonshine module for Conway’s group. The super vertex operator algebra we consider admits a natural characterization, in direct analogy with that conjectured to hold for the moonshine module vertex operator algebra. It also admits a unique canonically twisted module, and the action of the Conway group naturally extends. We prove a special case of generalized moonshine for the Conway group, by showing that the graded trace functions arising from its action on the canonically twisted module are constant in the case of Leech lattice automorphisms with fixed points, and are principal moduli for genus-zero groups otherwise.