Related papers: Generalized (co)integrals on coideal subalgebras

We prove that a finite-dimensional cocommutative Hopf algebra $H$ is local, if and only if the subalgebra generated by the first term of its coradical filtration $H_1$ is local. In particular if $H$ is connected, $H$ is local if and only if…

Let d \subset d' be finite-dimensional Lie algebras, H = U(d), H'=U(d') the corresponding universal enveloping algebras endowed with the cocommutative Hopf algebra structure. We show that if L is a primitive Lie pseudoalgebra over H then…

Let $H$ and $L$ be quantum groupoids. If $H$ has a quasitriangular structure, then we show that $L$ induces a Hopf algebra $C_{L}(L_s)$ in the category $_{H}\mathcal{M}$, which generalizes the transmutation theory introduced by Majid.…

Motivated by the study of depth 2 Frobenius extensions we introduce a new notion of Hopf algebroid. It is a 2-sided bialgebroid with a bijective antipode which connects the two, left and right handed, structures. While all the interesting…

For a quantized enveloping algebra of a complex semisimple Lie algebra with deformation parameter not a root of unity, we classify all homogeneous right coideal subalgebras. Any such right coideal subalgebra is determined uniquely by a…

An algebra A with a generalized H-action is a generalization of an H-module algebra where H is just an associative algebra with 1 and a relaxed compatibility condition between the multiplication in A and the H-action on A holds. At first…

We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf…

Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (\pi,F) of a *-representation \pi of A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if…

Let A be a finite dimensional Hopf algebra and (H, R) a quasitriangular bialgebra. Denote by H^*_R a certain deformation of the multiplication of H^* via R. We prove that H^*_R is a quantum commutative left H\otimes H^{op cop}-module…

We describe the (co)homology of a certain family of normal subgroups of right-angled Artin groups that contain the commutator subgroup, as modules over the quotient group. We do so in terms of (skew) commutative algebra of squarefree…

Let $\mathbb{F}$ be a field and $\mathsf{G}$ a group. This work is inspired in the following problem: "{\it given a division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra, is there any other division (simple) $\mathsf{G}$-graded…

In this paper we consider some properties of semisimple Hopf algebras of dimension pq where p and q are distinct primes. These properties are useful for classification of such Hopf algebras. In particular, we show that for such a Hopf…

Motivated by the study of von Neumann regular skew groups as carried out by Alfaro, Ara and del Rio in 1995 we investigate regular and biregular Hopf module algebras. If $A$ is an algebra with an action by an affine Hopf algebra $H$, then…

We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we…

We propose a new method to investigate the dimension of the space of integrals on a Hopf algebra $H$ and other properties of $H$-comodules.

Let $(H, \a)$ be a monoidal Hom-Hopf algebra and $(A, \b)$ a right $(H, \a)$-Hom-comodule algebra. We first investigate the criterion for the existence of a total integral of $(A, \b)$ in the setting of monoidal Hom-Hopf algebras. Also we…

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…

We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…

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…

Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…