Hopf-Galois structures arising from groups with unique subgroup of order \(p\). (Q5963075)

Let \(X\) be a finite set and \(N\subset\mathrm{Perm}(X)\) a subgroup of the permutations of \(X\). If \(N\) acts transitively on \(X\) and each non-identity of \(N\) has no fixed points, then \(N\) is called regular. Let \(L/K\) be a separable field extension with Galois group \(\Gamma\). Then there exists a one-to-one correspondence \(N\to H\) (\(=L[N]^\Gamma\)) between the set of regular subgroups \(N\) of \(B\) (\(=\mathrm{Perm}(\Gamma)\)) such that \(\lambda(\Gamma)\subset\mathrm{Norm}_B(N)\) where \(\lambda\colon\Gamma\to B\) is the left regular representation of \(\Gamma\) in \(B\) and the set of the Hopf algebras which act to make \(L/K\) Hopf-Galois [\textit{C. Greither} and \textit{B. Pareigis}, J. Algebra 106, 239-258 (1987; Zbl 0615.12026)]. In case \(|\Gamma|=mp\) for a prime \(p\) greater than \(m\), the sets of these regular subgroups \(N\) of \(B\) are computed such that all such \(N\) lie within the normalizer of the Sylow \(p\)-subgroup of \(\lambda(\Gamma)\) [\textit{T. Kohl}, Algebra Number Theory 7, No. 9, 2203-2240 (2013; Zbl 1286.12002)]. In this paper, the author extends the computation of such regular subgroups \(N\) to a broader class of \(\Gamma\) such that \(|\Gamma|=mp\) and \((p,m)=1\). Let \([M]\) be the isomorphism class of a given group \(M\) of order \(|\Gamma|\), \(R(\Gamma,[M])=\{N\subset B\mid N\) regular, \(N\cong M,\) \(\lambda(\Gamma)\subset\mathrm{Norm}_B(N)\}\) and \(R(\Gamma)\) the union of the \(R(\Gamma,[M])\) over all isomorphism classes of groups \(M\). It is shown that assume that \(|\Gamma|=mp\), \(\gcd(p,m)=1\) and \((p,|\Aut(Q)|)=1\) for any group \(Q\) of order \(m\) and assume that any group of order \(mp\) has a unique Sylow \(p\)-subgroup \(P\). If \(N\in R(\Gamma)\), then \(N\subset\mathrm{Norm}_B(P)\). A procedure is then given to compute \(R(\Gamma)\) by replacing \(B\) with \(S_{mp}\) (\(=\mathrm{Perm}(\{1,\ldots,mp\}\)). The results are demonstrated with a wider class of groups \(\Gamma\) of order \(p_1p_2p_3\) for some primes \(p_i\) based upon the conditions on \(p\), \(m\) and \(|\Aut(Q)|\). Moreover, the class of groups of order \(p_1p_2p_3p_4\) is also discussed.