It is well-known that the smallest simple non-Abelian group is the alternating group \(\mathbb A_5\), of order 60. Let us say that a finite dimensional Hopf algebra (of dimension \(>1\)) is simple if its only normal Hopf subalgebras are \(\Bbbk\) and itself; so that the group algebra \(\Bbbk L\) of a finite simple group \(L\) and its dual \(\Bbbk^L\) are simple Hopf algebras. Here \(\Bbbk\) is a field, assumed from now on algebraically closed of characteristic 0. The first examples of semisimple Hopf algebras that are simple in this sense (out of simple group algebras and their duals) were found by \textit{D. Nikshych}, [Commun. Algebra 26, No. 1, 321-342 (1998; Zbl 0912.16018)], namely the Hopf algebra denoted \(\mathcal A_0\), a twisting of \(\Bbbk\mathbb A_5\), and its dual \(\mathcal A_1\). Another example of a (self-dual) semisimple Hopf algebra of dimension 60 that is simple was found by \textit{C. Galindo} and \textit{S. Natale}, [Math. Res. Lett. 14, No. 5-6, 943-954 (2007; Zbl 1160.16020)]; it is denoted \(\mathcal B\) and is a twisting of \(\Bbbk(\mathbb D_3\times\mathbb D_5)\). It is remarkable that the twisting of a non-simple group may became simple as a Hopf algebra; an analogous example of dimension 36, a twisting of \(\Bbbk(\mathbb D_3\times\mathbb D_5)\), turns out to be the only semisimple simple Hopf algebra of dimension \(< 60\) and not a group algebra. The purpose of the present paper is to show that \(\Bbbk\mathbb A_5\), \(\Bbbk^{\mathbb A_5}\), \(\mathcal A_0\), \(\mathcal A_1\) and \(\mathcal B\) are all simple Hopf algebras that are semisimple and have dimension 60. (In contrast, there is just one simple fusion category of dimension 60, namely \(\text{Rep}_{\Bbbk}\mathbb A_5\); [see \textit{P. Etingof, D. Nikshych} and \textit{V. Ostrik}, Adv. Math. 226, No. 1, 176-205 (2011; Zbl 1210.18009)].) The proof relies on the main result from [\textit{J. Bichon} and \textit{S. Natale}, Transform. Groups 16, No. 2, 339-374 (2011)], that characterizes semisimple Hopf algebras with an irreducible self-dual 2-dimensional comodule, and follows by a thorough case-by-case analysis of the possible coalgebra structures of such a Hopf algebra.
- Simple Hopf algebras and deformations of finite groups.
- Semisimple Hopf algebras of dimension \(6\), \(8\)
- scientific article; zbMATH DE number 1990171
- Hopf algebra extensions of group algebras and Tambara-Yamagami categories.
- Semisimple Hopf algebras of dimension \(pq\) are trivial
- On Kaplansky's sixth conjecture
- scientific article; zbMATH DE number 1283981
- On some examples of simple quantum groups
- Semisolvability of semisimple Hopf algebras of low dimension
- Semisimple Hopf algebras of dimension \(12\)
- K0-rings and twisting of finite dimensional semisimple hopf algebras
- A Hopf Algebra Freeness Theorem
- Biinvertible actions of Hopf algebras
- Cross products by braided groups and bosonization
- Hopf algebra deformations of binary polyhedral groups.
- scientific article; zbMATH DE number 5268624 (Why is no real title available?)
- Irreducible representations of crossed products
- Nilpotent fusion categories
- Normal basis and transitivity of crossed products for Hopf algebras
- On fusion categories.
- On semisimple Hopf algebras of dimension pq^2. II
- On semisimple Hopf algebras of dimension \(pq^r\).
- Projectivity and freeness over comodule algebras
- Semisimple Hopf algebras of dimension \(12\)
- Semisolvability of semisimple Hopf algebras of low dimension
- Simple Hopf algebras and deformations of finite groups.
- The Grothendieck group of a Hopf algebra
- The structure of Hopf algebras with a projection
- Weakly group-theoretical and solvable fusion categories
- Semisimple Hopf algebras of dimension \(6\), \(8\)
- Classifying bicrossed products of Hopf algebras.
- Simple Hopf algebras and deformations of finite groups.
- Biproducts and Kashina's examples.
- Semisolvability of semisimple Hopf algebras of low dimension
- On some examples of simple quantum groups
- Finite dimensional Nichols algebras over certain \(p\)-groups
- On the notion of exact sequence: from Hopf algebras to tensor categories
- On semisimple Hopf algebras of dimension \(2^{m}\). II
- Non-existence of Hopf orders for a twist of the alternating and symmetric groups
- Hopf algebras of dimension 16.
This page was built for publication: Semisimple Hopf algebras of dimension 60.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626702)
