In this note, we investigate some products of subgroups and vanishing conjugacy class sizes of finite groups. We prove some supersolubility criteria for groups with restrictions on the vanishing conjugacy class sizes of their subgroups.

We show that the theory of Galois actions of a torsion Abelian group A is companionable if and only if, for each prime p, the p-primary part of A is either finite or it coincides with the Prüfer p-group. We also provide a model-theoretic description of the model companions we obtain.

We study the $E_2$ -algebra $\Lambda \mathfrak {M}_{*,1}:= \coprod _{g\geqslant 0}\Lambda \mathfrak {M}_{g,1}$ consisting of free loop spaces of moduli spaces of Riemann surfaces with one parametrised boundary component, and compute the homotopy type of the group completion $\Omega B\Lambda \mathfrak {M}_{*,1}$ : it is the product of $\Omega ^{\infty }\mathbf {MTSO}(2)$ with a certain free $\Omega ^{\infty }$ -space depending on the family of all boundary-irreducible mapping classes in all mapping class groups $\Gamma _{g,n}$ with $g\geqslant 0$ and $n\geqslant 1$ .

A connected, locally finite graph $\Gamma $ is a Cayley–Abels graph for a totally disconnected, locally compact group G if G acts vertex-transitively on $\Gamma $ with compact, open vertex stabilizers. Define the minimal degree of G as the minimal degree of a Cayley–Abels graph of G. We relate the minimal degree in various ways to the modular function, the scale function and the structure of compact open subgroups. As an application, we prove that if $T_{d}$ denotes the d-regular tree, then the minimal degree of $\mathrm{Aut}(T_{d})$ is d for all $d\geq 2$ .

The ring $\mathbb Z_{d}$ of d-adic integers has a natural interpretation as the boundary of a rooted d-ary tree $T_{d}$ . Endomorphisms of this tree (that is, solenoidal maps) are in one-to-one correspondence with 1-Lipschitz mappings from $\mathbb Z_{d}$ to itself. In the case when $d=p$ is prime, Anashin [‘Automata finiteness criterion in terms of van der Put series of automata functions’,p-Adic Numbers Ultrametric Anal. Appl. 4(2) (2012), 151–160] showed that $f\in \mathrm {Lip}^{1}(\mathbb Z_{p})$ is defined by a finite Mealy automaton if and only if the reduced coefficients of its van der Put series constitute a p-automatic sequence over a finite subset of $\mathbb Z_{p}\cap \mathbb Q$ . We generalize this result to arbitrary integers $d\geq 2$ and describe the explicit connection between the Moore automaton producing such a sequence and the Mealy automaton inducing the corresponding endomorphism of a rooted tree. We also produce two algorithms converting one automaton to the other and vice versa. As a demonstration, we apply our algorithms to the Thue–Morse sequence and to one of the generators of the lamplighter group acting on the binary rooted tree.

We investigate quantitative aspects of the locally embeddable into finite groups (LEF) property for subgroups of the topological full group of a two-sided minimal subshift over a finite alphabet, measured via the LEF growth function. We show that the LEF growth of may be bounded from above and below in terms of the recurrence function and the complexity function of the subshift, respectively. As an application, we construct groups of previously unseen LEF growth types, and exhibit a continuum of finitely generated LEF groups which may be distinguished from one another by their LEF growth.

We study reductive subgroups H of a reductive linear algebraic group G – possibly nonconnected – such that H contains a regular unipotent element of G. We show that under suitable hypotheses, such subgroups are G-irreducible in the sense of Serre. This generalises results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform.

Let $G$ be a finite group. An element $g \in G$ is called a vanishing element in $G$ if there exists an irreducible character $\chi$ of $G$ such that $\chi (g)=0$. The size of a conjugacy class of $G$ containing a vanishing element is called a vanishing conjugacy class size of $G$. In this paper, we give an affirmative answer to the problem raised by Bianchi, Camina, Lewis and Pacifici about the solvability of finite groups with exactly one vanishing conjugacy class size.

In this paper, we consider the $T$- and $V$-versions, ${T_\tau }$ and ${V_\tau }$, of the irrational slope Thompson group ${F_\tau }$ considered in J. Burillo, B. Nucinkis and L. Reeves [An irrational-slope Thompson's group, Publ. Mat. 65 (2021), 809–839]. We give infinite presentations for these groups and show how they can be represented by tree-pair diagrams similar to those for $T$ and $V$. We also show that ${T_\tau }$ and ${V_\tau }$ have index-$2$ normal subgroups, unlike their original Thompson counterparts $T$ and $V$. These index-$2$ subgroups are shown to be simple.

In this paper we consider two piecewise Riemannian metrics defined on the Culler–Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil–Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil–Petersson metric, from the point of view of geometric group theory, these metrics behave very differently than the Weil–Petersson metric. Specifically, we show that when the rank r is at least 4, the action of $\operatorname {\mathrm {Out}}(\mathbb {F}_r)$ on the completion of the Culler–Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric.

No group has exactly one or two nonpower subgroups. We classify groups containing exactly three nonpower subgroups and show that there is a unique finite group with exactly four nonpower subgroups. Finally, we show that given any integer k greater than $4$ , there are infinitely many groups with exactly k nonpower subgroups.

We show that if G is an amenable group and H is a hyperbolic group, then the free product $G\ast H$ is weakly amenable. A key ingredient in the proof is the fact that $G\ast H$ is orbit equivalent to $\mathbb{Z}\ast H$ .

Given groups $A$ and $B$, what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer: this minimum is one of two numbers (simply depending on $A$ and $B$). Other similar problems are also considered.

Let $m\leqslant n\in \mathbb {N}$, and $G\leqslant \operatorname {Sym}(m)$ and $H\leqslant \operatorname {Sym}(n)$. In this article, we find conditions enabling embeddings between the symmetric R. Thompson groups ${V_m(G)}$ and ${V_n(H)}$. When $n\equiv 1 \mod (m-1)$, and under some other technical conditions, we find an embedding of ${V_n(H)}$ into ${V_m(G)}$ via topological conjugation. With the same modular condition, we also generalize a purely algebraic construction of Birget from 2019 to find a group $H\leqslant \operatorname {Sym}(n)$ and an embedding of ${V_m(G)}$ into ${V_n(H)}$.

Let $K$ be a subgroup of a finite group $G$. The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$. Assume that $Pr(K,G)\geq \epsilon$ for some fixed $\epsilon >0$. We show that there is a normal subgroup $T\leq G$ and a subgroup $B\leq K$ such that the indices $[G:T]$ and $[K:B]$ and the order of the commutator subgroup $[T,B]$ are $\epsilon$-bounded. This extends the well-known theorem, due to P. M. Neumann, that covers the case where $K=G$. We deduce a number of corollaries of this result. A typical application is that if $K$ is the generalized Fitting subgroup $F^{*}(G)$ then $G$ has a class-2-nilpotent normal subgroup $R$ such that both the index $[G:R]$ and the order of the commutator subgroup $[R,R]$ are $\epsilon$-bounded. In the same spirit we consider the cases where $K$ is a term of the lower central series of $G$, or a Sylow subgroup, etc.

A Grigorchuk–Gupta–Sidki (GGS)-group is a subgroup of the automorphism group of the p-regular rooted tree for an odd prime p, generated by one rooted automorphism and one directed automorphism. Pervova proved that all torsion GGS-groups do not have maximal subgroups of infinite index. Here, we extend the result to nontorsion GGS-groups, which include the weakly regular branch, but not branch, GGS-group.

We generalize results of Thomas, Allcock, Thom–Petersen, and Kar–Niblo to the first $\ell ^{2}$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs.

We prove that the profinite completion of a profinite projective group is projective.

To each automorphism of a spherical building, there is a naturally associated opposition diagram, which encodes the types of the simplices of the building that are mapped onto opposite simplices. If no chamber (that is, no maximal simplex) of the building is mapped onto an opposite chamber, then the automorphism is called domestic. In this paper, we give the complete classification of domestic automorphisms of split spherical buildings of types $\mathsf {E}_6$ , $\mathsf {F}_4$ , and $\mathsf {G}_2$ . Moreover, for all split spherical buildings of exceptional type, we classify (i) the domestic homologies, (ii) the opposition diagrams arising from elements of the standard unipotent subgroup of the Chevalley group, and (iii) the automorphisms with opposition diagrams with at most two distinguished orbits encircled. Our results provide unexpected characterizations of long root elations and products of perpendicular long root elations in long root geometries, and analogues of the density theorem for connected linear algebraic groups in the setting of Chevalley groups over arbitrary fields.

Let p be a prime. A pro-p group G is said to be 1-smooth if it can be endowed with a continuous representation $\theta \colon G\to \mathrm {GL}_1(\mathbb {Z}_p)$ such that every open subgroup H of G, together with the restriction $\theta \vert _H$ , satisfies a formal version of Hilbert 90. We prove that every 1-smooth pro-p group contains a unique maximal closed abelian normal subgroup, in analogy with a result by Engler and Koenigsmann on maximal pro-p Galois groups of fields, and that if a 1-smooth pro-p group is solvable, then it is locally uniformly powerful, in analogy with a result by Ware on maximal pro-p Galois groups of fields. Finally, we ask whether 1-smooth pro-p groups satisfy a “Tits’ alternative.”