Regular permutation groups of order \(mp\) and Hopf Galois structures (Q2435291): Difference between revisions

Let \(L/K\) be a finite Galois extension of fields with Galois group \(\Gamma = \text{Gal}(L/K)\) and \(K[\Gamma]\) the group ring of \(\Gamma\) over \(K\). It is known that \(L/K\) is a \(K[\Gamma]\)-Hopf Galois extension and the Hopf Galois structures on \(L/K\) are in direct correspondence with the regular subgroups \(N \leq \text{Perm}(\Gamma)\) normalized by \(\lambda(\Gamma)\) where \(\lambda\) is the left action of \(\Gamma\) on \(\Gamma\) \textit{C. Greither} and \textit{B. Pareigis} [J. Algebra 106, 239--258 (1987; Zbl 0615.12026)]. The author computes these regular subgroups of \(\text{Perm}(\Gamma)\) for the order of \(\Gamma = mp\) where \(p\) is prime and \(p \gg m\). Let \(P\) be the unique \(p\)-Sylow subgroup of order \(p\), and \(\lambda(\Gamma) = PQ\) where \(Q\) is the complement of \(P\) in \(\lambda(\Gamma)\). Then every regular subgroup \(N\) of \(B (= \text{Perm}(\Gamma))\) normalized by \(\lambda(\Gamma)\) is contained in \(\text{Norm}_B(P)\), the normalizer of \(P\) in \(B\). The group \(\text{Norm}_B(P)\) is smaller than the symmetric group \(\text{Perm}(\Gamma) \cong S_{mp}\). Moreover, it is shown that the group \(\text{Norm}_B(P)\) is identified as a semi-direct product and as a subgroup of the affine group of \(F_p^m\). Then applications are given to determine all regular subgroups of \(\text{Perm}(\Gamma)\) normalized by \(\lambda(\Gamma)\) where the order of \(\Gamma = pq\), distinct primes by a different method from \textit{N. P. Byott} [J. Pure Appl. Algebra 188, No. 1--3, 45--57 (2004; Zbl 1047.16022)], and the order of \(\Gamma = mp\) with \(m = 2q, \;q\) prime and \(p = 2q+1\) prime. This extends the work by \textit{L. N. Childs} [New York J. Math. 9, 99--115 (2003; Zbl 1038.12003)].