Hopf-Galois structures on Galois field extensions of degree \(pq\). (Q1428096): Difference between revisions

Let \(L/K\) be a Galois extension of fields with Galois group \(G\) of order \(pq\) where \(p,q\) are primes with \(p\equiv 1 \pmod q\). The author determines all the Hopf Galois structures on \(L/K\). If \(H\) is a \(K\)-Hopf algebra acting on \(L\), then \(L\otimes H\cong KN\) where \(N\) is a group of order \(pq\). Then \(H\) is said to have type \(N\). Since \(G\) and \(N\) each can be cyclic or the metacyclic non-trivial semidirect product of \(C_p\) and \(C_q\), there are four cases. If \(G\) is cyclic there are \(2q-1\) Hopf Galois structures, all but one of metacyclic type. If \(G\) is metacyclic there are \(2+2p(q-2)\) Hopf Galois structures of metacyclic type and \(p\) of cyclic type. The case where \(G\) is dihedral of order \(2p\), \(p\) an odd prime, or non-Abelian of order 21, are special cases. The author's strategy is to use ``Byott's translation'' to look for regular subgroups of \(\text{Hol}(N)\) isomorphic to \(G\). The author further stratifies the problem by looking for regular subgroups whose image under the homomorphism from \(\text{Hol}(N)\) to \(\Aut(N)\) has a given order \(m\), where, since \(\Aut(N)\) has order \(pq\), there are four choices for \(m\). (For a survey of earlier work on this question, see Chapter 2 of [\textit{L. N. Childs}, Taming wild extensions, Math. Surv. Monogr. 80 (2000; Zbl 0944.11038)].)