Related papers: Classifying the groups of order $p q$ in Lean

A finite group G is exceptional if it has a quotient Q whose minimal faithful permutation degree is greater than that of G. We say that Q is a distinguished quotient. The smallest examples of exceptional p-groups have order p^5. For an odd…

We examine which $p$-groups of order $\le p^6$ are Beauville. We completely classify them for groups of order $\le p^4$. We also show that the proportion of 2-generated groups of order $p^5$ which are Beauville tends to 1 as $p$ tends to…

We construct examples of groups that are $FP_2(\mathbb{Q})$ and $FP_2(\mathbb{Z}/p\mathbb{Z})$ for all primes $p$ but not of type $FP_2(\mathbb{Z})$.

The classification of gradings by abelian groups on finite direct sums of simple finite-dimensional nonassociative algebras over an algebraically closed field is reduced, by means of the use of loop algebras, to the corresponding problem…

We study unitary representations of semidirect products of a compact quantum group with a finite group. We give a classification of all irreducible unitary representations, a description of the conjugate representation of irreducible…

In this paper we study the existence of at least one non-inner automorphism of order p in a finite normally constrained p-group when p is an odd prime.

We study a series of real nonassociative algebras $\mathbb{O}_{p,q}$ introduced in $[5]$. These algebras have a natural $\mathbb{Z}_2^n$-grading, where $n=p+q$, and they are characterized by a cubic form over the field $\mathbb{Z}_2$. We…

We use an injection method to prove a new class of partition inequalities involving certain $q$-products with two to four finitization parameters. Our new theorems are a substantial generalization of work by Andrews and of previous work by…

We introduce semidirect products of skew monoidal categories as a categorification of semidirect products of monoids (or, perhaps more familiarly, of groups). We also discuss how this construction interacts with monoidal, autonomous and…

We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of…

We show that if a finite simple group G isomorphic to PSL(n,q) or PSU(n,q), where either $n\ne 4$, or q is prime or even, acts on a vector space over a field of the defining characteristic of G, then the corresponding semidirect product…

Let the group $G = AB$ be the product of the subgroups $A$ and $B$. We determine some structural properties of $G$ when the $p$-elements in $A\cup B$ have prime power indices in $G$, for some prime $p$. More generally, we also consider the…

Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a…

Recall that a $p$-group of order $p^ {n} >p^ {3} $ is of maximal class, if its nilpotency class is $n-1$. In this paper, we study the $p$-groups of maximal class. Furthermore, we introduce a subgroup of a $p$-group of maximal class called…

We classify all groups of order $p^5$ with non-trivial unramified Brauer groups. We show that if $p>3$, then there are precisely $\gcd (p-1,4)+\gcd (p-1,3)+1$ such groups.

Let $E$ be an elliptic curve over $\mathbb{Q}$, $p$ an odd prime number and $n$ a positive integer. In this article, we investigate the ideal class group $\mathrm{Cl}(\mathbb{Q}(E[p^n]))$ of the $p^n$-division field $\mathbb{Q}(E[p^n])$ of…

Let G be a finite group and p a prime dividing its order. We define new collections of p-subgroups of G. We study the homotopy relations among them and with the standard collections of p-subgroups. We determine their ampleness and sharpness…

We give the classification of elements - respectively cyclic subgroups - of finite order of the Cremona group, up to conjugation. Natural parametrisations of conjugacy classes, related to fixed curves of positive genus, are provided.

Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$…

The structure of finite and locally finite groups in which every element has prime power order (CP-groups) is well known. In this paper we note that the combination of our earlier results with the available information on the structure of…