A classical result of Reinhold Baer states that a group G = XN, which is the product of two normal supersoluble subgroups X and N, is supersoluble if and only if Gʹ is nilpotent. This result has been weakened in [6] for a finite group G: in fact, we do not need that both X and N are normal, but only that N is normal and X permutes with every maximal subgroup of each Sylow subgroup of N.

In our paper, we improve the result mentioned above by showing that we only need X to permute with the maximal subgroups of the non-cyclic Sylow subgroups of N. Also, we extend this result (and several others) to relevant classes of infinite groups.

The central idea behind our results stems from grasping the key aspects of what happens in [6]. It turns out that tensor products play a very crucial role, and it is precisely this shift of perspective that makes it possible not only to improve those results but also extend them to infinite groups.

We prove that any compact R-analytic group is linear when R is a pro-p domain of characteristic zero.

The notion of a strongly dense subgroup was introduced by Breuillard, Green, Guralnick and Tao: a subgroup Γ of a semi-simple $\mathbb{Q}$ algebraic group $\mathcal{G}$ is called strongly dense if every pair of non-commuting elements generate a Zariski dense subgroup. Amongst other things, Breuillard et al. prove that there exist strongly dense free subgroups in $\mathcal{G}({\mathbb{R}})$ and ask whether or not a Zariski dense subgroup of $\mathcal{G}(\mathbb{R})$ always contains a strongly dense free subgroup. In this paper, we answer this for many surface subgroups of $\textrm{SL}(3,\mathbb{R})$.

An element of a group is called reversible if it is conjugate to its own inverse. Reversible elements are closely related to strongly reversible elements, which can be expressed as a product of two involutions. In this paper, we classify the reversible and strongly reversible elements in the quaternionic special linear group $ \mathrm {SL}(n,\mathbb {H})$ and quaternionic projective linear group $ \mathrm {PSL}(n,\mathbb {H})$. We prove that an element of $ \mathrm {SL}(n,\mathbb {H})$ (resp. $ \mathrm {PSL}(n,\mathbb {H})$) is reversible if and only if it is a product of two skew-involutions (resp. involutions).

Let A be an F-central simple algebra of degree $m^2=\prod _{i=1}^k p_i^{2\alpha _i}$ and G be a subgroup of the unit group of A such that $F[G]=A$. We prove that if G is a central product of two of its subgroups M and N, then $F[M]\otimes _F F[N]\cong F[G]$. Also, if G is locally nilpotent, then G is a central product of subgroups $H_i$, where $[F[H_i]:F]=p_i^{2\alpha _i}$, $A=F[G]\cong F[H_1]\otimes _F \cdots \otimes _F F[H_k]$ and $H_i/Z(G)$ is the Sylow $p_i$-subgroup of $G/Z(G)$ for each i with $1\leq i\leq k$. Additionally, there is an element of order $p_i$ in F for each i with $1\leq i\leq k$.

This paper is the first of a two part series devoted to describing relations between congruence and crystallographic braid groups. We recall and introduce some elements belonging to congruence braid groups and we establish some (iso)-morphisms between crystallographic braid groups and corresponding quotients of congruence braid groups.

We find an upper bound for the number of groups of order n up to isomorphism in the variety ${\mathfrak {S}}={\mathfrak {A}_p}{\mathfrak {A}_q}{\mathfrak {A}_r}$, where p, q and r are distinct primes. We also find a bound on the orders and on the number of conjugacy classes of subgroups that are maximal amongst the subgroups of the general linear group that are also in the variety $\mathfrak {A}_q\mathfrak {A}_r$.

Let $\Gamma =\langle I_{1}, I_{2}, I_{3}\rangle $ be the complex hyperbolic $(4,4,\infty )$ triangle group with $I_1I_3I_2I_3$ being unipotent. We show that the limit set of $\Gamma $ is connected and the closure of a countable union of $\mathbb {R}$-circles.

A. Mark and J. Paupert [Presentations for cusped arithmetic hyperbolic lattices, 2018, arXiv:1709.06691.] presented a method to compute a presentation for any cusped complex hyperbolic lattice. In this note, we will use their method to give a presentation for the Eisenstein-Picard modular group in three complex dimensions.

We study the arithmeticity of $\mathbb {C}$-Fuchsian subgroups of some nonarithmetic lattices constructed by Deraux et al. [‘New non-arithmetic complex hyperbolic lattices’, Invent. Math. 203 (2016), 681–771]. Our results give an answer to a question raised by Wells [Hybrid Subgroups of Complex Hyperbolic Isometries, Doctoral thesis, Arizona State University, 2019].

We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrisable matrix has a geometric realisation by reflections. We also explore the structure of acyclic representatives in finite mutation classes and their relations to acute-angled simplicial domains in the corresponding reflection groups.

Using Cohen’s classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group, are themselves symplectic reflection groups. This is the symplectic analog of Steinberg’s Theorem for complex reflection groups.

Using computational results required in the proof, we show the nonexistence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open.

Another immediate consequence of our result is that the singular locus of the symplectic quotient singularity associated to a symplectic reflection group is pure of codimension two.

We call a packing of hyperspheres in n dimensions an Apollonian sphere packing if the spheres intersect tangentially or not at all; they fill the n-dimensional Euclidean space; and every sphere in the packing is a member of a cluster of $n+2$ mutually tangent spheres (and a few more properties described herein). In this paper, we describe an Apollonian packing in eight dimensions that naturally arises from the study of generic nodal Enriques surfaces. The $E_7$ , $E_8$ and Reye lattices play roles. We use the packing to generate an Apollonian packing in nine dimensions, and a cross section in seven dimensions that is weakly Apollonian. Maxwell described all three packings but seemed unaware that they are Apollonian. The packings in seven and eight dimensions are different than those found in an earlier paper. In passing, we give a sufficient condition for a Coxeter graph to generate mutually tangent spheres and use this to identify an Apollonian sphere packing in three dimensions that is not the Soddy sphere packing.

We construct examples of quasi-isometric embeddings of word hyperbolic groups into $\mathsf {SL}(d,\mathbb {R})$ for $d \geq 4$ which are not limits of Anosov representations into $\mathsf {SL}(d,\mathbb {R})$. As a consequence, we conclude that an analogue of the density theorem for $\mathsf {PSL}(2,\mathbb {C})$ does not hold for $\mathsf {SL}(d,\mathbb {R})$ when $d \geq 4$.

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$ , using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$ . Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$ , we give general conditions sufficient to eliminate parameters from interpretations.

Given an integer $g>2$ , we state necessary and sufficient conditions for a finite Abelian group to act as a group of automorphisms of some compact nonorientable Riemann surface of genus g. This result provides a new method to obtain the symmetric cross-cap number of Abelian groups. We also compute the least symmetric cross-cap number of Abelian groups of a given order and solve the maximum order problem for Abelian groups acting on nonorientable Riemann surfaces.

We develop methods for constructing explicit generators, modulo torsion, of the $K_3$-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$-space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$-group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.

Given a commutative unital ring R, we show that the finiteness length of a group G is bounded above by the finiteness length of the Borel subgroup of rank one $\textbf {B}_2^{\circ }(R)=\left ( \begin {smallmatrix} * & * \\ 0 & * \end {smallmatrix}\right )\leq \operatorname {\textrm {SL}}_2(R)$ whenever G admits certain R-representations with metabelian image. Combined with results due to Bestvina–Eskin–Wortman and Gandini, this gives a new proof of (a generalization of) Bux’s equality on the finiteness length of S-arithmetic Borel groups. We also give an alternative proof of an unpublished theorem due to Strebel, characterizing finite presentability of Abels’ groups $\textbf {A}_n(R) \leq \operatorname {\textrm {GL}}_n(R)$ in terms of n and $\textbf {B}_2^{\circ }(R)$ . This generalizes earlier results due to Remeslennikov, Holz, Lyul’ko, Cornulier–Tessera, and points out to a conjecture about the finiteness length of such groups.