Related papers: Sylow theorems for supergroups

A p-compact group, as defined by Dwyer and Wilkerson, is a purely homotopically defined p-local analog of a compact Lie group. It has long been the hope, and later the conjecture, that these objects should have a classification similar to…

We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem…

Slattery (2007) described computational methods to enumerate, construct, and identify finite groups of squarefree order. We generalise Slattery's result to the class of finite groups that have cyclic Sylow subgroups and provide an…

We develop a general approach to the study of maximal nilpotent subsemigroups of finite semigroups. This approach can be used to recover many known classifications of maximal nilpotent subsemigroups, in particular, for the symmetric inverse…

A closed subgroup of a semisimple algebraic group is called irreducible if it lies in no proper parabolic subgroup. In this paper we classify all irreducible subgroups of exceptional algebraic groups $G$ which are connected, closed and…

Let $G$ be a finite group and $N$ a normal subgroup of $G$. We prove that the knowledge of the sizes of the conjugacy classes of $G$ that are contained in $N$ and of their multiplicities provides information of $N$ in relation to the…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We use the SmallGroups Library to find the finite subgroups of U(3) of order smaller than 512 which possess a faithful three-dimensional irreducible representation. From the resulting list of groups we extract those groups that can not be…

A linear algebraic group G is over a field K is called a Cayley group if it admits a Cayley map, i.e., a G-equivariant K-birational isomorphism between the group variety G and its Lie algebra. We prove that the special unitary group in 3…

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to semisimple orbits, have infinite dimension. We introduce a new criterium to determine when a…

Let $H\leq K$ be subgroups of a group G. We say that H is strongly closed in K with respect to G if whenever $a^g \in K$ where $a \in H, g \in G,$ then $a^g \in H.$ In this paper, we investigate the structure of a group G under the…

We determine the ranks of the Sylow 2-subgroups of the classical simple groups of odd characteristic.

Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar groups can be described by a recursive…

We prove a version of the Green correspondence for complex algebraic supergroups, constructing a correspondence between certain indecomposable representations of G and the normalizer of a Sylow subgroup of G.

We classify, up to conjugacy, the finite (constant) subgroups G of adjoint absolutely simple algebraic groups of type $A_1$ over an arbitrary field $k$ of characteristic not 2.

Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this…

We study the structure of an algebraic supergroup $\mathbb{G}$ and establish the Borel-Weil theorem for $\mathbb{G}$ to give a systematic construction of all simple supermodules over an arbitrary field. Especially when $\mathbb{G}$ has a…

We study infinite approximate subgroups of soluble Lie groups. Generalising a theorem of Fried and Goldman we show that approximate subgroups are close, in a sense to be defined, to genuine connected subgroups. Building up on this result we…

Two measures of how near an arbitrary function between groups is to being a homomorphism are considered. These have properties similar to conjugates and commutators. The authors show that there is a rich theory based on these structures,…

A supercharacter theory for a finite group $G$ is a set of superclasses each of which is a union of conjugacy classes together with a set of sums of irreducible characters called supercharacters that together satisfy certain compatibility…