Hopf Galois structures on symmetric and alternating extensions (Q1667975)

The notion of Hopf Galois structures was introduced by [\textit{S. U. Chase} and \textit{M. E. Sweedler}, Hopf algebras and Galois theory. Berlin etc.: Springer-Verlag (1969; Zbl 0197.01403)], and Hopf Galois structures on separable extensions were classified in terms of regular subgroups by [\textit{C. Greither} and \textit{B. Pareigis}, J. Algebra 106, 239--258 (1987; Zbl 0615.12026)]. Using Greither-Pareigis theory, the paper under review considers the types of Hopf Galois structures that can occur on a Galois extension \(K/k\) whose Galois group is the alternating group \(A_4,A_5\) or the symmetric group \(S_4,S_5\). As stated in Propositions 4 and 5, the main results are the following. \begin{itemize} \item[1.] If \(K/k\) has Galois group \(A_4\), then the types of Hopf Galois structures on \(K/k\) which occur are precisely \(A_4\) and \(C_3\times V_4\). \item[2.] If \(K/k\) has Galois group \(S_4\), then the types of Hopf Galois structures on \(K/k\) which occur are precisely \(S_4, A_4\times C_2, S_3\times V_4\), and \(C_6\times V_4\). \item[3.] If \(K/k\) has Galois group \(A_5\), then the only type of Hopf Galois structures on \(K/k\) which occurs is \(A_5\). \item[4.] If \(K/k\) has Galois group \(S_5\), then the types of Hopf Galois structures on \(K/k\) which occur are precisely \(S_5\) and \(A_5\times C_2\). \end{itemize} The proofs use the idea of induced Hopf Galois structures. The main tools to show non-existence and existence, respectively, of a given type are [\textit{A. Koch} et al., Commun. Algebra 47, No. 5, 2086--2101 (2019; Zbl 1430.16034)] and [\textit{T. Crespo} et al., J. Algebra 457, 312--322 (2016; Zbl 1408.16024)]. \textbf{Remarks.} \begin{itemize} \item If \(K/k\) has Galois group \(A_n\) for any \(n\geq 5\), then it is a special case of [\textit{N. P. Byott}, Bull. Lond. Math. Soc. 36, No. 1, 23--29 (2004; Zbl 1038.12002)] that the only type of Hopf Galois structures on \(K/k\) which occurs is \(A_n\). \item If \(K/k\) has Galois group \(S_n\) for any \(n\geq 5\), then it was shown by the reviewer in [\textit{C. Tsang}, J. Algebra 531, 349--360 (2019; Zbl 1472.12002)] that the types of Hopf Galois structures on \(K/k\) which occur are precisely \(S_n\) and \(A_n\times C_2\), except for \(n=6\) in which case the Mathieu group \(M_{10}\) also occurs. \end{itemize}