Related papers: A $q$-Identity Related to a Comodule
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…
The objects of study in this paper are Hopf algebras $H$ which are finitely generated algebras over an algebraically closed field and are extensions of a commutative Hopf algebra by a finite dimensional Hopf algebra. Basic structural and…
It is shown in math.QA/0301027 that a finite dimensional quasi-Hopf algebra with radical of codimension 1 is semisimple and 1-dimensional. On the other hand, there exist quasi-Hopf (in fact, Hopf) algebras, whose radical has codimension 2.…
The quantum co-ordinate algebra $A_{q}(\mathfrak{g})$ associated to a Kac-Moody Lie algebra $\mathfrak{g}$ forms a Hopf algebra whose comodules are precisely the $U_{q}(\mathfrak{g})$ modules in the BGG category…
Algebras simple with respect to an action of a Taft algebra $H_{m^2}(\zeta)$ deliver an interesting example of $H$-module algebras that are $H$-simple but not necessarily semisimple. We describe finite dimensional $H_{m^2}(\zeta)$-simple…
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…
In this paper we establish a $q$-analogue of a congruence of Sun concerning the products of binomial coefficients modulo the square of a prime.
We study the de-equivariantization of a Hopf algebra by an affine group scheme and we apply Tannakian techniques in order to realize it as the tensor category of comodules over a coquasi-bialgebra. As an application we construct a family of…
In the recent definition of Hom-Hopf algebras the antipode S is the relative Hominverse of the identity map with respect to the convolution product. We observe that some fundamental properties of the antipode of Hopf algebras and Hom-Hopf…
The Hopf algebra generated by the l-functionals on the quantum double C_q[G] \bowtie C_q[G] is considered, where C_q[G] is the coordinate algebra of a standard quantum group and q is not a root of unity. It is shown to be isomorphic to…
In this paper, we first introduce a quantum $n$-space with a cocommutative Hopf algebra structure. Then it is shown that to this quantum $n$-space there corresponds a derivation algebra of $\sigma$-twisted derivations related to some…
Let $H$ be a finite-dimensional connected Hopf algebra over an algebraically closed field $\field$ of characteristic $p>0$. We provide the algebra structure of the associated graded Hopf algebra $\gr H$. Then, we study the case when $H$ is…
We show that for dually paired bialgebras, every comodule algebra over one of the paired bialgebras gives a comodule algebra over their Drinfeld double via a crossed product construction. These constructions generalize to working with…
In a previous paper, we studied an overpartition analogue of Gaussian polynomials as the generating function for overpartitions fitting inside an $m \times n$ rectangle. Here, we add one more parameter counting the number of overlined…
The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of…
In this paper we give a convolution identity for the complete and elementary symmetric functions. This result can be used to proving and discovering some combinatorial identities involving $r$-Stirling numbers, $r$-Whitney numbers and…
We prove that the quantum double of the quasi-Hopf algebra A_q(g) of dimension n^{dim g} attached in arXiv:math/0403096 to a simple complex Lie algebra g and a primitive root of unity q of order n^2 is equivalent to Lusztig's small quantum…
Quandle homology was defined from rack homology as the quotient by a subcomplex corresponding to the idempotency, for invariance under the type I Reidemeister move. Similar subcomplexes have been considered for various identities of racks…
The aim of this paper is to construct comodules of $U_q(sl_2)$ and modules of $SL_q(2)$ via quiver, where $q$ is not a root of unity. By embedding the quantized algebra $U_q(sl_2)$ into the path coalgebra $k\mathcal{D}^c$, where…
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…