Semisimple Hopf algebras (Q1345905)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semisimple Hopf algebras |
scientific article |
Statements
Semisimple Hopf algebras (English)
0 references
5 October 1995
0 references
The authors study the structure of finite dimensional semisimple Hopf algebras over a field \(K\), using the trace formula, the Nichols-Zoeller theorem [\textit{W. D. Nichols} and \textit{M. B. Zoeller}, J. Pure Appl. Algebra 56, 51-57 (1989; Zbl 0659.16006)] and the authors' results in other papers. Semisimple Hopf algebras are unimodular, but the converse is not always true. In Section 2, the authors show that if \(A\) is an odd- dimensional Hopf algebra over a field \(K\) and \(\text{char }K = 0\) or 2 or \(p > \dim A\), then \(A\) and \(A^*\) are semisimple iff \(A\) and \(A^*\) are unimodular. Also, it is shown that if \(A\) and \(A^*\) are unimodular and \((\dim A) 1 \neq 0\) then \(A\) and \(A^*\) are semisimple when \(A\) has an involutory sub-Hopf algebra \(B\) such that \(\text{rank}_ B A \leq 3\). In Section 3 the authors study adjoint module actions on a semisimple Hopf algebra \(A\) over an algebraically closed field \(K\) and show that if the minimal ideals of \(A\) have dimension 1 or \(n^ 2\) for a single \(n > 1\), then \(n\) divides the number of one-dimensional ideals of \(A\) (and hence \(n\) divides \(\dim A\)). In Section 4, the results in Section 2 and 3 are applied to study \(n\)- dimensional semisimple Hopf algebras when \(n \leq 20\). The authors show that if \(n \leq 19\) and is odd then \(A\) is commutative and cocommutative (hence \(A^*\) was the form of a group algebra). In particular, all 5- dimensional Hopf algebras are commutative and cocommutative. If \(n \leq 20\) and is even, the semisimple Hopf algebra \(A\) is involutory when \((\dim A)1 \neq 0\). The techniques developed in this paper are quite useful in determining potential candidates for noninvolutory semisimple Hopf algebras \(A\) over \(K\). In Section 5 a systematic computation is described which enumerates possible algebra structures for such Hopf algebras of dimension \(\leq 50\). In Section 6 a result is given which further limits possible algebra structures for noninvolutory semisimple Hopf algebras whose duals are unimodular. \textit{R. Williams} [Finite dimensional Hopf algebras (Thesis, Florida State Univ. 1988)] has classified Hopf algebras of \(\dim \leq 11\).
0 references
finite dimensional semisimple Hopf algebras
0 references
trace formula
0 references
Nichols- Zoeller theorem
0 references
odd-dimensional Hopf algebras
0 references
involutory sub-Hopf algebras
0 references
adjoint module actions
0 references
minimal ideals
0 references
number of one- dimensional ideals
0 references