Related papers: Subgroup depth and twisted coefficients

In arXiv:1210.3178 it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf…

In this paper we explore the concept of depth of a ring extension when the overall algebra factorises as a product of two subalgebras, in particular the case of finite dimensional Hopf algebras. As a result we generalise the results by…

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…

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…

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…

We study the cyclic module ${}_SR$ for a ring extension $A \| B$ with centralizer $R$ and bimodule endomorphism ring $S = End {}_BA_B$. We show that if $A \| B$ is an H-separable Hopf subalgebra, then $B$ is a normal Hopf subalgebra of $A$.…

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…

An algebra extension $A \| B$ is right depth two in this paper if its tensor-square is $A$-$B$-isomorphic to a direct summand of any (not necessarily finite) direct sum of $A$ with itself. For example, normal subgroups of infinite groups,…

The Green ring of the half quantum group $H=U_n(q)$ is computed in [Chen, Van Oystaeyen, Zhang]. The tensor product formulas between indecomposables may be used for a generalized subgroup depth computation in the setting of quantum groups…

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…

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…

Let $H$ be a finite dimensional Hopf algebra, and let $A$ be a left $H$-module algebra. Motivated by the study of the isolated singularities of $A^H$ and the endomorphism ring $\mathrm{End}_{A^H}(A)$, we introduce the concept of Hopf dense…

Let $H$ be a Hopf algebra. Ju and Cai introduced the notion of twisting of an $H$-module coalgebra. In this note, we study the relationship between twistings, crossed coproducts and Hopf-Galois coextensions. In particular, we show that a…

Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division…

The depth of a subgroup $H$ of a finite group $G$ is a positive integer defined with respect to the inclusion of the corresponding complex group algebras $\mathbb{C}H \subseteq \mathbb{C}G$. This notion was originally introduced by Boltje,…

Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary…

An algebra extension A | B is right depth two if its tensor-square A\otimes_B A is in the Dress category Add A as A-B-bimodules. We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of…

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…

We reduce certain proofs in math.RA/0108067, math.RA/0408155, and math.QA/0409589 to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids…

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…