
We discuss isomorphism questions concerning the Hopf algebras that yield
HopfGalois 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 give explicit descriptions of the Hopf algebras which act on $L/K$. We also
determine when two such Hopf algebras are isomorphic, either as Hopf algebras
or as algebras. For the case $p=3$ and a chosen $L/K$, we give the
WedderburnArtin decompositions of the Hopf algebras.

Every HopfGalois structure on a finite Galois extension $K/k$ where
$G=Gal(K/k)$ corresponds uniquely to a regular subgroup $N\leq
B=\operatorname{Perm}(G)$, normalized by $\lambda(G)\leq B$, in accordance with
a theorem of Greither and Pareigis. The resulting Hopf algebra which acts on
$K/k$ is $H_N=(K[N])^{\lambda(G)}$. For a given such $N$ we consider the
HopfGalois structure arising from a subgroup $P\triangleleft N$ that is also
normalized by $\lambda(G)$. This subgroup gives rise to a Hopf subalgebra
$H_P\subseteq H_N$ with fixed field $F=K^{H_P}$. By the work of Chase and
Sweedler, this yields a HopfGalois structure on the extension $K/F$ where the
action arises by base changing $H_P$ to $F\otimes_k H_P$ which is an $F$Hopf
algebra. We examine this analogy with classical Galois theory, and also examine
how the HopfGalois structure on $K/F$ relates to that on $K/k$. We will also
pay particular attention to how the GreitherPareigis enumeration/construction
of those $H_P$ acting on $K/F$ relates to that of the $H_N$ which act on $K/k$.
In the process we also examine short exact sequences of the Hopf algebras which
act, whose exactness is directly tied to the descent theoretic description of
these algebras.

Let $R$ be a characteristic $p$ discrete valuation ring with field of
fractions $K$. Let $H$ be a commutative, cocommutative $K$Hopf algebra of
$p$power rank which is generated as a $K$algebra by primitive elements. We
construct all of the $R$Hopf orders of $H$ in $K$; each Hopf order corresponds
to a solution to a single matrix equation. For $R$ complete, we give explicit
examples of Hopf orders in some rank $p^2$ $K$Hopf algebras.

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 extension in numerous ways. For a certain collection of such $H$ we
construct "Hopf Galois scaffolds" which allow us to obtain a Hopf analogue to
the Normal Basis Theorem for $L/K.$ The existence of a scaffold structure
depends on the chosen action of $H$ on $L.$ We apply the theory of scaffolds to
describe when the fractional ideals of $L$ are free over their associated
orders in $H.$

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 choices of $H$. We construct a family of $K$Hopf algebras $H$ for
which $L$ is an $H$Galois object. For some choices of $K$ we will exhibit an
infinite number of such $H.$ We provide some explicit examples of the dual,
Hopf Galois, structure on $L/K.$

For $K$ an extension of $\mathbb{Q}_{p}$ with ring of integers $R$ we show
how BreuilKisin modules can be used to determine Hopf orders in $K$Hopf
algebras of $p$power dimension. We find all cyclic BreuilKisin modules, and
use them to compute all of the Hopf orders in the group ring $K\Gamma$ where
$\Gamma$ is cyclic of order $p$ or $p^{2}.$ We also give a Laurent series
interpretation of the BreuilKisin modules that give these Hopf orders.