Presentations for the groups of order $p^6$ for prime $p\geq 7$

M.F. Newman,E.A. O'Brien,M.R. Vaughan-Lee

2023-08-19

Abstract:We list those presentations for the groups of order $p^6$ for prime $p\geq 7$ which are distributed as part of the {\sc SmallGroups} library.

Group Theory

What problem does this paper attempt to address?

Exceptional groups of order $p^6$ for primes $p\geq 5$

E.A. O'Brien,Sunil Kumar Prajapati,Ayush Udeep

2024-10-23

Abstract:The minimal faithful permutation degree $\mu(G)$ of a finite group $G$ is the least integer $n$ such that $G$ is isomorphic to a subgroup of the symmetric group $S_n$. If $G$ has a normal subgroup $N$ such that $\mu(G/N) > \mu(G)$, then $G$ is exceptional. We prove that the proportion of exceptional groups of order $p^6$ for primes $p \geq 5$ is asymptotically 0. We identify $(11p+107)/2$ such groups and conjecture that there are no others.

Group Theory
Comment on: The groups of order $p^6$ ($p$ an odd prime) By Rodney James, Math. Comput. 34 (1980), 613-637

E. A. O'Brien,Sunil Kumar Prajapati,Ayush Udeep

2023-07-26

Abstract:Over the years various errors have been identified in the 1980 paper of James on the groups of order $p^6$, where $p$ is an odd prime. Here we summarise them.

Group Theory
Extension of Elementary $P$-Groups and Its Application in Classification of Groups of Prime Exponent

Zheyan Wan,Yu Ye,Chi Zhang

DOI: https://doi.org/10.48550/arxiv.2003.12802

2020-01-01

Abstract:Let $p$ be a prime number and $\mathbb{Z}_p=\mathbb{Z}/p\mathbb{Z}$. We study finite groups with abelian derived subgroup and exponent $p$ in terms of group extension data and their matrix presentations. We show a one-to-one correspondence between the following two sets: (i) the isoclasses of class 2 groups of exponent $p$ and order $p^{m+n}$ and with derived subgroup $\mathbb{Z}_p^n$, and (ii) the set $\text{Gr}(n,\text{AS}_m(\mathbb{Z}_p))/\text{GL}_m(\mathbb{Z}_p)$ of orbits of $\text{Gr}(n,\text{AS}_m(\mathbb{Z}_p))$ under the congruence action by $\text{GL}_m(\mathbb{Z}_p)$, where $\text{Gr}(n,\text{AS}_m(\mathbb{Z}_p))$ is the set of $n$-dimensional subspaces of anti-symmetric matrices of order $m$ over $\mathbb{Z}_p$. We give a description of the orbit spaces $\text{Gr}(2, \text{AS}_m(\mathbb{Z}_p))/\text{GL}_m(\mathbb{Z}_p)$ for all $m$ and $p$ by applying the theory of pencils of anti-symmetric matrices. Based on this, we show complete sets of representatives of orbits of $\text{Gr}(3,\text{AS}_4(\mathbb{Z}_3))/\text{GL}_4(\mathbb{Z}_3)$, $\text{Gr}(4, \text{AS}_4(\mathbb{Z}_3))/\text{GL}_4(\mathbb{Z}_3)$ and $\text{Gr}(3, \text{AS}_5(\mathbb{Z}_3))/\text{GL}_5(\mathbb{Z}_3)$. As a consequence, we obtain a classification of corresponding class 2 groups of exponent $p$. In particular, we recover the classification of groups with exponent 3 and order $\le 3^8$.
On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

Zoltán Halasi,Károly Podoski,László Pyber,Endre Szabó

2023-09-20

Abstract:There are several results in the literature concerning $p$-groups $G$ with a maximal elementary abelian normal subgroup of rank $k$ due to Thompson, Mann and others. Following an idea of Sambale we obtain bounds for the number of generators etc. of a $2$-group $G$ in terms of $k$, which were previously known only for $p>2$. We also prove a theorem that is new even for odd primes. Namely, we show that if $G$ has a maximal elementary abelian normal subgroup of rank $k$, then for any abelian subgroup $A$ the Frattini subgroup $\Phi(A)$ can be generated by $2k$ elements ($3k$ when $p=2$). The proof of this rests upon the following result of independent interest: If $V$ is an $n$-dimensional vector space, then any commutative subalgebra of End$(V)$ contains a zero algebra of codimension at most $n$.

Group Theory
Groups with presentations in EDT0L

Laurent Bartholdi,Leon Pernak,Emmanuel Rauzy

2024-04-09

Abstract:To any family of languages LAN, let us associate the class, denoted $\pi(\text{LAN})$, of finitely generated groups that admit a group presentation whose set of relators forms a language in LAN. We show that the class of L-presented groups, as introduced by the first author in 2003, is exactly the class of groups that admit presentations in the family of languages EDT0L. We show that the marked isomorphism problem is not semi-decidable for groups given by EDT0L presentations, contrary to the finite presentation case. We then extend and unify results of the first author with Eick and Hartung about nilpotent and finite quotients, by showing that it is possible to compute the marked hyperbolic and marked metabelian quotients of a group given by an EDT0L presentation. Finally, we show how the results about quotient computations enable the construction of recursively presented groups that do not have EDT0L presentations, thus proving $\pi(\text{EDT0L})\ne \pi(\text{REC})$. This is done by building a residually nilpotent group with solvable word problem whose sequence of maximal nilpotent quotients is non-computable.

Group Theory
On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

John Bamberg,Saul D. Freedman,Luke Morgan

DOI: https://doi.org/10.1017/S1446788719000466

2019-10-02

Abstract:Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/\Phi(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p = 3$, our construction gives two nonisomorphic $p$-groups. To show that $P$ satisfies the specified properties, we study the action of $G_2(q)$ on the octonion algebra over $\mathbb{F}_q$, for each power $q$ of $p$, and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_q[G_2(q)]$-module.

Group Theory,Representation Theory
Short presentations for transformation monoids

James D. Mitchell,Murray T. Whyte

2024-06-28

Abstract:Due to the theorems of Cayley and Vagner-Preston, the full transformation monoids and the symmetric inverse monoids play analogous roles in the theory of monoids and inverse monoids, as the symmetric group does in the theory of groups. Every presentation for the finite full transformation monoids $T_n$, symmetric inverse monoids $I_n$, and partial transformation monoids $PT_n$ contains a monoid presentation for the symmetric group. In this paper we show that the number of relations required, in addition to those for the symmetric group, for each of these monoids are at least $4$, $3$, and $8$, respectively. We also give presentations for: $T_n$ with $4$ additional relations when $n$ is odd and $n\geq 5$; and $5$ additional relations for all $n\geq 4$; for $I_n$ with $3$ additional relations for all $n \geq 3$; and for $PT_n$ with $9$ relations for all $n\geq 4$. The presentations for $T_n$ and $I_n$ answer open problems in the literature.

Group Theory
The Maximal Subgroups of the Exceptional Groups $F_4(q)$, $E_6(q)$ and ${}^2E_6(q)$ and Related Almost Simple Groups

David A. Craven

DOI: https://doi.org/10.1007/s00222-023-01208-2

2023-09-13

Abstract:This article produces a complete list of all maximal subgroups of the finite simple groups of type $F_4$, $E_6$ and twisted $E_6$ over all finite fields. Along the way, we determine the collection of Lie primitive almost simple subgroups of the corresponding algebraic groups. We give the stabilizers under the actions of outer automorphisms, from which one can obtain complete information about the maximal subgroups of all almost simple groups with socle one of these groups. We also provide a new maximal subgroup of ${}^2\!F_4(8)$, correcting the maximal subgroups for that group from the list of Malle. This provides the first new exceptional groups of Lie type to have their maximal subgroups enumerated for three decades. The techniques are a mixture of algebraic groups, representation theory, computational algebra, and use of the trilinear form on the $27$-dimensional minimal module for $E_6$. We provide a collection of auxiliary Magma files that prove the author's computational claims, yielding existence and the number of conjugacy classes of all maximal subgroups mentioned in the text.

Group Theory
Orders for which there exist exactly six or seven groups

Aban S. Mahmoud

2024-05-08

Abstract:Much progress has been made on the problem of calculating $g(n)$ for various classes of integers $n$, where $g$ is the group-counting function. We approach the inverse problem of solving the equations $g(n) = 6$ and $g(n) = 7$ in $n$. The determination of $n$ for which $g(n) = k$ has been carried out by G. A. Miller for $1 \le k \le 5$.

Group Theory,Combinatorics
Groups not presentable by products

D. Kotschick,C. Loeh

DOI: https://doi.org/10.4171/GGD/180

2011-09-04

Abstract:In this paper we study obstructions to presentability by products for finitely generated groups. Along the way we develop both the concept of acentral subgroups, and the relations between presentability by products on the one hand, and certain geometric and measure or orbit equivalence invariants of groups on the other. This leads to many new examples of groups not presentable by products, including all groups with infinitely many ends, the (outer) automorphism groups of free groups, Thompson's groups, and even some elementary amenable groups.

Group Theory,Geometric Topology
Enumeration of groups in some special varieties of $A$-groups

Arushi,Geetha Venkataraman

DOI: https://doi.org/10.1017/S0004972724000431

2024-09-13

Abstract: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 subgroups that are maximal amongst the subgroups of the general linear group that are also in the variety $A_qA_r$.

Group Theory
The simple classical groups of dimension less than 6 which are (2,3)-generated

M.A. Pellegrini,M.C. Tamburini Bellani

DOI: https://doi.org/10.48550/arXiv.1405.3149

2015-01-06

Abstract:In this paper we determine the classical simple groups of dimension r=3,5 which are (2,3)-generated (the cases r = 2, 4 are known). If r = 3, they are PSL_3(q), q <> 4, and PSU_3(q^2), q^2 <> 9, 25. If r = 5 they are PSL_5(q), for all q, and PSU_5(q^2), q^2 >= 9. Also, the soluble group PSU_3(4) is not (2,3)-generated. We give explicit (2,3)-generators of the linear preimages, in the special linear groups, of the (2,3)-generated simple groups.

Group Theory
Invariants of Wreath Products and Subgroups of S 6

Ming-chang Kang,Baoshan Wang,Jian Zhou

DOI: https://doi.org/10.1215/21562261-2871749

2015-01-01

Kyoto Journal of Mathematics

Abstract:Let G be a subgroup of S 6 , the symmetric group of degree 6. For any field k , G acts naturally on the rational function field k ( x 1 , … , x 6 ) via k -automorphisms defined by σ ⋅ x i = x σ ( i ) for any σ ∈ G and any 1 ≤ i ≤ 6 . We prove the following theorem. The fixed field k ( x 1 , … , x 6 ) G is rational (i.e., purely transcendental) over k , except possibly when G is isomorphic to PSL 2 ( F 5 ) , PGL 2 ( F 5 ) , or A 6 . When G is isomorphic to PSL 2 ( F 5 ) or PGL 2 ( F 5 ) , then C ( x 1 , … , x 6 ) G is C -rational and k ( x 1 , … , x 6 ) G is stably k -rational for any field k . The invariant theory of wreath products will be investigated also.
Some Primitive Linear Groups of Prime Degree

Ming-chang Kang,Ji-ping Zhang,Jian-yi Shi,Yung Yu,Stephen S. T. Yau

DOI: https://doi.org/10.2969/jmsj/06141013

2009-01-01

Journal of the Mathematical Society of Japan

Abstract:A classical problem in finite group theory dating back to Jordan, Klein, E. H. Moore, Dickson, Blichfeldt etc. is to determine all finite subgroups in SL(n, C) up to conjugation for some small values of n. This question is important in group theory as well as in the study of quotient singularities. Some results of Blichfeldt when n = 3 4 were generalized to the case of finite primitive subgroups of SL(5, C) and SL(7, C) by Brauer and Wales. The purpose of this article is to consider the following case. Let p be any odd prime number and G be a finite primitive subgroup of SL(p, C) containing a non-trivial monomial normal subgroup H so that H has a non-scalar diagonal matrix. We will classify all these groups G up to conjugation in SL(p, C) by exhibiting the generators of G and representing G as some group extensions. In particular, see the Appendix for a list of these subgroups when p = 5 or 7.
Representation growth of maximal class groups: various exceptional cases

Shannon Ezzat

2024-12-12

Abstract:This paper is a sequel to "Representation growth of maximal class groups: non-exceptional primes". We use a constructive method to calculate some exceptional cases of $p$-local representation zeta functions of a family of finitely generated nilpotent groups $M_n$ with maximal nilpotency class. Using the machinery of the constructive method from the prequel paper we construct all irreducible representations of degree $p^N$ for all $N\in \mathbb{N}$ for the group $M_{p+1}$ for a fixed prime $p$. We also construct all irreducible representations of degree $2^N$ for the group $M_4$. Together with the main result from the prequel, this gives us a complete understanding of the irreducible representations of the groups $M_3$ and $M_4$, along with their global representation zeta functions.

Group Theory
On the complexities of some simple modules of symmetric groups

Yu Jiang

DOI: https://doi.org/10.48550/arXiv.1810.01144

2018-10-02

Abstract:Let $p$ be a prime. In this paper, we compute complexities of some simple modules of symmetric groups labelled by two-part partitions. Most of the simple modules considered here are contained in the $p$-blocks with non-abelian defect groups.

Representation Theory
Hopf Galois structures, skew braces for groups of size $p^nq$: The cyclic Sylow subgroup case

Namrata Arvind,Saikat Panja

2023-09-13

Abstract:Let $n\geq 1$ be an integer, $p$, $q$ be distinct odd primes. Let ${G}$, $N$ be two groups of order $p^nq$ with their Sylow-$p$-subgroups being cyclic. We enumerate the Hopf-Galois structures on a Galois ${G}$-extension, with type $N$. This also computes the number of skew braces with additive group isomorphic to $G$ and multiplicative group isomorphic to $N$. Further when $q<p$, we give a complete classification of the Hopf-Galois structures on Galois-$G$-extensions.

Group Theory,Rings and Algebras
On the $p$-ranks of class groups of certain Galois extensions

Ufuoma Asarhasa,Rusiru Gambheera,Debanjana Kundu,Enrique Nunez Lon-wo,Arshay Sheth

2024-08-08

Abstract:Let $p$ be an odd prime, let $N$ be a prime with $N \equiv 1 \pmod{p}$, and let $\zeta_p$ be a primitive $p$-th root of unity. We study the $p$-rank of the class group of $\mathbb{Q}(\zeta_p, N^{1/p})$ using Galois cohomological methods and obtain an exact formula for the $p$-rank in terms of the dimensions of certain Selmer groups. Using our formula, we provide a numerical criterion to establish upper and lower bounds for the $p$-rank, analogous to the numerical criteria provided by F.~Calegari--M.~Emerton and K.~Schaefer--E.~Stubley for the $p$-ranks of the class group of $\mathbb{Q}(N^{1/p})$. In the case $p=3$, we use Redei matrices to provide a numerical criterion to exactly calculate the $3$-rank, and also study the distribution of the $3$-ranks as $N$ varies through primes which are $4,7 \pmod{9}$.

Number Theory
Presentations for (singular) partition monoids: a new approach

JAMES EAST

DOI: https://doi.org/10.1017/s030500411700069x

2017-10-11

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:Abstract We give new, short proofs of the presentations for the partition monoid and its singular ideal originally given in the author's 2011 papers in Journal of Algebra and International Journal of Algebra and Computation .

mathematics
Représentations de réflexion de groupes de Coxeter Sixième partie: le cas réductible; exemples en rang trois

François Zara

DOI: https://doi.org/10.48550/arXiv.2003.03254

2020-03-06

Group Theory

Abstract:In this sixth part we study rank $3$ reflection groups not well generated: $G(2r,r,2)$, $G_{12}$, $G_{13}$ and $G_{22}$. We start from a reflection representation of a rank $3$ Coxeter group and we show that we can obtain in this manner affine Coxeter groups whose linear part is one of the preceding groups.

Presentations for the groups of order $p^6$ for prime $p\geq 7$

Exceptional groups of order $p^6$ for primes $p\geq 5$

Comment on: The groups of order $p^6$ ($p$ an odd prime) By Rodney James, Math. Comput. 34 (1980), 613-637

Extension of Elementary $P$-Groups and Its Application in Classification of Groups of Prime Exponent

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

Groups with presentations in EDT0L

On $p$-groups with automorphism groups related to the Chevalley group $G_2(p)$

Short presentations for transformation monoids

The Maximal Subgroups of the Exceptional Groups $F_4(q)$, $E_6(q)$ and ${}^2E_6(q)$ and Related Almost Simple Groups

Orders for which there exist exactly six or seven groups

Groups not presentable by products

Enumeration of groups in some special varieties of $A$-groups

The simple classical groups of dimension less than 6 which are (2,3)-generated

Invariants of Wreath Products and Subgroups of S 6

Some Primitive Linear Groups of Prime Degree

Representation growth of maximal class groups: various exceptional cases

On the complexities of some simple modules of symmetric groups

Hopf Galois structures, skew braces for groups of size $p^nq$: The cyclic Sylow subgroup case

On the $p$-ranks of class groups of certain Galois extensions

Presentations for (singular) partition monoids: a new approach

Représentations de réflexion de groupes de Coxeter Sixième partie: le cas réductible; exemples en rang trois