Non-simple quasitriangular Hopf algebras of dimension \(pq^2\) (Q6050199): Difference between revisions

All algebras considered in the review are assumed to be finite dimensional over an algebraically closed field \(\Bbbk\) of characteristic \(0\). For distinct odd primes \(p\), \(q\) such that \(p\equiv 1\bmod q\), a positive integer \(t\) such that \(t^q\equiv 1\bmod p\) and \(t\not\equiv 1\bmod p\), a primitive \(q\)th root \(\omega\) of unity in \(\Bbbk\), a non negative integer \(l\) such that \(l\leq q-1\), let \(\mathscr{A}_l\) denote the bicrossed product \(\Bbbk^G\#_{\sigma,\tau}\Bbbk F\) where (i) \(G=\mathbb{Z}_p\rtimes\mathbb{Z}_q=\langle a,b\mid a^p=b^q=1, bab^{-1}=a^t\rangle\), \(F=\mathbb{Z}_q=\langle g\mid g^q=1\rangle\), the action \(\triangleright\) of \(G\) on \(F\) is trivial, the action \(\triangleleft\) of \(F\) on \(G\) is given by \(a\triangleleft g^j=a^{t^j}\), \(b\triangleleft g^j=b\) where \(0\leq j\leq q-1\); (ii) \(\sigma\colon G\times F\times F\rightarrow\Bbbk^{\times}\), \(\tau\colon G\times G\times F\rightarrow\Bbbk^{\times}\) are given by \(\sigma (a^ib^j,g^m,g^n)=\omega^{jlq_{mn}}\), \(\tau (a^ib^j,a^kb^m,g^n)=1\), respectively, where \(q_{mn}\) is the quotient in the division of \(m+n\) by \(q\), and \(0\leq i,k\leq p-1\), \(0\leq j,m,n\leq q-1\). For distinct odd primes \(p\), \(q\) such that \(q\equiv 1\bmod p\), a positive integer \(m\) such that \(m^p\equiv 1\bmod q\) and \(m\not\equiv 1\bmod q\), a primitive \(q\)th root \(\zeta\) of unity in \(\Bbbk\), a non negative integer \(\lambda\) such that \(\lambda\leq p-1\), let \(\mathscr{B}_\lambda\) denote the bicrossed product \(\Bbbk^G\#_{\sigma,\tau}\Bbbk F\) where (i) \(G=\mathbb{Z}_q\times\mathbb{Z}_q=\langle a,b\mid a^q=b^q=1, ab=ba\rangle\), \(F=\mathbb{Z}_p=\langle g\mid g^p=1\rangle\), the action \(\triangleright\) of \(G\) on \(F\) is trivial, the action \(\triangleleft\) of \(F\) on \(G\) is given by \(a\triangleleft g^{-r}=a^{m^r}\), \(b\triangleleft g^{-r}=b^{m^{\lambda r}}\) where \(0\leq r\leq p-1\); (ii) \(\sigma\colon G\times F\times F\rightarrow\Bbbk^{\times}\), \(\tau\colon G\times G\times F\rightarrow\Bbbk^{\times}\) are given by \(\sigma (a^ib^j,g^n,g^r)=1\), \(\tau (a^ib^j,a^kb^l,g^n)=\zeta_n^{jk}\), respectively, where \(\zeta_n=\zeta^{c_n(m^{\lambda +1})}\), \(c_n(s)=1+s+\ldots +s^{n-1}\), and \(0\leq i,j,k,l\leq q-1\), \(0\leq n,r\leq p-1\). In the paper under review, the authors study non simple quasitriangular Hopf algebras of dimension \(pq^2\) where \(p\), \(q\) are distinct odd primes. Namely, they prove that every such Hopf algebra is semisimple and is isomorphic to one of the following: (i) a group algebra; (ii) either \(\mathscr{A}_0\) or \(\mathscr{B}_0\), \(\mathscr{B}_{\lambda_j}\) for \(1\leq j\leq (p-1)/2\). Then they determinate all quasitriangular structures on these Hopf algebras. The paper continues [\textit{S. Natale}, J.\ Algebra 221, No. 1, 242--278, (1999; Zbl 0942.16045)], where semisimple Hopf algebras of dimension \(pq^2\) are considered.