Related papers: Commuting Hopf-Galois Structures on a Separable Ex…
We give a degree 8 separable extension having two non-isomorphic Hopf-Galois structures with isomorphic underlying Hopf algebras.
Let $L/K$ be a finite, totally ramified $p$-extension of complete local fields with residue fields of characteristic $p > 0$, and let $A$ be a $K$-algebra acting on $L$. We define the concept of an $A$-scaffold on $L$, thereby extending and…
The past few years have seen Hopf--Galois structures on extensions of squarefree degree studied in various contexts. The Galois case was fully explored by Alabdali and Byott in 2020, followed by a first attempt at generalising these results…
Cyclic, ramified extensions $L/K$ of degree $p$ of local fields with residue characteristic $p$ are fairly well understood. Unless $\mbox{char}(K)=0$ and $L=K(\sqrt[p]{\pi_K})$ for some prime element $\pi_K\in K$, they are defined by an…
We determine the Hopf Galois structures on a Galois field extension of degree twice an odd prime square and classify the corresponding left braces. Besides we determine the separable field extensions of degree twice an odd prime square…
The objects of study in this paper are Hopf algebras $H$ which are finitely generated algebras over an algebraically closed field and are extensions of a commutative Hopf algebra by a finite dimensional Hopf algebra. Basic structural and…
We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the…
We introduce Galois Theory for Hopf-Galois Extensions proving existence of a Galois connection between subalgebras of an H-comodule algebra and generalised quotients of the Hopf algebra H. Moreover, we show that these quotients Q which…
Let $L/K$ be a finite Galois extension of local fields. The Hasse-Arf theorem says that if Gal$(L/K)$ is abelian then the upper ramification breaks of $L/K$ must be integers. We prove the following converse to the Hasse-Arf theorem: Let $G$…
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…
For an odd prime number $p$, we consider degree $p$ extensions $L/K$ of $p$-adic fields with normal closure $\widetilde{L}$ such that the Galois group of $\widetilde{L}/K$ is the dihedral group of order $2p$. We shall prove a complete…
The Hopf-Galois structures on normal extensions $K/k$ with $G=Gal(K/k)$ are in one-to-one correspondence with the set of regular subgroups $N\leq B=Perm(G)$ that are normalized by the left regular representation $\lambda(G)\leq B$. Each…
An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L…
Let $L/K$ be a finite Galois extension of fields with group $\Gamma$. Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $\Gamma$. The type of the Hopf-Galois structure is by definition…
We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H. We also show that Q-Galois subextensions are closed elements of the…
This paper justifies an assertion in (Elder, Proc AMS 137 (2009), no 4, 1193--1203) that Galois scaffolds make the questions of Galois module structure tractable. Let $k$ be a perfect field of characteristic $p$ and let $K=k((T))$. For the…
Let $K$ be a local field and let $L/K$ be a totally ramified Galois extension of degree $p^n$. Being semistable and possessing a Galois scaffold are two conditions which facilitate the computation of the additive Galois module structure of…
We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…
For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…
For $p$ a prime and $a\in\mathbb{Q}$, where $a$ is not a $p^n$-th power of any rational number, the extension $\mathbb{Q}(w_n)/\mathbb{Q}$ where $w_n=\root p^n \of a$ is separable but non-normal. The Hopf-Galois theory for separable…