The Hanna Neumann conjecture is a statement about the rank of the intersection of two finitely generated subgroups of a free group. The conjecture was posed by Hanna Neumann in 1957. In 2011, a strengthened version of the conjecture was proved independently by Joel Friedman and by Igor Mineyev. In this paper we show that the strengthened Hanna Neumann conjecture holds not only in free groups but also in non-solvable surface groups. In addition, we show that a retract in a free group and in a surface group is inert. This implies the Dicks–Ventura inertia conjecture for free and surface groups.

For G a profinite group, we construct an equivalence between rational G-Mackey functors and a certain full subcategory of G-sheaves over the space of closed subgroups of G called Weyl-G-sheaves. This subcategory consists of those sheaves whose stalk over a subgroup K is K-fixed.

This extends the classification of rational G-Mackey functors for finite G of Thévenaz and Webb, and Greenlees and May to a new class of examples. Moreover, this equivalence is instrumental in the classification of rational G-spectra for profinite G, as given in the second author’s thesis.

We investigate which higher rank simple Lie groups admit profinitely but not abstractly commensurable lattices. We show that no such examples exist for the complex forms of type $E_8$, $F_4$, and $G_2$. In contrast, there are arbitrarily many such examples in all other higher rank Lie groups, except possibly $\textrm{SL}_{2n+1}(\mathbb{R})$, $\textrm{SL}_{2n+1}(\mathbb{C})$, $\textrm{SL}_n(\mathbb{H})$, or groups of type $E_6$.

We obtain conditions of uniform continuity for endomorphisms of free-abelian times free groups for the product metric defined by taking the prefix metric in each component and establish an equivalence between uniform continuity for this metric and the preservation of a coarse-median, a concept recently introduced by Fioravanti. Considering the extension of an endomorphism to the completion, we count the number of orbits for the action of the subgroup of fixed points (respectively periodic) points on the set of infinite fixed (respectively periodic) points. Finally, we study the dynamics of infinite points: for automorphisms and some endomorphisms, defined in a precise way, fitting a classification given by Delgado and Ventura, we prove that every infinite point is either periodic or wandering, which implies that the dynamics is asymptotically periodic.

In this note, we give a classification of the maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analog of Cartan’s theorem that all maximal tori in a connected compact Lie group are conjugate.

A group is called quasihamiltonian if all its subgroups are permutable, and we say that a subgroup Q of a group G is permutably embedded in G if $\langle Q,g\rangle $ is quasihamiltonian for each element g of G. It is proved here that if a group G contains a permutably embedded normal subgroup Q such that $G/Q$ is Černikov, then G has a quasihamiltonian subgroup of finite index; moreover, if G is periodic, then it contains a Černikov normal subgroup N such that $G/N$ is quasihamiltonian. This result should be compared with theorems of Černikov and Schlette stating that if a group G is Černikov over its centre, then G is abelian-by-finite and its commutator subgroup is Černikov.

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)}$.