Related papers: Fusion Systems and Simple Groups With Class Two Sy…

In this short article, we give a summary of the Sylow $p$-subgroups of the finite simple groups of classical Lie type.

Let $G$ be a finite group and let $p$ be a prime. In this paper, we study the structure of finite groups with a large number of $p$-regular conjugacy classes or, equivalently, a large number of irreducible $p$-modular representations. We…

We study saturated fusion systems on $p$-groups having sectional rank $3$ for all odd primes $p$. For $p\geq 5$, we obtain a complete classification of the ones that do not have any non-trivial normal $p$-subgroups.

We prove the conjugacy of Sylow $2$-subgroups in pseudofinite $\mathfrak{M}_c$ (in particular linear) groups under the assumption that there is at least one finite Sylow $2$-subgroup. We observe the importance of the pseudofiniteness…

In this short note we study the cohomology algebra of saturated fusion systems using finite groups which realize saturated fusion systems and Hochschild cohomology of group algebras. A similar result to a theorem of Alperin is proved for…

We classify all corefree fusion systems on a Sylow $3$-subgroup of the sporadic groups $\mathrm{Fi}_{22}$, $\mathrm{Fi}_{23}$ and $\mathrm{B}$. We show that the $3$-group in each case does not support any exotic fusion systems. This is the…

Let ${\frak F}$ be a class of group and $G$ a finite group. Then a set $\Sigma $ of subgroups of $G$ is called a \emph{$G$-covering subgroup system} for the class ${\frak F}$ if $G\in {\frak F}$ whenever $\Sigma \subseteq {\frak F}$. We…

In this paper, we determine the finite groups with a Sylow $r$-subgroup contained in a unique maximal subgroup. The proof involves a reduction to almost simple groups, and our main theorem extends earlier work of Aschbacher in the special…

Let $p$ be a prime number. A saturated fusion system $\mathcal{F}$ on a finite $p$-group $S$ is said to be supersolvable if there is a series $1 = S_0 \le S_1 \le \dots \le S_m = S$ of subgroups of $S$ such that $S_i$ is strongly…

Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p=2, we show that G is…

For a prime $p$, we describe a protocol for handling a specific type of fusion system on a $p$-group by computer. These fusion systems contain all saturated fusion systems. This framework allows us to computationally determine whether or…

The aim of this paper is to generalise the notion of p-stability to fusion systems. We study the question how Qd(p) is involved in finite simple groups. We show that with a single exception a simple group involving Qd(p) has a subgroup…

In this paper we prove characterizations of $p$-nilpotency for fusion systems and $p$-local finite groups that are inspired by results in the literature for finite groups. In particular, we generalize criteria by Atiyah, Brunetti,…

Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.

Let $G$ be a finite group and let $(P_i)_{i=1}^n$ be Sylow subgroups for distinct primes $p_1,\ldots,p_n$. We conjecture that there exists $x \in G$ such that $P_i \cap P_i^x$ is inclusion-minimal in $\{ P_i \cap P_i^g : g \in G\}$ for all…

We prove that an isomorphism between saturated fusion systems over the same finite p-group is detected on the elementary abelian subgroups of the hyperfocal subgroup if p is odd, and on the abelian subgroups of the hyperfocal subgroup of…

Let G be a finite group with Sylow p-subgroup P. We show that the character table of G determines whether P has maximal nilpotency class and whether P is a minimal non-abelian group. The latter result is obtained from a precise…

In this paper, we classify the finite simple groups with an abelian Sylow subgroup.

Suppose $p$ is a prime and $S$ is a Sylow $p$-subgroup of a finite group $G$. If $S$ is normal in $G$, then $Z(S)$ is the direct product of $S \cap Z(G)$ with $[Z(S), G]$. We prove an analogous result for all groups except in some cases…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…