Non-simple quasitriangular Hopf algebras of dimension \(pq^2\) (Q6050199): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4303055850 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 10:53, 30 July 2024
scientific article; zbMATH DE number 7748790
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-simple quasitriangular Hopf algebras of dimension \(pq^2\) |
scientific article; zbMATH DE number 7748790 |
Statements
Non-simple quasitriangular Hopf algebras of dimension \(pq^2\) (English)
0 references
12 October 2023
0 references
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.
0 references
quasitriangular Hopf algebras
0 references
semisimple Hopf algebras
0 references
abelian extensions of Hopf algebras
0 references
bicrossed products
0 references