For every element $x$ of a finite group $G$, there always exists a unique minimal subnormal subgroup, say, $G_{x}$ of $G$ such that $x\in G_{x}$. The sub-class of $G$ in which $x$ lies is defined by $\{x^{g}\mid g\in G_{x}\}$. The aim of this paper is to investigate the influence of the sub-class sizes on the structure of finite groups.

A group G has restricted centralizers if for each g in G the centralizer $C_G(g)$ either is finite or has finite index in G. A theorem of Shalev states that a profinite group with restricted centralizers is abelian-by-finite. In the present paper we handle profinite groups with restricted centralizers of word-values. We show that if w is a multilinear commutator word and G a profinite group with restricted centralizers of w-values, then the verbal subgroup w(G) is abelian-by-finite.

Let p be an odd prime and let G be a non-abelian finite p-group of exponent p2 with three distinct characteristic subgroups, namely 1, Gp and G. The quotient group G/Gp gives rise to an anti-commutative 𝔽p-algebra L such that the action of Aut (L) is irreducible on L; we call such an algebra IAC. This paper establishes a duality G ↔ L between such groups and such IAC algebras. We prove that IAC algebras are semisimple and we classify the simple IAC algebras of dimension at most 4 over certain fields. We also give other examples of simple IAC algebras, including a family related to the m-th symmetric power of the natural module of SL(2, 𝔽).

A generalisation of von Staudt’s theorem that every permutation of the projective line that preserves harmonic quadruples is a projective semilinear map is given. It is then concluded that any proper supergroup of permutations of the projective semilinear group over an algebraically closed field of transcendence degree at least 1 is 4-transitive.

In Ersoy et al. [J. Algebra481 (2017), 1–11], we have proved that if G is a locally finite group with an elementary abelian p-subgroup A of order strictly greater than p2 such that CG(A) is Chernikov and for every non-identity α ∈ A the centralizer CG(α) does not involve an infinite simple group, then G is almost locally soluble. This result is a consequence of another result proved in Ersoy et al. [J. Algebra481 (2017), 1–11], namely: if G is a simple locally finite group with an elementary abelian group A of automorphisms acting on it such that the order of A is greater than p2, the centralizer CG(A) is Chernikov and for every non-identity α ∈ A the set of fixed points CG(α) does not involve an infinite simple groups then G is finite. In this paper, we improve this result about simple locally finite groups: Indeed, suppose that G is a simple locally finite group, consider a finite non-abelian subgroup P of automorphisms of exponent p such that the centralizer CG(P) is Chernikov and for every non-identity α ∈ P the set of fixed points CG(α) does not involve an infinite simple group. We prove that if Aut(G) has such a subgroup, then G ≅PSLp(k) where char k ≠ p and P has a subgroup Q of order p2 such that CG(P) = Q.

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.