Computation of Hopf Galois structures on low degree separable extensions and classification of those for degrees p^2 and 2p

DOI10.5565/PUBLMAT6412005MaRDI QIDQ2302173zbMATH OpenFDO

Authors Teresa Crespo, Marta Salguero

Publication date 25 February 2020

Published in Publicacions Matemàtiques (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.09948, https://projecteuclid.org/euclid.pm/1578020433

zbMATH Keywords

computational algebra system MagmaGalois theoryHopf algebra

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Hopf algebras and their applications (16T05)

Abstract: A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $mu$ a Hopf action. In this paper we present a program written in the computational algebra system Magma which gives all Hopf Galois structures on separable field extensions of degree up to eleven and several properties of those. Besides, we exhibit several results on Hopf Galois structures inspired by the program output. We prove that if $(H,mu)$ is an almost classically Hopf Galois structure, then it is the unique Hopf Galois structure with underlying Hopf algebra $H$, up to isomorphism. For $p$ an odd prime, we prove that a separable extension of degree $p^2$ may have only one type of Hopf Galois structure and determine those of cyclic type; we determine as well the Hopf Galois structures on separable extensions of degree $2p$. We highlight the richness of the results obtained for extensions of degree 8 by computing an explicit example and presenting some tables which summarizes these results.

Recommendations

• Computation of Hopf Galois structures on separable extensions and classification of those for degree twice an odd prime power
• Hopf Galois structures on degree \(p^ 2\) cyclic extensions of local fields
• Integral Hopf-Galois structures on degree \(p^2\) extensions of \(p\)-adic fields
• Hopf-Galois structures on almost cyclic field extensions of 2-power degree
• Commuting Hopf-Galois structures on a separable extension
• Hopf-Galois structures on Galois field extensions of degree pq.
• Hopf Galois structures on separable field extensions of odd prime power degree
• Hopf-Galois structures on finite extensions with almost simple Galois group
• Hopf-Galois structures on a Galois \(S_n\)-extension
• scientific article; zbMATH DE number 2164134

Cited in

(7)

• Hopf-Galois structures on extensions of degree \(p^2q\) and skew braces of order \(p^2q\): the cyclic Sylow \(p\)-subgroup case
• Hopf-Galois structures on non-normal extensions of degree related to Sophie Germain primes
• From Galois to Hopf Galois: theory and practice
• Computation of Hopf Galois structures on separable extensions and classification of those for degree twice an odd prime power
• On insoluble transitive subgroups in the holomorph of a finite soluble group
• Hopf-Galois structures on separable field extensions of degree \(pq\)
• Classification of small binary bibraces via bilinear maps

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Computation of Hopf Galois structures on low degree separable extensions and classification of those for degrees \(p^2\) and \(2p\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2302173)