PI Hopf algebras of prime characteristic.
type: Item
instance of: scholarly article
title: PI Hopf algebras of prime characteristic.
zbMATH Open document ID: 1035.16033
DOI: 10.1016/S0021-8693(03)00037-1
author: Mikhail Kochetov
published in: Journal of Algebra
publication date: 2003-06-09T00:00:00Z
review text: The author studies a condition when a cocommutative Hopf algebra \(H\) of prime characteristic has a polynomial identity (as an algebra). The case of a semidirect product \(H=u(L)\#K[G]\), where \(u(L)\) is a restricted enveloping algebra and \(K[G]\) is a group algebra, \(G\) acting on \(L\) by automorphisms, was settled by \textit{Yu. A. Bakhturin} and \textit{V. M. Petrogradsky} [in J. Lie Theory 12, No. 2, 369-395 (2002; Zbl 1014.17006)]. In some sense, this paper studies an opposite case. A bialgebra is called `hyperalgebra' if it is connected and cocommutative. Theorem. Let \(H\) be a hyperalgebra over a perfect field \(K\). If \(\text{char\,} K=p>0\), then it is also assumed that \(H\) is reduced. Then \(H\) is a PI-algebra iff \(H\) is commutative. Next, the author studies smash products and suggests the Conjecture: Let \(H\) be a hyperalgebra over a perfect field \(K\). If \(\text{char\,}K>0\), assume also that \(H\) is reduced. Let \(G\) be a group acting on \(H\) by bialgebra automorphisms. Then the smash product \(H\#K[G]\) is PI iff (1) \(H\) is commutative; (2) there exist normal subgroups \(G_0\subset G_1\subset G\) such that \(G/G_1\) is finite, \(G_1/G_0\) is Abelian, and \(G_0\) is a finite \(p\)-group if \(\text{char\,}K=p>0\) and trivial if \(\text{char\,}K=0\). (3) \(G_1\) acts trivially on \(H\). The author checks sufficiency. The necessity of conditions (1), (2) follows from respective results of D. S. Passman, Yu. A. Bakhturin and V. M. Petrogradsky. The author presents some positive evidence that this conjecture should be true by proving it for two particular cases.
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 17B35
Mathematics Subject Classification ID: 16R40
Mathematics Subject Classification ID: 16S40
zbMATH DE Number: 1924691
zbMATH Keywords: Hopf algebras
zbMATH Keywords: PI-algebras
zbMATH Keywords: group algebras
zbMATH Keywords: smash products
zbMATH Keywords: hyperalgebras
reviewed by: Victor Petrogradsky
MaRDI profile type: Publication
cites work: Q3996716
cites work: Q4550404
cites work: Q5561655
cites work: Q4773818
cites work: Q4170850
cites work: Q3901604
cites work: On identities for coalgebras and hopf algebras
cites work: Q3496299
cites work: Q5336373
cites work: Biinvertible actions of Hopf algebras
cites work: Enveloping algebras satisfying a polynomial identity
cites work: Group rings satisfying a polynomial identity
cites work: Existence of identities in the restricted enveloping algebra
description: scientific article; zbMATH DE number 1924691