Computation of Hopf Galois structures on low degree separable extensions and classification of those for degrees p2 and 2p
-
Autores: Teresa Crespo Vicente
, Marta Salguero García
- Localización: Publicacions matematiques, ISSN 0214-1493, Vol. 64, Nº 1, 2020, págs. 121-141
- Idioma: inglés
- DOI: 10.5565/publmat6412005
- Enlaces
-
Resumen
A Hopf Galois structure on a finite field extension L/K is a pair (H,µ), where H is a finite cocommutative K-Hopf algebra and µ 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,µ) 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 p2 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 summarize these results.
