Hopf Algebras which Factorize through the Taft Algebra $T_{m^{2}}(q)$ and the Group Hopf Algebra $K[C_{n}]$

Abstract

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}}^ ω(q)$ associated to an $n$-th root of unity $ω$. Furthermore, using Dirichlet's prime number theorem we are able to count the number of isomorphism types of such Hopf algebras. More precisely, if $d = {\rm gcd}(m,ν(n))$ and $\frac{ν(n)}{d} = p_1^{α_1} \cdots p_r^{α_r}$ is the prime decomposition of $\frac{ν(n)}{d}$ then the number of types of Hopf algebras that factorize through $T_{m^{2}}(q)$ and $K[C_n]$ is equal to $(α_1 + 1)(α_2 + 1) \cdots (α_r + 1)$, where $ν(n)$ is the order of the group of $n$-th roots of unity in $K$. As a consequence of our approach, the automorphism groups of these Hopf algebras are described as well.