Regular permutation groups of order \(mp\) and Hopf Galois structures (Q2435291)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Regular permutation groups of order \(mp\) and Hopf Galois structures
scientific article

    Statements

    Regular permutation groups of order \(mp\) and Hopf Galois structures (English)
    0 references
    0 references
    4 February 2014
    0 references
    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)].
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    regular permutation group
    0 references
    Hopf-Galois extension, holomorph
    0 references
    0 references