2025-11-19T19:34:14.311509

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

Darlington, Tsang

Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.

academic

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

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.
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'$ .
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

Theoretical Completeness: Although counterexamples exist, Magma computations suggest the answer is typically affirmative, particularly always true when the degree is squarefree.
Classification Problem: By fixing the type $N$ , the problem becomes more tractable, especially for prime power degrees and cyclic types.
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

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.
Characterization of Even Prime Power Case: Provides complete classification for even prime power degrees, distinguishing different subcases with precise discriminant conditions.
Group-Theoretic Characterization: Provides complete analysis of transitive subgroups of the holomorph of cyclic groups $N$ , particularly subgroups of index $|N|$ .
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:

\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.