Hall Skew-morphisms and Hall Cayley maps of finite groups

Basic Information

• Paper ID: 2510.10916
• Title: Hall Skew-morphisms and Hall Cayley maps of finite groups
• Authors: Wendi Di, Zheng Guo, Cai Heng Li
• Classification: math.GR (Group Theory), math.CO (Combinatorics)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.10916

Abstract

This paper provides a characterization of finite groups $H$ admitting skew-morphisms whose order is coprime to the order of $H$, and classifies such skew-morphisms. Furthermore, it completely classifies the automorphism groups and underlying graphs of vertex-transitive kernel-free Hall Cayley maps.

Research Background and Motivation

Core Problems

This research addresses two interrelated problems:

1. Characterization of Hall skew-morphisms: Determine which finite groups admit skew-morphisms coprime to their order and provide a complete classification of such skew-morphisms
2. Classification of Hall Cayley maps: Completely classify the automorphism groups and underlying graphs of vertex-transitive kernel-free Hall Cayley maps

Research Significance

1. Theoretical importance: The concept of skew-morphisms was introduced by Jajcay and Širáň for studying regular Cayley maps, representing an important intersection of group theory and algebraic graph theory
2. Applied value: Cayley maps possess the highest degree of symmetry in algebraic and topological graph theory, occupying a central position in map theory and the study of symmetric graphs
3. Technical challenges: Even for special families of groups, the determination of skew-morphisms remains challenging and incompletely resolved

Limitations of Existing Research

• Partial results only for cyclic groups 2,5,6,10,19,20
• Incomplete studies on skew-morphisms of dihedral groups 15,17,18,29,30
• Limited research on skew-morphisms of elementary abelian p-groups $Z_p^n$ 11,12
• Absence of systematic characterization of Hall skew-morphisms for general finite groups

Core Contributions

1. Main structural theorem: Provides a complete structural characterization of finite groups admitting Hall skew-morphisms (Theorems 1.3 and 1.6)
2. Classification results: Proves that Hall skew-morphisms primarily arise from special factorizations of linear groups
3. Unboundedness result: Demonstrates that the number $r$ of direct product factors can be arbitrarily large (Corollary 1.4)
4. Special case for solvable groups: Provides a complete characterization of Hall skew-morphisms of solvable groups (Corollary 1.7)
5. Cayley map classification: Completely classifies vertex-transitive kernel-free Hall Cayley maps (Theorem 1.8)

Methodology Details

Core Concept Definitions

Skew-morphism definition: For a group $H$, a skew-morphism $\rho$ is a permutation of $H$ satisfying: $\rho(1) = 1 \text{ and } \rho(gh) = \rho(g)\rho^{\pi(g)}(h)$ where $\pi$ is an integer-valued function on $H$.

Equivalent group-theoretic definition: If there exists a group $G$ such that $G = HK$, where $H \cap K = 1$ and $K$ is a cyclic kernel-free subgroup of $G$, then each generator of $K$ is called a skew-morphism of $H$.

Hall skew-morphism: $\rho$ is called a Hall skew-morphism of $H$ if $\gcd(|H|, |\rho|) = 1$.

Key Assumption 1.2

The paper establishes a core assumption listing a complete inventory of almost simple groups $T$ and their factorizations $T = HK$:

Main Technical Methods

1. Structural Analysis Method

• Utilizes the hereditary property of Hall factorizations (Lemma 2.1)
• Simplifies problems through quotient group analysis (Lemma 2.2)
• Treats solvable groups and almost simple groups separately

2. Minimal Counterexample Method The proof of Theorem 1.3 employs the minimal counterexample technique:

• Assumes $G = HK$ is a minimal counterexample
• Proves that if $H$ is not kernel-free, the problem reduces to smaller cases
• Handles the solvable radical and socle

3. Classification Enumeration Method Systematically analyzes the c-group property of almost simple groups (Lemma 2.4) to determine all possible $(T,H,K)$ triples.

Experimental Setup

Theoretical Verification

This paper is primarily a pure mathematical theoretical study, with results verified through rigorous mathematical proofs:

1. Constructive Examples

• Example 2.6: Constructs arbitrarily large direct products $PSL(d_1,p^{d_1}) \times \cdots \times PSL(d_r,p^{d_r})$
• Proposition 2.5: Proves the feasibility of prime selection

2. Computational Verification

• Uses the MAGMA computational system to verify involution properties of $M_{11}$
• Verifies the existence of factorizations for specific groups

Experimental Results

Main Structural Theorem (Theorem 1.3)

Let $G = HK$ be a group factorization where $H$ is a Hall subgroup, $K$ is cyclic, and $N$ is the kernel of $H$ in $G$. Then either:

1. $G = N \cdot (K:O)$, where $H = N \cdot O$ and $O \leq \text{Aut}(K)$
2. $G = N \cdot (T_1 \times \cdots \times T_r \times K_0) \cdot O$, where $\gcd(|T_i|, e(T_j)) = 1$ for all $i \neq j$

Hall Skew-morphism Characterization (Theorem 1.6)

A finite group $H$ admits a Hall skew-morphism $\rho$ if and only if: $H = N \cdot (H_0 \times H_1 \times \cdots \times H_r) \cdot O$ where $\gcd(|N||O|, |\rho|) = 1$, and each $H_i$ comes from the list in Assumption 1.2.

Unboundedness Result (Corollary 1.4)

For any positive integer $r$, there exist $r$ linear groups $T_i = PSL(d_i, q_i)$ such that $G = T_1 \times \cdots \times T_r$ admits a Hall skew-morphism.

Cayley Map Classification (Theorem 1.8)

A $G$-vertex-transitive map $M$ is a kernel-free Hall Cayley map if and only if: $G = ((T_1 \times \cdots \times T_s):\langle z_1 \cdots z_s \rangle) \times T_{s+1} \times \cdots \times T_r$ with underlying graph: $\Gamma = (\Gamma_1 \times_{bi} \Gamma_2 \times_{bi} \cdots \times_{bi} \Gamma_s) \times (\Gamma_{s+1} \times \cdots \times \Gamma_r)$

Related Work

History of Skew-morphism Research

• Origins: Jajcay and Širáň 16 introduced the concept of skew-morphisms for studying regular Cayley maps
• Cyclic groups: Partial results in 2,5,6,10,19,20
• Dihedral groups: Partial results in 15,17,18,29,30
• Elementary abelian groups: Results for $Z_p^n$ in 11,12

Recent Advances

• Monolithic groups: Bachratý et al. 1 characterized skew-morphisms of finite monolithic groups
• Characteristic simple groups: Chen et al. 4 characterized skew-morphisms of finite non-abelian characteristic simple groups

Cayley Map Research

• Regular maps: Possess the highest degree of symmetry 13,14,22
• Arc-transitive maps: Lower symmetry but still important 21,26,27,28

Conclusions and Discussion

Main Conclusions

1. Complete characterization: Provides a complete structural characterization of finite groups admitting Hall skew-morphisms
2. Classification results: Hall skew-morphisms primarily arise from special factorizations of linear groups $PSL(d,q)$
3. Unboundedness: The number of direct product factors can be arbitrarily large, but is constrained by strict number-theoretic conditions
4. Applications: Completely classifies an important class of highly symmetric maps

Limitations

1. Number-theoretic conditions: The condition $\gcd(|T_i|, e(T_j)) = 1$ is very restrictive, limiting possible combinations
2. Construction complexity: Although $r$ can be arbitrarily large, $|T_1| \to \infty$ as $r \to \infty$
3. Computational complexity: Practical construction of large examples may be computationally difficult

Future Directions

Problem 1.5: Characterize linear group combinations satisfying $|T_1| < \cdots < |T_r|$ with $|T_1|$ bounded.

Subsequent work: The authors will provide characterization and enumeration of vertex-transitive kernel-free Hall Cayley maps in 8.

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete solution to the Hall skew-morphism problem
2. Methodological innovation: Cleverly combines group-theoretic and graph-theoretic methods
3. Deep results: Reveals profound connections between skew-morphisms and linear group factorizations
4. Technical rigor: Proofs are rigorous with clear logical structure

Technical Highlights

1. Structural analysis: Simplifies problems through hierarchical analysis of kernels, solvable radicals, and socles
2. Classification method: Systematically handles all cases of almost simple groups
3. Construction techniques: Provides explicit constructions for unboundedness results

Shortcomings

1. Strict conditions: The coprimality condition $\gcd(|T_i|, e(T_j)) = 1$ is strong, potentially limiting practical examples
2. Computational verification: Some results rely on computational system verification; more elegant theoretical proofs would be preferable
3. Application scope: Primarily theoretical results; practical applications require further exploration

Impact Assessment

1. Academic contribution: Resolves an important open problem in group theory
2. Methodological value: Provides technical methods with reference value for related problems
3. Future research: Establishes foundations for further research on Cayley maps and skew-morphisms

Applicable Scenarios

• Symmetry studies in algebraic graph theory
• Group actions and factorization theory
• Combinatorial map theory
• Symmetric structures in finite geometry

References

The paper cites 30 related references covering major research results in skew-morphisms, Cayley maps, group theory, and algebraic graph theory, providing a solid theoretical foundation for the research.