We generalize the result about the congruence subgroup property for GGS groups in [3] to the family of multi-GGS groups; that is, all multi-GGS groups except the one defined by the constant vector have the congruence subgroup property. New arguments are provided to produce this more general proof.

We show that for any n and q, the number of real conjugacy classes in $ \rm{PGL}(\it{n},\mathbb{F}_q) $ is equal to the number of real conjugacy classes of $ \rm{GL}(\it{n},\mathbb{F}_q) $ which are contained in $ \rm{SL}(\it{n},\mathbb{F}_q) $, refining a result of Lehrer [J. Algebra36(2) (1975), 278–286] and extending the result of Gill and Singh [J. Group Theory14(3) (2011), 461–489] that this holds when n is odd or q is even. Further, we show that this quantity is equal to the number of real conjugacy classes in $ \rm{PGU}(\it{n},\mathbb{F}_q) $, and equal to the number of real conjugacy classes of $ \rm{U}(\it{n},\mathbb{F}_q) $ which are contained in $ \rm{SU}(\it{n},\mathbb{F}_q) $, refining results of Gow [Linear Algebra Appl.41 (1981), 175–181] and Macdonald [Bull. Austral. Math. Soc.23(1) (1981), 23–48]. We also give a generating function for this common quantity.

Let G be a linear group such that for every g ∈ G there is a finite set ${\cal R}(g)$ with the property that for every x ∈ G all sufficiently long commutators [g, x, x, …, x] belong to ${\cal R}(g)$. We prove that G is finite-by-hypercentral.

We use a coarse version of the fundamental group first introduced by Barcelo, Kramer, Laubenbacher and Weaver to show that box spaces of finitely presented groups detect the normal subgroups used to construct the box space, up to isomorphism. As a consequence, we have that two finitely presented groups admit coarsely equivalent box spaces if and only if they are commensurable via normal subgroups. We also provide an example of two filtrations (Ni) and (Mi) of a free group F such that Mi > Ni for all i with [Mi:Ni] uniformly bounded, but with $\squ _{(N_i)}F$ not coarsely equivalent to $\squ _{(M_i)}F$. Finally, we give some applications of the main theorem for rank gradient and the first ℓ2 Betti number, and show that the main theorem can be used to construct infinitely many coarse equivalence classes of box spaces with various properties.

We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian p-groups with an abelian subgroup of index p. In particular, this gives many new examples illustrating the enormous variety of exotic examples that can arise. In addition, we classify all simple fusion systems over infinite nonabelian discrete p-toral groups with an abelian subgroup of index p. In all of these cases (finite or infinite), we reduce the problem to one of listing all 𝔽pG-modules (for G finite) satisfying certain conditions: a problem which was solved in the earlier paper [15] using the classification of finite simple groups.

Masures are generalizations of Bruhat–Tits buildings. They were introduced by Gaussent and Rousseau to study Kac–Moody groups over ultrametric fields that generalize reductive groups. Rousseau gave an axiomatic definition of these spaces. We propose an equivalent axiomatic definition, which is shorter, more practical, and closer to the axiom of Bruhat–Tits buildings. Our main tool to prove the equivalence of the axioms is the study of the convexity properties in masures.

The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser–Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco–Shalen–Johannson decomposition of $M$.

A Tits polygon is a bipartite graph in which the neighborhood of every vertex is endowed with an “opposition relation” satisfying certain properties. Moufang polygons are precisely the Tits polygons in which these opposition relations are all trivial. There is a standard construction that produces a Tits polygon whose opposition relations are not all trivial from an arbitrary pair $(\unicode[STIX]{x1D6E5},T)$, where $\unicode[STIX]{x1D6E5}$ is a building of type $\unicode[STIX]{x1D6F1}$, $\unicode[STIX]{x1D6F1}$ is a spherical, irreducible Coxeter diagram of rank at least $3$, and $T$ is a Tits index of absolute type $\unicode[STIX]{x1D6F1}$ and relative rank $2$. A Tits polygon is called $k$-plump if its opposition relations satisfy a mild condition that is satisfied by all Tits triangles coming from a pair $(\unicode[STIX]{x1D6E5},T)$ such that every panel of $\unicode[STIX]{x1D6E5}$ has at least $k+1$ chambers. We show that a $5$-plump Tits triangle is parametrized and uniquely determined by a ring $R$ that is alternative and of stable rank $2$. We use the connection between Tits triangles and the theory of Veldkamp planes as developed by Veldkamp and Faulkner to show existence.

In this paper, we prove a combination theorem for a complex of relatively hyperbolic groups. It is a generalization of Martin’s (Geom. Topology18 (2014), 31–102) work for combination of hyperbolic groups over a finite MK-simplicial complex, where k ≤ 0.

In this paper, we introduce the notion of the equivalence relation, called n-isoclinism, between crossed modules of groups, and give some basic properties of this notion. In particular, we obtain some criteria under which crossed modules are n-isoclinic. Also, we present the notion of n-stem crossed module and, under some conditions, determine them within an n-isoclinism class.

If $\unicode[STIX]{x1D703}$ is a subgroup property, a group $G$ is said to satisfy the double chain condition on $\unicode[STIX]{x1D703}$-subgroups if it admits no infinite double sequences

$$\begin{eqnarray}\cdots <X_{-n}<\cdots <X_{-1}<X_{0}<X_{1}<\cdots <X_{n}<\cdots\end{eqnarray}$$

$\unicode[STIX]{x1D703}$

For a prime $p$, let $\hat{F}_{p}$ be a finitely generated free pro-$p$-group of rank at least $2$. We show that the second discrete homology group $H_{2}(\hat{F}_{p},\mathbb{Z}/p)$ is an uncountable $\mathbb{Z}/p$-vector space. This answers a problem of A. K. Bousfield.

Sequential order statistics can be used to describe the ordered lifetimes of components of a system when the failure of a component may affect the reliability of the remaining components. After a reliability system consisting of n components fails, some of its components may still be alive. In this paper we first establish some univariate stochastic orderings and ageing properties of the residual lifetimes of the live components in a sequential (n-r+1)-out-of-n system. We also obtain a characterizing result for the exponential distribution based on uncorrelated residual lifetimes of live components. Finally, we provide some sufficient conditions for comparing vectors of residual lifetimes of the live components from two sequential (n-r+1)-out-of-n systems. The results established here extend some well-known results in the literature.

Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except for an explicit list of exceptions and that $S$ is always ‘large’ in the sense that $|T|^{1/3}<|S|\leq |T|^{1/2}$. One might anticipate that, moreover, the Sylow $r$-subgroups of $T$ with $r\neq p$ are usually significantly smaller than $S$. We verify this hypothesis by proving that, for every $T$ and every prime divisor $r$ of $|T|$ with $r\neq p$, the order of the Sylow $r$-subgroup of $T$ is at most $|T|^{2\lfloor \log _{r}(4(\ell +1)r)\rfloor /\ell }=|T|^{O(\log _{r}(\ell )/\ell )}$, where $\ell$ is the Lie rank of $T$.

Wreath products of nondiscrete locally compact groups are usually not locally compact groups, nor even topological groups. As a substitute introduce a natural extension of the wreath product construction to the setting of locally compact groups. Applying this construction, we disprove a conjecture of Trofimov, constructing compactly generated locally compact groups of intermediate growth without any open compact normal subgroup.

Let $T$ be a locally finite tree without vertices of degree $1$. We show that among the closed subgroups of $\text{Aut}(T)$ acting with a bounded number of orbits, the Chabauty-closure of the set of topologically simple groups is the set of groups without proper open subgroup of finite index. Moreover, if all vertices of $T$ have degree ${\geqslant}3$, then the set of isomorphism classes of topologically simple closed subgroups of $\text{Aut}(T)$ acting doubly transitively on $\unicode[STIX]{x2202}T$ carries a natural compact Hausdorff topology inherited from Chabauty. Some of our considerations are valid in the context of automorphism groups of locally finite connected graphs. Applications to Weyl-transitive automorphism groups of buildings are also presented.

Given a locally finite leafless tree $T$, various algebraic groups over local fields might appear as closed subgroups of $\operatorname{Aut}(T)$. We show that the set of closed cocompact subgroups of $\operatorname{Aut}(T)$ that are isomorphic to a quasi-split simple algebraic group is a closed subset of the Chabauty space of $\operatorname{Aut}(T)$. This is done via a study of the integral Bruhat–Tits model of $\operatorname{SL}_{2}$ and $\operatorname{SU}_{3}^{L/K}$, that we carry on over arbitrary local fields, without any restriction on the (residue) characteristic. In particular, we show that in residue characteristic $2$, the Tits index of simple algebraic subgroups of $\operatorname{Aut}(T)$ is not always preserved under Chabauty limits.

Let p ≥ 3 be a prime. A generalized multi-edge spinal group

$$G = \langle \{ a\} \cup \{ b_i^{(j)} {\rm \mid }1 \le j \le p,\, 1 \le i \le r_j\} \rangle \le {\rm Aut}(T)$$

$b^{(j)}_{1}, \ldots, b^{(j)}_{r_{j}}$

Let $k$ be a nonnegative integer. A subgroup $X$ of a group $G$ has normal length $k$ in $G$ if all chains between $X$ and its normal closure $X^{G}$ have length at most $k$ , and $k$ is the length of at least one of these chains. The group $G$ is said to have finite normal length if there is a finite upper bound for the normal lengths of its subgroups. The aim of this paper is to study groups of finite normal length. Among other results, it is proved that if all subgroups of a locally (soluble-by-finite) group $G$ have finite normal length in $G$ , then the commutator subgroup $G^{\prime }$ is finite and so $G$ has finite normal length. Special attention is given to the structure of groups of normal length $2$ . In particular, it is shown that finite groups with this property admit a Sylow tower.

In parallel to the classical theory of central extensions of groups, we develop a version for extensions that preserve commutativity. It is shown that the Bogomolov multiplier is a universal object parametrizing such extensions of a given group. Maximal and minimal extensions are inspected, and a connection with commuting probability is explored. Such considerations produce bounds for the exponent and rank of the Bogomolov multiplier.