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

In this paper we continue the study of groups of trace class and consider in particular the case of semi-direct products. One of the highlights is the theorem saying that the semi-direct product of a semisimple Lie group G and its Lie…

Let $N(n)$ denote the number of isomorphism types of groups of order $n$. We consider the integers $n$ that are products of at most $4$ not necessarily distinct primes and exhibit formulas for $N(n)$ for such $n$.

In this paper we study the finite groups in which every element has prime power order, briefly them EPPO-groups. The classification of EPPO-groups is given including the cases of solvable, non-solvable and simple EPPO-groups. This paper is…

This is an essay about a certain family of elements in the general linear group GL(d,q) called primitive prime divisor elements, or ppd-elements. A classification of the subgroups of GL(d,q) which contain such elements is discussed, and the…

If $G_1,...,G_n$ are limit groups and $S\subset G_1\times...\times G_n$ is of type $\FP_n(\mathbb Q)$ then $S$ contains a subgroup of finite index that is itself a direct product of at most $n$ limit groups. This settles a question of Sela.

We consider the integer group determinants for groups that are semidirect products of $\mathbb Z_p$ and $\mathbb Z_n$ with $p$ prime and $n\mid p-1$. We give a complete description of the integer group determinants for the general affine…

Using our previous results on the systematic construction of invariant differential operators for non-compact semisimple Lie groups we classify the special reduced multiplets and minimal representations in the case of SO(p,q).

We study the categorical properties of right-preordered groups, giving an explicit description of limits and colimits in this category, and studying some exactness properties. We show that, from an algebraic point of view, the category of…

We investigate one question regarding bicrossed products of finite groups which we believe has the potential of being approachable for other classes of algebraic objects (algebras, Hopf algebras). The problem is to classify the groups that…

Many open conjectures in the representation theory of finite groups can be studied by reducing them to related questions about quasi-simple groups. In such studies, $p$-radical subgroups typically play a critical role. To classify the…

This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged…

In the spirit of Conway we define a groupoid starting from projective planes of order $q$, where $q$ is odd. The associated group of these groupoids is then investigated.

In this paper we give an overview on $L^p$-factorizations of Lie group representations and introduce the notion of smooth $L^p$-factorization.

Integral modular categories of Frobenius-Perron dimension $pq^n$, where $p$ and $q$ are primes, are considered. It is already known that such categories are group-theoretical in the cases of $0 \leq n \leq 4$. In the general case we…

We calculate the minimal degree for a class of finite complex reflection groups $G(p,p,q)$, for $p$ and $q$ primes and establish relationships between minimal degrees when these groups are taken in a direct product.

We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…

In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound…

We classify Lie n-algebras possessing an invariant lorentzian inner product.

In this paper, we summarize the work on the characterization of finite simple groups and the study on finite groups with the set of element orders and two orders (the order of group and the set of element orders). Some related topics, and…

A \emph{loop} $(B,\cdot)$ is a set $B$ together with a binary operation $\cdot$ such that (i) for each $a\in B$, the left and right translation mappings $L_{a}:B\to B: x \mapsto a\cdot x$ and $R_{a}:B\to B: x \mapsto x\cdot a$ are…