Semisimple Hopf algebras
type: Item
instance of: scholarly article
title: Semisimple Hopf algebras
zbMATH Open document ID: 0822.16034
author: David E. Radford
author: Richard Gustavus Larson
published in: Journal of Algebra
publication date: 1995-10-05T00:00:00Z
review text: 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 noninv…
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 16P10
Mathematics Subject Classification ID: 16D60
Mathematics Subject Classification ID: 16D25
zbMATH DE Number: 734556
zbMATH Keywords: finite dimensional semisimple Hopf algebras
zbMATH Keywords: trace formula
zbMATH Keywords: Nichols- Zoeller theorem
zbMATH Keywords: odd-dimensional Hopf algebras
zbMATH Keywords: involutory sub-Hopf algebras
zbMATH Keywords: adjoint module actions
zbMATH Keywords: minimal ideals
zbMATH Keywords: number of one- dimensional ideals
reviewed by: Fang Li
MaRDI profile type: Publication
full work available at URL: jabr.1995.1002
OpenAlex ID: W1981770319
DOI: 10.1006/JABR.1995.1002
description: scientific article; zbMATH DE number 734556