Related papers: Projectivity and freeness over comodule algebras

For a quasi-triangular Hopf algebra $\left( H,R\right) $, there is a notion of transmuted braided group $H_{R}$ of $H$ introduced by Majid. The transmuted braided group $H_{R}$ is a Hopf algebra in the braided category $_{H}\mathcal{M}$.…

A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfils a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be…

Grothendieck-Verdier duality is a powerful and ubiquitous structure on monoidal categories, which generalises the notion of rigidity. Hopf algebroids are a generalisation of Hopf algebras, to a non-commutative base ring. Just as the…

Like its precursor this paper is concerned with the Hopf algebra of noncommutative symmetric functions and its graded dual, the Hopf algebra of quasisymmetric functions. It complements and extends the previous paper but is also…

Let A be a comodule algebra for a finite dimensional Hopf algebra K over an algebraically closed field k, and let A^K be the subalgebra of invariants. Let Z be a central subalgebra in A, which is a domain with quotient field Q. Assume that…

Parabosonic algebra in infinite degrees of freedom is presented as a generalization of the bosonic algebra, from the viewpoints of both physics and mathematics. The notion of super-Hopf algebra is shortly discussed and the super-Hopf…

For an algebraic compact quantum group $H$ we establish a bijection between the set of right coideal $*$-subalgebras $A\to H$ and that of left module quotient $*$-coalgebras $H\to C$. It turns out that the inclusion $A\to H$ always splits…

Let $H$ be a finite dimensional semisimple Hopf algebra, $A$ a differential graded (dg for short) $H$-module algebra. Then the smash product algebra $A\#H$ is a dg algebra. For any dg $A\#H$-module $M$, there is a quasi-isomorphism of dg…

Given a Hopf algebra $H$, Brzezi\'nski and Militaru have shown that each braided commutative Yetter-Drinfeld $H$-module algebra $A$ gives rise to an associative $A$-bialgebroid structure on the smash product algebra $A \sharp H$. They also…

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…

We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a…

Let $H$ be a Hopf algebra over a field $k$ with a bijective antipode. It is proved that the Gorenstein global dimension of $H$ coincides with the Gorenstein projective dimension of the trivial left (or right) $H$-module $k$. Then, $H$ is…

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…

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…

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…

Kaplansky conjectured that if H is a finite-dimensional semisimple Hopf algebra over an algebraically closed field k of characteristic 0, then H is of Frobenius type (i.e. if V is an irreducible representation of H then dimV divides dimH).…

Recently R. Cohen and V. Godin have proved that the homology of the free loop space of a closed oriented manifold with coefficients in a field has the structure of a Frobenius algebra without counit. In this short note we prove that when…

We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a…

Comodules over Hopf algebroids are of central importance in algebraic topology. It is well-known that a Hopf algebroid is the same thing as a presheaf of groupoids on Aff, the opposite category of commutative rings. We show in this paper…

We study the Hopf algebra of double posets and two of its Hopf subalgebras, the Hopf algebras of plane posets and of posets "without N". We prove that they are free, cofree, self-dual, and we give an explicit Hopf pairing on these Hopf…