The structure of 3-pyramidal groups

DOI10.1016/J.JALGEBRA.2023.08.013MaRDI QIDQ6054763zbMATH OpenOpenAlexFDO

Authors Xiaofang Gao, Martino Garonzi

Publication date 25 October 2023

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2302.12285

zbMATH Keywords

finite groupKirkman triple systemprimitive groupsolvable group

Mathematics Subject Classification ID

Primitive groups (20B15) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Arithmetic and combinatorial problems involving abstract finite groups (20D60)

Abstract: A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $mboxAut(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a classification of the groups with this property.

Review text

A finite group \(G\) is 3-pyramidal if it has exactly 3 involutions, which are all conjugate to each other. The main result proved in the paper under review is (see Theorem 1.2): Let \(G\) be a finite group, \(O(G)\) the largest normal subgroup of \(G\) of odd order and let \(K\) be the subgroup generated by the involutions of \(G\). Then \(G\) is 3-pyramidal if and only if one of the following holds. \begin{itemize} \item[(1)] \(G \simeq S_{3} \times H\) where \(H\) is a group of odd order. \item[(2)] \(O(G) \leq C_{G}(K)\) and \(G/O(G) \simeq N \rtimes A\) where \(N\) is the Suzuki 2-group of order 64 and \(A\) is cyclic of order 3 or 15. \item[(3)] \(O(G) \leq C_{G}(K)\) and \(G/O(G)\) is isomorphic to \((C_{2^{n}} \times C_{2^{n}}) \rtimes A\) where \(A\) is the cyclic group of order 3 acting fixed point freely on \(C_{2^{n}} \times C_{2^{n}}\). \end{itemize}

Recommendations

• A classification of finite 2-groups with exactly three involutions.
• Groups in which all involutions are 3-transvections
• scientific article; zbMATH DE number 1775204
• scientific article; zbMATH DE number 4173225

Cites work

• 3-pyramidal Steiner triple systems
• Classes of Finite Groups
• Groups. An introduction to ideas and methods of the theory of groups. Translated from the Italian
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 3749242 (Why is no real title available?)
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 3392464 (Why is no real title available?)
• Subgroups of Maximal Rank in Finite Exceptional Groups of Lie Type
• Suzuki 2-groups
• The finite primitive groups with soluble stabilizers, and the edge-primitive s-arc transitive graphs.
• The first families of highly symmetric Kirkman triple systems whose orders fill a congruence class
• The maximal subgroups of the finite 8-dimensional orthogonal groups \(P\Omega ^ +_ 8(q)\) and of their automorphism groups
• The maximal subgroups of the low-dimensional finite classical groups.
• The Sylow 2-subgroups of finite, soluble groups with a single class of involutions

Cited in

(2)

• The existence of pyramidal Steiner triple systems over abelian groups
• On pyramidal groups of prime power degree

This page was built for publication: The structure of 3-pyramidal groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6054763)