Related papers: Coalgebra Extensions and Algebra Coextensions of G…

This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also…

This paper uses Galois maps to give a definition of generalized multiplier Hopf coquasigroups, and give a sufficient and necessary condition for a multiplier bialgebra to be a regular multiplier Hopf coquasigroup. Then coactions and…

For a given entwining structure $(A,C)_\psi$ involving an algebra $A$, a coalgebra $C$, and an entwining map $\psi: C\otimes A\to A\otimes C$, a category $\M_A^C(\psi)$ of right $(A,C)_\psi$-modules is defined and its structure analysed. In…

We introduce partial (co)actions of a Hopf algebra $H$ on an algebra. To this end, we introduce first the notion of lax coring, generalizing Wisbauer's notion of weak coring. We also have the dual notion of lax ring. Several duality results…

Let $S$ be the left $R$-bialgebroid of a depth two extension with centralizer $R$ as defined in math.QA/0108067. We show that the left endomorphism ring of depth two extension, not necessarily balanced, is a left $S$-Galois extension of…

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.…

To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural…

We introduce the concept of Hopf-Galois system, a reformulation of the notion of Galois extension of the base field for a Hopf algebra. The main feature of our definition is a generalization of the antipode of an ordinary Hopf algebra. The…

A coaction of a Hopf algebra on a unital algebra is called homogeneous if the algebra of coinvariants equals the ground field. A coaction of a Hopf algebra on a (not necessarily unital) algebra is called Galois, or principal, or free, if…

The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…

The work of Greither and Pareigis details the enumeration of the Hopf-Galois structures (if any) on a given separable field extension. For an extension $L/K$ which is classically Galois with $G=Gal(L/K)$ the Hopf algebras in question are of…

We study Hopf Galois extensions of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we introduce (skew-)regular comodules and generalize the structure theorem for relative Hopf modules. Also, we show that…

Some conditions for the Galois map to be injective are given in the groupoid acting on a noncommutative ring context. In the particular case in which the Galois extension is a central Galois algebra, it is given a complete characterization…

We continue the study of Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We concentrate on the geometrical side on the subject. We understand how to localize Hopf-Galois extensions and to paste them…

The internal bialgebroid -- in a symmetric monoidal category with coequalizers -- is defined. The axioms are formulated in terms of internal entwining structures and alternatively, in terms of internal corings. The Galois property of the…

The regular subgroup determining an induced Hopf Galois structure for a Galois extension $L/K$ is obtained as the direct product of the corresponding regular groups of the inducing subextensions. We describe here the associated Hopf algebra…

Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are…

We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily high degrees. This allows us to obtain a duality, in a certain…

We define comodule algebras and Galois extensions for actions of bialgebroids. Using just module conditions we characterize the Frobenius extensions that are Galois as depth two and right balanced extensions. As a corollary, we obtain…

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…