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

In this paper we classify all capable finite $p$-groups with derived subgroup of order $p$ and $G/G'$ of rank $n-1$.

We complete the classification of the finite special linear groups $\SL_n(q)$ which are $(2,3)$-generated, i.e., which are generated by an involution and an element of order $3$. This also gives the classification of the finite simple…

We find an upper bound for the number of groups of order $n$ up to isomorphism in the variety $G = A_pA_qA_r$, where $p$, $q$ and $r$ are distinct primes. We also find a bound on the orders and on the number of conjugacy classes of…

We enumerate the number of isoclinism classes of semi-extraspecial $p$-groups with derived subgroup of order $p^2$. To do this, we enumerate $\text{GL}(2, p)$-orbits of sets of irreducible, monic polynomials in $\mathbb{F}_p[x]$. Along the…

We construct all integral non-group-theoretical modular categories of dimension $p^2q^2$, where $p$ and $q$ are distinct prime numbers, establishing that a necessary and sufficient condition for their existence is that $p \mid q+1$, and…

We present some constructions of groupoids as: direct product, semidirect product, and we give necessary and sufficient conditions for a groupoid to be embedded into a direct product of groupoids. Also, we establish necessary and sufficient…

Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…

In the first half of this paper, we outline the construction of a new class of abelian pro-$p$ groups, which covers all countably-based pro-$p$ groups. In the second half, we study them, and classify them up to topological isomorphism and…

Let $p$ be a prime and $G$ a subgroup of $GL_d(p)$. We define $G$ to be $p$-exceptional if it has order divisible by $p$, but all its orbits on vectors have size coprime to $p$. We obtain a classification of $p$-exceptional linear groups.…

Let $p \equiv 1 \pmod{4}$ be prime, let $m$ and $n$ be integers such that $p=m^2+n^2$, and let $b$ be a positive integer. Let $Q(z,q) = (z,q/z,q;q)_{\infty}(qz^2,q/z^2;q^2)_{\infty}$ denote the product appearing in the quintuple product…

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…

We consider relatively prime integer numbers $m$ and $n$ such that each solvable group of order $mn$ has a normal subgroup of order $m$. We prove that each brace of size $mn$ is a semidirect product of a brace of size $m$ and a brace of…

This paper presents a classification of all p-groups of order p^5 up to isomorphism. It contains a full list of their polycyclic presentations, a short introduction to the basic ideas of the methodes used to classify the groups, and a…

We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras $Q(n)$, $n \geq 2$, over an algebraically closed field of characteristic different from $2$ (and not dividing $n+1$ in the Lie case): fine…

By using p-adic q-integrals, we study the q-Bernoulli numbers and polynomials of higher order.

We consider the hidden subgroup problem on the semi-direct product of cyclic groups $\Z_{N}\rtimes\Z_{p}$ with some restriction on $N$ and $p$. By using the homomorphic properties, we present a class of semi-direct product groups in which…

We classify semisimple module categories over the tensor category of representations of quantum SL(2) extending previous results to the roots of unity and positive characteristic cases.

In this paper we study the existence of at least one non-inner automorphism of order p of a finite thin p-group, for any prime p.

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…

In this paper we study the existence of at least one non-inner automorphism of order p of a non-abelian finite p-group of coclass 3, where p is a prime integer such that p is different from 3.