Related papers: Generalized (co)integrals on coideal subalgebras
For $A$ a Hopf algebra of arbitrary dimension over a field $K$, it is well-known that if $A$ has nonzero integrals, or, in other words, if the coalgebra $A$ is co-Frobenius, then the space of integrals is one-dimensional and the antipode of…
We establish a one to one correspondence between idempotent states on a locally compact quantum group G and integrable coideals in the von Neumann algebra of bounded measurable functions on G that are preserved by the scaling group. In…
We classify finite-dimensional complex Hopf algebras $A$ which are pointed, that is, all of whose irreducible comodules are one-dimensional, and whose group of group-like elements $G(A)$ is abelian such that all prime divisors of the order…
Let $A$ be a Hopf algebra equipped with a projection onto the coordinate Hopf algebra $\mathcal{O}(G)$ of a semisimple algebraic group $G$. It is shown that if $A$ admits a suitably non-degenerate comodule $V$ and the induced $G$-module…
We investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this…
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…
For the Borel part of a quantized enveloping algebra we classify all right coideal subalgebras for which the intersection with the coradical is a Hopf algebra. The result is expressed in terms of characters of the subalgebras $U^+[w]$ of…
Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is…
For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and…
In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which…
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…
The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp…
We prove the existence of the Hopf PI-exponent for finite dimensional associative algebras $A$ with a generalized Hopf action of an associative algebra $H$ with $1$ over an algebraically closed field of characteristic $0$ assuming only the…
Using the standard filtration associated with a generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf subalgebra isomorphic…
Let $G$ be a group and assume that $(A_p)_{p\in G}$ is a family of algebras with identity. We have a {\it Hopf $G$-coalgebra} (in the sense of Turaev) if, for each pair $p,q\in G$, there is given a unital homomorphism $\co_{p,q}:A_{pq}\to…
Let G be an exceptional Lie group with a maximal torus T. Based on common properties in the Schubert presentation of the cohomology ring H*(G/T;F_{p}) DZ1, and concrete expressions of generalized Weyl invariants for G over F_{p}, we obtain…
Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do…
A subspace H of a Leibniz algebra L is called a quasi-ideal if [H;K] + [K;H] \subseteq H + K for every subspace K of L. They include ideals and subalgebras of codimension one in L. Quasi-ideals of Lie algebras were classified in two…
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…
Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$. We show that the antipode $S$ of $H$ satisfies the equality $S^2(h)=\mathbf{u}h\mathbf{u}^{-1}$, where…