Related papers: A $q$-Identity Related to a Comodule

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 prove that a Hopf algebra of prime dimension $p$ over an algebraically closed field, whose characteristic is equal to $p$, is either a group algebra or a restricted universal enveloping algebra. Moreover, we show that any Hopf algebra of…

Motivated by the construction of $\imath$Hall algebras and $\Delta$-Hall algebras, we introduce $\imath$Hopf algebras associated with symmetrically self-dual Hopf algebras. We prove that the $\imath$Hopf algebra is an associative algebra…

We introduce an algebra $\mathcal{K}_n$ which has a structure of a left comodule over the quantum toroidal algebra of type $A_{n-1}$. Algebra $\mathcal{K}_n$ is a higher rank generalization of $\mathcal{K}_1$, which provides a uniform…

In this paper, we prove the following identity $$ \lcm({n\brack 0}_q,{n\brack 1}_q,...,{n\brack n}_q) =\frac{\lcm([1]_q,[2]_q,...,[n+1]_q)}{[n+1]_q}, $$ where ${n\brack k}_q$ denotes the $q$-binomial coefficient and…

Using the methodology of (rigorous) {\it experimental mathematics}, we give a simple and motivated solution to Zudilin's question concerning a $q$-analog of a problem posed by Asmus Schmidt about a certain binomial coefficients sum. Our…

Under suitable assumptions on the base field, we prove that a commutative semisimple Yetter-Drinfel'd Hopf algebra over a finite abelian group is trivial, i.e., is an ordinary Hopf algebra, if its dimension is relatively prime to the order…

The aim of this paper is an algebraic study of the Hopf algebra H_R of rooted trees, which was introduced in \cite{Kreimer1,Connes,Broadhurst,Kreimer2}. We first construct comodules over H_R from finite families of primitive elements.…

Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H,…

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair…

In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2}…

A systematic procedure for generating certain identities involving elementary symmetric functions is proposed. These identities, as particular cases, lead to new identities for binomial and q-binomial coefficients.

Let $q$ be an $n^{th}$ root of unity for $n > 2$ and let $T_n(q)$ be the Taft (Hopf) algebra of dimension $n^2$. In 2001, Susan Montgomery and Hans-J\"urgen Schneider classified all non-trivial $T_n(q)$-module algebra structures on an…

Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any…

An important property of a Hopf algebra is its quasitriangularity and it is useful various applications. This property is investigated for quantum groups $sl_2$ at roots of 1. It is shown that different forms of the quantum group $sl_2$ at…

We give a proof of a recent combinatorial conjecture due to the first author, which was discovered in the framework of commutative algebra. This result gives rise to new companions to the famous Andrews-Gordon identities. Our tools involve…

We find a new braided Hopf structure for the algebra satisfied by the entries of the braided matrix $BSL_q(2)$. A new nonbraided algebra whose coalgebra structure is the same as the braided one is found to be a two parameter deformed…

In this paper we contribute to the classification of Hopf algebras of dimension pq, where p,q are distinct prime numbers. More precisely, we prove that if p and q are odd primes with p<q<2p+3, then any complex Hopf algebra of dimension pq…

For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…

We completely describe by generators and relations and classify all Hopf algebras which factorize through the Taft algebra $T_{m^{2}}(q)$ and the group Hopf algebra $K[C_{n}]$: they are $nm^{2}$-dimensional quantum groups $T_{nm^{2}}^…