Automatic realization of Hopf Galois structures

Abstract

We consider Hopf Galois structures on a separable field extension [Formula: see text] of degree [Formula: see text], for [Formula: see text] an odd prime number, [Formula: see text]. For [Formula: see text], we prove that [Formula: see text] has at most one abelian type of Hopf Galois structures. For a nonabelian group [Formula: see text] of order [Formula: see text], with commutator subgroup of order [Formula: see text], we prove that if [Formula: see text] has a Hopf Galois structure of type [Formula: see text], then it has a Hopf Galois structure of type [Formula: see text], where [Formula: see text] is an abelian group of order [Formula: see text] and having the same number of elements of order [Formula: see text] as [Formula: see text], for [Formula: see text].