The Grothendieck group of a Hopf algebra (Q1910766): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(95)00023-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1976080513 / rank | |||
Normal rank |
Revision as of 22:37, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Grothendieck group of a Hopf algebra |
scientific article |
Statements
The Grothendieck group of a Hopf algebra (English)
0 references
24 October 1996
0 references
\textit{I. Kaplansky} conjectured [in Bialgebras (Univ. Chicago Lect. Notes 1975)] that if a finite-dimensional cosemisimple Hopf algebra \(H\) over an algebraically closed field contains a simple subcoalgebra of dimension \(n^2\), then \(n\) divides the dimension of \(H\). In this paper, the authors verify this conjecture when \(H\) contains a simple subcoalgebra of dimension 4. The main result is: if \(H\) is a cosimple Hopf algebra over an algebraically closed field and contains a simple subcoalgebra of dimension 4, then \(H\) contains either a Hopf subalgebra of dimension 2, 12 or 60, or a simple subcoalgebra of dimension \(n^2\) for each positive integer \(n\). To achieve this generality, the Grothendieck group of the category of finite-dimensional right \(H\)-comodules is defined and is studied. Some interesting properties are obtained. As an application, the main result is proved. As a corollary, if \(H\) is still finite dimensional, then it has even dimension.
0 references
finite-dimensional cosemisimple Hopf algebras
0 references
simple subcoalgebras
0 references
cosimple Hopf algebras
0 references
Grothendieck groups
0 references
categories of finite-dimensional right comodules
0 references