Hopf-Galois structures on non-normal extensions of degree related to Sophie Germain primes

DOI10.1016/J.JPAA.2021.106869MaRDI QIDQ2229982zbMATH OpenOpenAlexFDO

Authors Nigel P. Byott, Isabel Martin-Lyons

Publication date 17 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

groups of squarefree orderHopf-Galois structuresseparable field extensionsSophie Germain primes

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Hopf algebras and their applications (16T05)

Abstract: We consider Hopf-Galois structures on separable (but not necessarily normal) field extensions $L/K$ of squarefree degree $n$. If $E/K$ is the normal closure of $L/K$ then $G=mathrmGal(E/K)$ can be viewed as a permutation group of degree $n$. We show that $G$ has derived length at most $4$, but that many permutation groups of squarefree degree and of derived length $2$ cannot occur. We then investigate in detail the case where $n=pq$ where $qgeq3$ and $p=2q+1$ are both prime. (Thus $q$ is a Sophie Germain prime and $p$ is a safeprime). We list the permutation groups $G$ which can arise, and we enumerate the Hopf-Galois structures for each $G$. There are six such $G$ for which the corresponding field extensions $L/K$ admit Hopf-Galois structures of both possible types.

Review text

Let \(L/K\) be a separable extension with normal closure \(E/K\). Set \(G = \mathrm{Gal}(E/K)\) and \(G' =\mathrm{Gal}(E/L)\). In [J. Algebra 106, 239--258 (1987; Zbl 0615.12026)], \textit{C. Greither} and \textit{B. Pareigis} showed that there is a one-to-one correspondence between the Hopf-Galois structures on \(L/K\) and certain regular subgroups \(N\) in the group \(\mathrm{Perm}(G/G')\) of all permutations of \(G/G'\). In particular, any such \(N\) has order equal to the degree of \(L/K\), and its isomorphism class is called the \textit{type} of the corresponding Hopf-Galois structure. Although this correspondence is valid for all separable extensions, most of the work in the literature focuses on Galois extensions. The Galois case is not only easier, but it has potential applications in Galois module theory and it has connections with skew braces (see the Appendix of [\textit{A. Smoktunowicz} and \textit{L. Vendramin}, J. Comb. Algebra 2, 47--86 (2018; Zbl 1416.16037]). \textit{A. A. Alabdali} and \textit{N. P. Byott} [J. Algebra 559, 58--86 (2020; Zbl 1465.12005)] enumerated the Hopf-Galois structures on any Galois extensions \(L/K\) of squarefree degree. One key ingredient of the proof is the classification of groups of squarefree order due to \textit{M. R. Murty} and \textit{V. K. Murty} [Math. Ann. 267, 299--309 (1984; Zbl 0531.10048)]. In particular, such groups are split metacyclic and their structures are fairly easy to understand. The paper under review takes the next natural step and considers non-normal separable extensions \(L/K\) of squarefree degree. This seems to be much harder than the Galois case because \(G\) no longer has squarefree order and there is no a priori classification of what \(G\) can be. Moreover, unlike Galois extensions, non-normal separable extensions might admit no Hopf-Galois structures at all. It was shown that for \(L/K\) (of squarefree degree) to admit at least one Hopf-Galois structure, necessarily \(G\) has derived length at most \(4\) (Theorem 3.3), but this condition is very far from being sufficient (Theorem 3.4). The paper under review then restricts to the special case when the degree is the product \(pq\) of two distinct odd primes \(p,q\) such that \(p = 2q + 1\) (so \(q\) is a Sophie Germain prime and \(p\) is a safeprime). There are only two groups \(N\) of order \(pq\), namely the cyclic group \(C_{pq}\) and the non-abelian split metacyclic group \(C_p\rtimes C_q\). For each of these two \(N\), the authors determined the possible \(G\) for which \(L/K\) admits a Hopf-Galois structure of type \(N\), and they counted the number of Hopf-Galois structures of type \(N\) for any such \(L/K\) (Tables 3 and 5).

Recommendations

• Hopf-Galois structures of squarefree degree
• Skew braces of size \(pq\)
• On ρ-conjugate Hopf–Galois structures
• On the connection between Hopf–Galois structures and skew braces
• Characteristic subgroup lattices and Hopf-Galois structures
• Uniqueness of hopf galois structure for separable field extensions
• Skew braces of squarefree order
• Skew left braces and isomorphism problems for Hopf–Galois structures on Galois extensions
• Counting Hopf Galois structures on non-abelian Galois field extensions
• Nilpotent and abelian Hopf-Galois structures on field extensions

Cites work

• Classification of the Hopf Galois structures on prime power radical extensions
• Computation of Hopf Galois structures on low degree separable extensions and classification of those for degrees \(p^2\) and \(2p\)
• Counterexample to a conjecture about braces.
• Counting Hopf-Galois structures on cyclic field extensions of squarefree degree
• Elementary Abelian Hopf Galois structures and polynomial formal groups.
• Fixed-point free pairs of homomorphisms and nonabelian Hopf-Galois structures
• Hopf algebras and Galois theory
• Hopf Galois theory for separable field extensions
• Hopf-Galois structures of squarefree degree
• Hopf-Galois structures on finite extensions with almost simple Galois group
• Hopf-Galois structures on Galois field extensions of degree pq.
• scientific article; zbMATH DE number 1489463 (Why is no real title available?)
• scientific article; zbMATH DE number 824935 (Why is no real title available?)
• Induced Hopf Galois structures
• On groups of squarefree order
• On Hopf Galois structures and complete groups
• On skew braces (with an appendix by N. Byott and L. Vendramin)
• On the hopf galois theory for separable field extensions
• Regular permutation groups of order \(mp\) and Hopf Galois structures
• Uniqueness of hopf galois structure for separable field extensions

Cited in

(7)

• On Hopf Galois structures and complete groups
• Counting Hopf-Galois structures on cyclic field extensions of squarefree degree
• Hopf-Galois structures of squarefree degree
• Bi-skew braces and Hopf Galois structures
• On the solvability of regular subgroups in the holomorph of a finite solvable group
• On the connection between Hopf–Galois structures and skew braces
• Hopf-Galois structures on separable field extensions of degree \(pq\)

This page was built for publication: Hopf-Galois structures on non-normal extensions of degree related to Sophie Germain primes

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