Hopf--Galois structures of cyclic type on parallel extensions of prime power degree

Basic Information

• Paper ID: 2510.14473
• Title: Hopf--Galois structures of cyclic type on parallel extensions of prime power degree
• Authors: Andrew Darlington, Cindy (Sin Yi) Tsang
• Classification: math.GR (Group Theory), math.NT (Number Theory), math.RA (Rings and Algebras)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14473

Abstract

Let $L/K$ be an arbitrary finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is called parallel to $L/K$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. This paper investigates the following question: if $L/K$ admits a Hopf-Galois structure of type $N$, does this imply that every extension parallel to $L/K$ also admits a Hopf-Galois structure of type $N$? The authors completely resolve this question when the degree $[L:K]$ is a prime power and the type $N$ is a cyclic group. The approach is group-theoretic, utilizing the work of Greither-Pareigis and Byott.

Research Background and Motivation

Problem Background

1. Hopf-Galois Theory: Originally described by Chase and Sweedler for studying purely inseparable extensions, later found to apply to separable extensions as well, and obtained a group-theoretic classification through the work of Greither-Pareigis.
2. Parallel Extensions Concept: For a finite separable extension $L/K$, a parallel extension $L'/K$ is an intermediate field of the normal closure $\widetilde{L}/K$ with the same degree as $L$. This concept is not symmetric, as $L$ need not be contained in the normal closure of $L'$.
3. Core Problem: Investigating the transitivity of Hopf-Galois structures among parallel extensions, i.e., whether parallel extensions admit the same type of Hopf-Galois structure if the original extension does.

Research Motivation

1. Theoretical Completeness: Although counterexamples exist, Magma computations suggest the answer is typically affirmative, particularly always true when the degree is squarefree.
2. Classification Problem: By fixing the type $N$, the problem becomes more tractable, especially for prime power degrees and cyclic types.
3. Group-Theoretic Approach: Utilizing Byott's holomorph $\text{Hol}(N) = N \rtimes \text{Aut}(N)$ reformulates the problem as studying properties of transitive subgroups.

Core Contributions

1. Complete Resolution of Odd Prime Power Case: Proves that for odd prime power degrees, parallel extensions admit cyclic-type Hopf-Galois structures if and only if they are conjugate to the original extension.
2. Characterization of Even Prime Power Case: Provides complete classification for even prime power degrees, distinguishing different subcases with precise discriminant conditions.
3. Group-Theoretic Characterization: Provides complete analysis of transitive subgroups of the holomorph of cyclic groups $N$, particularly subgroups of index $|N|$.
4. Technical Innovation: Develops new techniques for handling Hall subgroups in holomorphs, generalizing previous results applicable only to squarefree orders.

Detailed Methodology

Task Definition

Given a cyclic group $N$ and a transitive subgroup $G$ of its holomorph $\text{Hol}(N)$, for any subgroup $H$ of $G$ with index $|N|$, determine whether the quotient group $G/\text{Core}_G(H)$ is isomorphic to some transitive subgroup of $\text{Hol}(N)$, and whether $H/\text{Core}_G(H)$ maps to a stabilizer subgroup under this isomorphism.

Core Technical Framework

1. Byott Correspondence

Utilizing Byott's results, the existence of Hopf-Galois structures is equivalent to:

• Group $G$ is isomorphic to a transitive subgroup of $\text{Hol}(N)$
• Under this isomorphism, $G'$ maps to the stabilizer $\text{Stab}_T(1_N)$

2. Holomorph Structure Analysis

For cyclic group $N = \langle \sigma \rangle$ of prime power order $p^e$:

• When $p$ is odd: $\text{Aut}(N) \cong C_{p^{e-1}(p-1)}$
• When $p = 2$: $\text{Aut}(N) \cong C_2 \times C_{2^{e-2}}$

3. Element Order Formula

For $[\sigma^u, \varphi_a] \in \text{Hol}(N)$, where $a \equiv 1 \pmod{p}$:

Odd Prime Case: $|[\sigma^u, \varphi_a]| = \max\{p^{e-v_p(u)}, |\varphi_a|\}$

Even Prime Case: $|[\sigma^u, \varphi_a]| = \begin{cases} \max\{2^{e-v_2(u)}, |\varphi_a|\} & \text{if } a \equiv 1 \pmod{4} \\ \max\{2^{e-v_2(u)-v_2(\frac{a+1}{2})}, |\varphi_a|\} & \text{if } a \equiv 3 \pmod{4} \end{cases}$

Key Lemmas and Techniques

Hall Subgroup Technique

When $\text{Hol}(N)$ contains a unique Hall $\pi$-subgroup $Q$ ($\pi$ is the set of prime divisors of $|N|$):

• Hall $\pi$-subgroups of transitive subgroups remain transitive
• Conjugacy of subgroups can be determined through conjugacy of their Hall $\pi$-subgroups

Center and Commutator Analysis

For non-regular transitive subgroups $G$: $|Z(G)| \cdot |[G,G]| = 2^e$

This equation plays a crucial role in analyzing the even prime power case.

Main Theorems and Results

Theorem 1.4 (Odd Prime Power Case)

Let $L/K$ be a finite separable extension of odd prime power degree admitting a Hopf-Galois structure of cyclic type. For any parallel extension $L'/K$, the following are equivalent:

1. $L'/K$ admits a Hopf-Galois structure of cyclic type
2. $L'/K$ is conjugate to $L/K$

Theorem 1.5 (Even Prime Power Case)

Let $L/K$ be a finite separable extension of even prime power degree admitting a Hopf-Galois structure of cyclic type. Let $G$ be the Galois group of the normal closure, then $|G| = 2^s[L:K]$ is also a power of 2, and:

1. If $s = 1$ and $G$ has an element of order $[L:K]$, then every parallel extension admits a Hopf-Galois structure of cyclic type
2. If $s = 1$ and $G$ has no element of order $[L:K]$, or if $s \geq 2$, then there exists a normal parallel extension that does not admit a Hopf-Galois structure of cyclic type

Theorem 1.6 (Complete Characterization)

For cyclic group $N$ of order $2^e$ and transitive subgroup $G$ of $\text{Hol}(N)$, a complete characterization is given for subgroups $H$ not satisfying the conditions, including four specific cases:

1. $|H \cap N| \geq 4$
2. $|H \cap N| = 2$ and $G$ has no element of order $2^e$
3. $|H \cap N| = 2$ and $H$ is not normal in $G$
4. Special cases with $|H \cap N| = 1$ involving specific group structure conditions

Key Proof Techniques

Proof Strategy for Odd Prime Case

1. Reduction to Hall Subgroups: Utilizing uniqueness of Hall subgroups, reducing the problem to the $p$-group case
2. Conjugacy Analysis: Proving that subgroups satisfying conditions must be conjugate to stabilizers
3. Order Matching: Utilizing the fact that transitive subgroups must contain elements of order $p^e$

Proof Strategy for Even Prime Case

1. Case Classification: Classifying by values of $|H \cap N|$
2. Centralizer Analysis: Comparing orders of centralizers in the case $|H \cap N| = 1$
3. Explicit Construction: Explicitly constructing required isomorphisms when feasible

Related Work

1. Greither-Pareigis Classification: Establishing correspondence between Hopf-Galois structures and regular subgroups
2. Byott Reformulation: Simplifying the classification problem through holomorphs
3. Prior Work: Authors' previous proof of results for squarefree degree cases
4. Computational Verification: Extensive Magma computations supporting theoretical predictions

Conclusions and Discussion

Main Conclusions

1. Significant Odd-Even Difference: Odd and even prime power cases exhibit markedly different behavior, with the former yielding mostly negative answers and the latter exhibiting more complex structure
2. Complete Classification: For cyclic-type Hopf-Galois structures of prime power degree, a complete group-theoretic characterization is provided
3. Technical Advancement: New techniques for handling holomorphs are developed, laying foundations for further research

Limitations

1. Restriction to Cyclic Type: Results apply only to cyclic-group-type Hopf-Galois structures
2. Prime Power Degrees: Methods heavily depend on special properties of prime power degrees
3. Computational Complexity: Some discriminant conditions involve complex group-theoretic computations

Future Directions

1. General Prime Power Types: Extending to non-cyclic prime power order groups
2. Composite Degrees: Handling more general degree cases
3. Algorithm Implementation: Developing efficient algorithms for determining Hopf-Galois structures of specific extensions

In-Depth Evaluation

Strengths

1. Problem Importance: Resolves fundamental questions in Hopf-Galois theory
2. Methodological Innovation: Cleverly combines group theory, Galois theory, and Hopf algebra theory
3. Result Completeness: Provides complete classification for the considered cases
4. Technical Depth: Proofs involve profound group-theoretic techniques and refined computations

Weaknesses

1. Limited Scope: Results apply only to specific degrees and types
2. Proof Complexity: Analysis of certain cases is quite technical, potentially difficult to generalize
3. Computational Dependence: Some results rely on computer verification

Impact

1. Theoretical Contribution: Provides new profound results for Hopf-Galois theory
2. Methodological Value: Developed techniques may apply to other related problems
3. Inspirational Significance: Reveals complex relationships of Hopf-Galois structures among parallel extensions

Application Scenarios

1. Algebraic Number Theory Research: Provides tools for studying Galois module structures of field extensions
2. Hopf Algebra Theory: Enriches classification theory of Hopf-Galois structures
3. Computational Algebra: Provides theoretical foundations for related computational problems

References

The paper cites 32 important references, including:

• Foundational work by Chase & Sweedler
• Classification theorems by Greither & Pareigis
• Holomorph methods by Byott
• Related literature in group theory and algebraic number theory

These references constitute a solid theoretical foundation for this research, demonstrating the authors' comprehensive command of the literature in this field.