Related papers: Galois theory for H-extensions
Let $K$ be a finite field extension of $\Q$ and let $N$ be a finite group with automorphism group $F=\Aut(N)$. R. Haggenm\"{u}ller and B. Pareigis have shown that there is a bijection \[\Theta: {\mathcal Gal}(K,F)\rightarrow {\mathcal…
Hopf-Galois extensions of rings generalize Galois extensions, with the coaction of a Hopf algebra replacing the action of a group. Galois extensions with respect to a group $G$ are the Hopf-Galois extensions with respect to the dual of the…
We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…
One of the key points in Galois theory via field extensions is to build up a correspondence between subfields of a field and subgroups of its automorphism group, so as to study fields via methods of groups. As an analogue of the Galois…
When k is an algebraically closed field of characteristic 0 and H is a non-semisimple monomial Hopf algebra, we show that all Galois objects over H are determined up to H-comodule algebra isomorphism by their polynomial H-identities,…
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 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 discuss some of the basic ideas of Galois theory for commutative S-algebras originally formulated by John Rognes. We restrict attention to the case of finite Galois groups and to global Galois extensions. We describe parts of the general…
It shown that any coideal subalgebra of a finite dimensional Hopf algebra is a cyclic module over the dual Hopf algebra. Using this we describe all coideal subalgebras of a cocentral abelian extension of Hopf algebras extending some results…
Every Hopf-Galois 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…
For a Hopf-Galois structure on a Galois extension $L/K$ of fields that arises from a finite nilpotent $\mathbb{F}_p$-algebra $A$, we look at the Galois correspondence ratio, which measures the failure of surjectivity of the Galois…
In this paper, we give an explicit chain map, which induces the algebra isomorphism between the Hochschild cohomology ${\bf HH}^{\bullet}(B)$ and the $H$-invariant subalgebra ${\bf H}^{\bullet}(A, B)^{H}$ under two mild hypotheses, where…
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…
We introduce a condition for Hopf-Galois extensions that generalizes the notion of Kummer Galois extension. Namely, an $H$-Galois extension $L/K$ is $H$-Kummer if $L$ can be generated by adjoining to $K$ a finite set $S$ of eigenvectors for…
Let $H$ be a semisimple Hopf algebra, and let $R$ be a noetherian left $H$-module algebra. If $R/R^H$ is a right $H^*$-dense Galois extension, then the invariant subalgebra $R^H$ will inherit the AS-Cohen-Macaulay property from $R$ under…
In Hopf-Galois theory, every $H$-Hopf-Galois structure on a field extension $K/k$ gives rise to an injective map $\mathcal{F}$ from the set of $k$-sub-Hopf algebras of $H$ into the intermediate fields of $K/k$. Recent papers on the failure…
The Hopf-Galois structures admitted by a Galois extension of fields $ L/K $ with Galois group $ G $ correspond bijectively with certain subgroups of $ \mathrm{Perm}(G) $. We use a natural partition of the set of such subgroups to obtain a…
We provide necessary and sufficient conditions to extend the Hopf-Galois algebra structure on an algebra R to a generalized ambiskew ring based on R, in a way such that the added variables for the extension are skew-primitive in an…
Let $A$ be a unital associative algebra over a field $k$. All unital associative algebras containing $A$ as a subalgebra of a given codimension $\mathfrak{c}$ are described and classified. For a fixed vector space $V$ of dimension…
In this paper we present the general theory of cleft extensions for a cocommutative weak Hopf algebra $H$. For a weak left $H$-module algebra we obtain a bijective correspondence between the isomorphisms classes of $H$-cleft extensions…