Related papers: Depth Two and the Galois Coring

We classify skew braces that are the semidirect product of an ideal and a left ideal. As a consequence, given a Galois extension of fields $ L/K $ whose Galois group is the semidirect product of a normal subgroup $ A $ and a subgroup $ B $,…

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…

We construct a cycle in higher Hochschild homology associated to the 2-dimensional torus which represents 2-holonomy of a non-abelian gerbe in the same way the ordinary holonomy of a principal G-bundle gives rise to a cycle in ordinary…

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are…

A subalgebra pair of semisimple complex algebras B < A with inclusion matrix M is depth two if MM^t M < nM for some positive integer n and all corresponding entries. If A and B are the group algebras of finite group-subgroup pair H < G, the…

To generalize the notion of Galois closure for separable field extensions, we devise a notion of $G$-closure for algebras of commutative rings $R\to A$, where $A$ is locally free of rank $n$ as an $R$-module and $G$ is a subgroup of…

By work of C. Greither and B. Pareigis as well as N. P. Byott, the enumeration of Hopf-Galois structures on a Galois extension of fields with Galois group $G$ may be reduced to that of regular subgroups of $\mbox{Hol}(N)$ isomorphic to $G$…

A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,\mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper we present a program written in the computational algebra system…

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…

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…

A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…

Let H be a finite dimensional Hopf algebra over a field K. In this paper, we study when an H-extension becomes a tame H-extension by calculating Hopfological homology and Hopf-cyclic homology. In the (derived) category of H'-comodules for a…

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl2), U_q(sl2) and the enveloping…

In this article we study the bicanonical map $\phi_2$ of quadruple Galois canonical covers X of surfaces of minimal degree. We show that $\phi_2$ has diverse behavior and exhibit most of the complexities that are possible for a bicanonical…

Let $S$ be an unramified regular local ring of mixed characteristic two and $R$ the integral closure of $S$ in a biquadratic extension of its quotient field obtained by adjoining roots of sufficiently general square free elements $f,g\in…

Given an abelian algebraic group $A$ over a global field $F$, $\alpha \in A(F)$, and a prime $\ell$, the set of all preimages of $\alpha$ under some iterate of $[\ell]$ generates an extension of $F$ that contains all $\ell$-power torsion…

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…

A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is…

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…

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…