Hopf algebras of order \(p^2\) and braided Hopf algebras of order \(p\) (Q1378438): Difference between revisions

For an odd prime number \(p\) and an algebraically closed field \(k\) of characteristic 0, one knows the list of \(p+1\) non-isomorphic Hopf algebras over \(k\) of dimension \(p^2\). The aim of this paper is to discuss whether there are more nonisomorphic Hopf algebras of dimension \(p^2\) over \(k\). The article is organized as follows. In Section 2, some general theorems on Hopf algebras are recalled and some useful statements are proved. In Section 3, the authors prove a general proposition which implies that a pointed nonsemisimple Hopf algebra of order \(p^2\) is isomorphic to a Taft algebra. In Section 4 the correspondence is recalled between braided Hopf algebras of order \(p\) in \(^H_H\mathcal{YD}\) and Hopf algebras \(A\) with a projection \(A\to H\) which has a Hopf algebra section. In Section 5, the authors give a proof of the fact that a pointed nonsemisimple Hopf algebra of order \(p^2\) is isomorphic to a Taft algebra. In Section 6, a family of pointed Hopf algebras of order \(p^3\), called book algebras, is described. In Section 7, an important characterization of nonsemisimple braided Hopf algebras is given in terms of the quantum trace of the square of the antipode. In Section 8, the main result is shown, that is, assume that \(H\) is a parina algebra, \(R\) is a braided Hopf algebra of order \(p\) in \(^H_H\mathcal{YD}\) and \(R\) or \(R^*\) is not semisimple, then \(R\) is isomorphic to a braided Hopf algebra \({\mathcal R}(p,g,\chi)\). Moreover, the authors discuss some examples and provide the characterization of book algebras in terms of braided Hopf algebras of order \(p\) in \(^H_H\mathcal{YD}\), where \(H\) is a Taft algebra.