On the antipode of a cosemisimple Hopf algebra
type: Item
instance of: scholarly article
title: On the antipode of a cosemisimple Hopf algebra
zbMATH Open document ID: 0531.16005
DOI: 10.1016/0021-8693(84)90091-7
author: David E. Radford
published in: Journal of Algebra
publication date: 1984-01-01T00:00:00Z
review text: Let H be a Hopf algebra over a field k which is cosemisimple (direct sum of simple subcoalgebras). When H is finite-dimensional over k, it is an open question whether or not the antipode s of H satisfies \(s^ 2=I\). \textit{R. G. Larson} showed [Commun. Algebra 11, 1175-1186 (1983; Zbl 0514.16005)] that if each simple subcoalgebra C of H has dimension \(\leq 8\), and if k has characteristic 0 or \(p>4 \dim H\), then \(s^ 2=I\). By extending to the algebraic closure of k, this means C is a full matrix coalgebra of degree \(\leq 2\) and that \(s^ 2\) is diagonalizable. In the paper under review, the author generalizes this result to show that if H is a cosemisimple Hopf algebra over k (possibly infinite-dimensional) with antipode s, such that \(s^ 2\) is diagonalizable and H is generated by its subcoalgebras of dimension \(\leq 8\), then s has order 1, 2 or \(\infty\). The proof involves the study of certain free Hopf algebras H(C,T) where C is a coalgebra and T a coalgebra endomorphism of C. There is a canonical map i:\(C\to H(C,T)\) such that \(iT=S^ 2i\), where S is the antipode of H(C,T), and the construction is universal. The author obtains an explicit basis for H(C,T) when C is a full matrix coalgebra, and T an endomorphism relevant to his proof of the above theorem. When k contains an element transcendental over the prime field, the author constructs an automorphism T of the full 2 by 2 matrix coalgebra C such that H(C,T) is cosemisimple, \(S^ 2\) is diagonalizable and S has infinite order. Thus the possibility of order \(\infty\) in the above theorem can in fact be realized (in a necessarily infinite-dimensional example).
Mathematics Subject Classification ID: 16W30
zbMATH DE Number: 3842069
zbMATH Keywords: order of antipode
zbMATH Keywords: direct sum of simple subcoalgebras
zbMATH Keywords: matrix coalgebra
zbMATH Keywords: cosemisimple Hopf algebra
zbMATH Keywords: free Hopf algebras
reviewed by: Earl J. Taft
MaRDI profile type: Publication
full work available at URL: 0021-8693(84)90091-7
OpenAlex ID: W2015126767
cites work: The diamond lemma for ring theory
cites work: Q3922829
cites work: Characters of Hopf algebras
cites work: Finitely generated semiprime (1,1) algebras
cites work: Q5590089
description: scientific article; zbMATH DE number 3842069