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

Let p, ell be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such that the mod ell cohomology of the classifying space of a finite Chevalley group G(F_q) is…

In this article we introduce and study a class of finite groups for which the orders of normal subgroups satisfy a certain inequality. It is closely connected to some well-known arithmetic classes of natural numbers.

A formula is given for the profinite genus of groups of the form $\mathbb{Z}^n \rtimes C_{p^2}$, completing the calculation of the size of the genus of semidirect products of the form $\mathbb{Z}^n \rtimes G$ where $G$ is a finite $p$-group…

In this note we introduce and characterize a class of finite groups for which the element orders satisfy a certain inequality. This is contained in some well-known classes of finite groups.

We study finite groups which possess a strongly p-embedded subgroup for some odd prime p. The main results of the paper will be applied in the ongoing project to classify the simple groups of local characteristic p.

Let Lambda be a tiled R-order. We give a description of Aut_R(Lambda) as the semidirect product of Inn(Lambda) and a certain subgroup of Aut(Q(Lambda)), where Q(Lambda) is the link graph of Lambda. Additionally, we give criteria for…

We present a characterisation of groups $G$ of order $p^7$, $p$ prime, in which not all elements of the commutator subgroup $\gamma_2(G)$ of $G$ are commutators in $G$. On the way we obtain several structural results on groups of order…

We give another proof of Imin Chen's result that the jacobian of the modular curve X(p)_{non-split}, for p a prime number, is isogeneous to the new part of the jacobian of X_0(p^2), using only the representation theory of the group…

In this paper we contribute to the classification of Hopf algebras of dimension pq, where p,q are distinct prime numbers. More precisely, we prove that if p and q are odd primes with p<q<2p+3, then any complex Hopf algebra of dimension pq…

We describe a straightforward method to generate a random prime q such that the multiplicative group GF(q)* also has a random large prime-order subgroup. The described algorithm also yields this order p as well as a p'th primitive root of…

We introduce and study the class of spherically ordered groups. The notions of spherically ordered groups and their spectra of spherical orderability are introduced. Values of these spectra are found for a series of natural groups.

An old problem in group theory is that of describing how the order of an element behaves under multiplication. To generalize some classical bounds concerning the order $\mathrm o(ab)$ of two elements $a, b$ in a finite abelian group to the…

The Prime Graph Question for integral group rings asks if it is true that if the normalized unit group of the integral group ring of a finite group $G$ contains an element of order $pq$, for some primes $p$ and $q$, also $G$ contains an…

We use recurrence relations to derive explicit formulas for counting the number of subgroups of given order (or index) in rank 3 finite abelian p-groups and use these to derive similar formulas in few cases for rank 4. As a consequence, we…

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

Groups with a large $p$-subgroup, $p$ a prime, include almost all of the groups of Lie type in characteristic $p$ and so the study of such groups adds to our understanding of the finite simple groups. In this article we study a special…

Let p be a prime number. We classify all smooth irreducible mod-p representations of the unramified unitary group U(1,1)(Q_p^2/Q_p) in two variables. We then investigate Langlands parameters in characteristic p associated to…

We survey aspects of locally nilpotent linear groups. Then we obtain a new classification; namely, we classify the irreducible maximal locally nilpotent subgroups of $\mathrm{GL}(q, \mathbb F)$ for prime $q$ and any field $\mathbb F$.

Let $G$ be a finite group and let $p_1,\dots,p_n$ be distinct primes. If $G$ contains an element of order $p_1\cdots p_n,$ then there is an element in $G$ which is not contained in the Frattini subgroup of $G$ and whose order is divisible…

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…