Biinvertible actions of Hopf algebras (Q690040): Difference between revisions
From MaRDI portal
Latest revision as of 10:46, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Biinvertible actions of Hopf algebras |
scientific article |
Statements
Biinvertible actions of Hopf algebras (English)
0 references
12 January 1995
0 references
Let \(H\) be a Hopf algebra over a field \(k\). An action of \(H\) on an algebra \(R\) over \(k\) is a measuring of \(R\) by the coalgebra \(H\), and to a measuring of \(R\) by \(H\) corresponds a linear transformation \(\phi\) of \(H\) into the ring \(\text{End}(R)\) of linear operators on the vector space \(R\). The action is called biinvertible if \(\phi\) has an inverse and anti- inverse in the convolution algebra \(\text{Hom}(H,\text{End}(R))\); and the action is called fully biinvertible if every \(H\)-stable ideal of \(R\) is also stable under the anti-measurings of \(R\) determined by the convolution inverse and anti-inverse of \(\phi\). The \(H\)-analogue of the (left, right, symmetric) Martindale quotient ring is obtained by replacing the filter of ideals which have zero annihilator with the filter of \(H\)-stable ideals which have zero annihilator. The author's purpose is to prove that a fully biinvertible crossed product action of \(H\) on an algebra \(R\) can be extended to the \(H\)-analogue of the Martindale quotient of \(R\), and the crossed product of \(H\) with this quotient is naturally embedded in the Martindale quotient of the crossed product of \(H\) with \(R\). The author's method is to introduce the more general notion of an action which is twisted with respect to a convolution invertible element \(\sigma\) of \(\text{Hom}(H \otimes H,R)\) and to study the \(H\)-analogues of Martindale quotients for twisted actions of \(H\). A crossed product action is a twisted action for which \(\sigma\) satisfies a normalized cocycle condition, and twisted actions for a group algebra \(kG\) arise from representations of \(G\) in the group of outer automorphisms of an algebra \(R\).
0 references
Hopf algebras
0 references
measurings
0 references
coalgebras
0 references
linear transformations
0 references
linear operators
0 references
convolution algebras
0 references
anti-measurings
0 references
Martindale quotient ring
0 references
filter of \(H\)-stable ideals
0 references
fully biinvertible crossed product actions
0 references
twisted actions
0 references
cocycle condition
0 references
group algebras
0 references
outer automorphisms
0 references