arXiv subjects

Marta Salguero

Publications and source records attributed to Marta Salguero.

4 recordsLinked to original sources

arXiv2019

Computation of Hopf Galois structures on separable extensions and classification of those for degree twice an odd prime power

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 a given degree and several properties of those. We show a table which summarizes the program results. Besides, for separable field extensions of degree $2p^n$, with $p$ an odd prime number, we prove that the occurrence of some type of Hopf Galois structure may either imply or exclude the occurrence of some other type. In particular, for separable field extensions of degree $2p^2$, we determine exactly the possible sets of Hopf Galois structure types.

math.GR↗

arXiv2018

Hopf Galois structures on separable field extensions of odd prime power degree

A Hopf Galois structure on a finite field extension $L/K$ is a pair $(\mathcal{H},μ)$, where $\mathcal{H}$ is a finite cocommutative $K$-Hopf algebra and $μ$ a Hopf action. In this paper, we present several results on Hopf Galois structures on odd prime power degree separable field extensions. We prove that if a separable field extension of odd prime power degree has a Hopf Galois structure of cyclic type, then it has no structure of noncyclic type. We determine the number of Hopf Galois structures of cyclic type on a separable field extension of degree $p^n$, $p$ an odd prime, such that the Galois group of its normal closure is a semidirect product $C_{p^n}\rtimes C_D$ of the cyclic group of order $p^n$ and a cyclic group of order $D$, with $D$ prime to $p$. We characterize the transitive groups of degree $p^3$ which are Galois groups of the normal closure of a separable field extension having some cyclic Hopf Galois structure and determine the number of those. We prove that if a separable field extension of degree $p^3$ has a nonabelian Hopf Galois structure then it has an abelian structure whose type has the same exponent as the nonabelian type. We obtain that, for $p>3$, the two abelian noncyclic Hopf Galois structures do not occur on the same separable extension of degree $p^3$. We present a table which gives the number of Hopf Galois structures of each possible type on a separable extension of degree $27$ to illustrate that for $p=3$, all four noncyclic Hopf Galois structures may occur on the same extension. Finally, putting together all previous results, we list all possible sets of Hopf Galois structure types on a separable extension of degree $p^3$, for $p>3$ a prime.

math.GR↗

arXiv2018

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

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 $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.

math.GR↗

arXiv2017

An algorithm to determine Hopf Galois structures

A Hopf Galois structure on a finite field extension L/K is given by a finite cocommutative K-Hopf algebra and a Hopf action. In this paper we present an algorithm written in the computational algebra system Magma which gives all Hopf Galois structures on separable field extensions of a given degree and several properties of those. We describe the results obtained for extensions of degree up to 11. Besides, we prove that separable extensions of degree equal to the square of an odd prime have at most one type of Hopf Galois structures.

math.GR↗