Related papers: Automatic realization of Hopf Galois structures

A Hopf Galois structure on a finite field extension $L/K$ is a pair $(\mathcal{H},\mu)$, where $\mathcal{H}$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper, we present several results on Hopf Galois…

Let $L/K$ be a Galois extension of fields with Galois group $G$, an elementary abelian $p$-group of rank $n$ for $p$ an odd prime. It is known that nilpotent $\mathbb{F}_p$-algebra structures $A$ on $G$ yield regular subgroups of the…

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…

In 2020, Alabdali and Byott described the Hopf-Galois structures arising on Galois field extensions of squarefree degree. Extending to squarefree separable, but not necessarily normal, extensions $L/K$ is a natural next step. One must…

Let $L/K$ be a primitive purely inseparable extension of fields of characteristic $p$, $\left[ L:K\right] >p.$ It is well known that $L/K$ is Hopf Galois for some Hopf algebra $H$, and it is suspected that $L/K$ is Hopf Galois for numerous…

Let $L/K$ be a finite Galois extension whose Galois group $G$ is non-abelian and characteristically simple. Using tools from graph theory, we shall give a closed formula for the number of Hopf-Galois structures on $L/K$ with associated…

Let $ L/K $ be a finite separable extension of fields whose Galois closure $ E/K $ has group $ G $. Greither and Pareigis have used Galois descent to show that a Hopf algebra giving a Hopf-Galois structure on $ L/K $ has the form $ E[N]^{G}…

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…

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…

Let $L/K$ be a finite Galois extension of fields with Galois group $G$. It is known that $L/K$ admits exactly two Hopf-Galois structures when $G$ is non-abelian simple. In this paper, we extend this result to the case when $G$ is…

Let $L/K$ be a finite separable extension of fields of degree $n$, and let $E/K$ be its Galois closure. Greither and Pareigis showed how to find all Hopf--Galois structures on $L/K$. We will call a subextension $L'/K$ of $E/K$…

We consider Hopf-Galois structures on separable (but not necessarily normal) field extensions $L/K$ of squarefree degree $n$. If $E/K$ is the normal closure of $L/K$ then $G=\mathrm{Gal}(E/K)$ can be viewed as a permutation group of degree…

We investigate Hopf-Galois structures on a cyclic field extension $L/K$ of squarefree degree $n$. By a result of Greither and Pareigis, each such Hopf-Galois structure corresponds to a group of order $n$, whose isomorphism class we call the…

Let $L/K$ be a finite Galois extension of local or global fields in characteristic $0$ or $p$ with nonabelian Galois group $G$, and let ${\mathfrak B}$ be a $G$-stable fractional ideal of $L$. We show that ${\mathfrak B}$ is free over its…

Let $p$ be an odd prime number. For a degree $p$ extension of $p$-adic fields $L/K$, we give a complete characterization of the condition for the ring of integers $\mathcal{O}_L$ to be free as a module over its associated order in the…

We discuss isomorphism questions concerning the Hopf algebras that yield Hopf-Galois structures for a fixed separable field extension $L/K$. We study in detail the case where $L/K$ is Galois with dihedral group $D_p$, $p\ge 3$ prime and…

We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we…

Let $p$ be a prime number and let $n$ be an integer not divisible by $p$ and such that every group of order $np$ has a normal subgroup of order $p$. (This holds in particular for $p>n$.) We prove that left braces of size $np$ may be…

Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K\right] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the…

Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the…