Related papers: The class three groups of order $p^9$ with exponen…
A group is called capable if it is a central factor group. We consider the capability of finite groups of class two and exponent $p$, $p$ an odd prime. We restate the problem of capability as a problem about linear transformations, which…
A group is called capable if it is a central factor group. For each prime $p$ and positive integer $c$, we prove the existence of a capable $p$-group of class $c$ minimally generated by an element of order $p$ and an element of order…
This paper presents an analysis of primitive permutation groups of degree $3p$, where $p$ is a prime number, analogous to H. Wielandt's treatment of groups of degree $2p$. It is also intended as an example of the systematic use of…
We show that if $G$ is any $p$-group of class at most two and exponent $p$, then there exist groups $G_1$ and $G_2$ of class two and exponent $p$ that contain $G$, neither of which can be expressed as a central product, and with $G_1$…
It is proven that for any representation over a field of characteristic 0 of the non-abelian semidirect product of a cyclic group of prime order p and the group of order 3 the corresponding algebra of polynomial invariants is generated by…
This note discusses our formalisation in Lean of the classification of the groups of order $p q$ for (not necessarily distinct) prime numbers $p$ and $q$, together with various intermediate results such as the characterisation of internal…
For every prime $p$, we construct an infinite countable group that contains precisely $p-1$ elements which are not $p$th powers.
A sharp bound is derived for the nilpotency class of a regular p-group in terms of its coexponent, and is used to show that the number of groups of order p^n with a given fixed coexponent, is independent of n, for p and n sufficiently…
Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…
Let $p$ be a prime divisor of the order of a finite group $G$. Then $G$ has at least $2 \sqrt{p-1}$ complex irreducible characters of degrees prime to $p$. In case $p$ is a prime with $\sqrt{p-1}$ an integer this bound is sharp for…
A pro-p Cappitt group is a pro-p group G such that the subgroup topologically generated by all non-normal closed subgroups is a proper subgroup of G. In this paper we prove that non-abelian pro-p Cappitt groups whose torsion subgroup is…
In this paper, the Bogomolov multiplier of $p$-groups of order $p^7$ ($p>2$) and exponent $p$ is given.
Fix $a \in \mathbb{Z}$, $a\notin \{0,\pm 1\}$. A simple argument shows that for each $\epsilon > 0$, and almost all (asymptotically 100% of) primes $p$, the multiplicative order of $a$ modulo $p$ exceeds $p^{\frac12-\epsilon}$. It is an…
Two elements in a group $G$ are said to $z$-equivalent or to be in the same $z$-class if their centralizers are conjugate in $G$. In \cite{kkj}, it was proved that a non-abelian $p$-group $G$ can have at most $\frac{p^k-1}{p-1} +1$ number…
Using only undergraduate-level methods, we classify all groups of order $p^4$, where $p$ is an odd prime.
We give an infinite family of non-abelian strongly real Beauville $p$-groups for every prime $p$ by considering the quotients of triangle groups, and indeed we prove that there are non-abelian strongly real Beauville $p$-groups of order…
The classification of abelian groups of central type is well known. However, the description of non-abelian groups of central type which are known to be solvable, is far from being understood. In this paper we classify all groups of central…
We investigate which invariants of groups are powerful in distinguishing non-isomorphic p-groups. We introduce the notations of siblings and twins for p-groups that are difficult to distinguish and we describe the siblings and twins among…
A classification up to isomorphism of all left braces of order $p^3$, where $p$ is any prime number, is given. To this end, we first classify all the left braces of order $p$ and $p^2$, and then we construct explicitly the hypothesis…
For any prime $p>3$ and $j\in\mathbb{N}$ we construct examples of non-$FSZ_{p^j}$ groups of order $p^{p^j+2j-1}$. In the special case of $j=1$ this yields groups of order $p^{p+1}$, which is the minimum possible order for a non-$FSZ$…