Related papers: Generic Hopf Galois extensions
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 study the relationship between antipodes on a Hopf algebroid $\mathcal{H}$ in the sense of B\"ohm-Szlachanyi and the group of twists that lies inside the associated convolution algebra. We specialize to the case of a faithfully flat…
We study the push-forward of Hopf--Galois extensions as the algebraic counterpart of the pullback of principal bundles. We apply the theory of twisted tensor product algebras to endow covariant extensions of modules along a map $\mathsf{F}$…
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…
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 if both A and H are flat Mittag--Leffler modules. We also provide new criteria…
As is known to all, Hopf-Galois objects have a significant research value for analyzing tensor categories of comodules and classification questions of pointed Hopf algebras, and are natural generalizations of Hopf algebras with a…
In this note, we construct a family of semisimple Hopf algebras $H_{n,m}$ of dimension $n^m m!$ over a field of characteristic zero containing a primitive $n$th root of unity, where $n, m \geq 2$ are integers. The well-known…
The notions of a cleft extension and a cross product with a Hopf algebroid are introduced and studied. In particular it is shown that an extension (with a Hopf algebroid $H= (H_L,H_R)$) is cleft if and only if it is $H_R$-Galois and has a…
Recently, S. Meljanac proposed a construction of a class of examples of an algebraic structure with properties very close to the Hopf algebroids $H$ over a noncommutative base $A$ of other authors. His examples come along with a subalgebra…
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…
To a finite Hopf-Galois extension $A | B$ we associate dual bialgebroids $S := \End_BA_B$ and $T := (A \o_B A)^B$ over the centralizer $R$ using the depth two theory in math.RA/0108067. First we extend results on the equivalence of certain…
A pseudo-Galois extension is shown to be a depth two extension. Studying its left bialgebroid, we construct an enveloping Hopf algebroid for the semi-direct product of groups, or more generally involutive Hopf algebras, and their module…
It is shown that a Hopf algebra over a field admitting a Galois extension separable over its subalgebra of coinvariants is of finite dimension. This answers in the affirmative a question posed by Beattie et al. in [{\it Proc. Amer. Math.…
In this article, we determine cocycle deformations and Galois objects of non-commutative and non-cocommutative semisimple Hopf algebras of dimension $16$. We show that these Hopf algebras are pairwise twist inequivalent mainly by…
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…
We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing…
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…
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…
Let G be the group of all formal power series starting with x with coefficients in a field k of zero characteristic (with the composition product), and let F[G] be its function algebra. C. Brouder and A. Frabetti introduced a…
The exact sequence of ``coordinate-ring'' Hopf algebras A(SL(2,C)) -> A(SL_q(2)) -> A(F) determined by the Frobenius map Fr, and the same way obtained exact sequence of (quantum) Borel subgroups, are studied when q is a cubic root of unity.…