A sufficient condition for a smash product to be a transfinite left free normalizing extension and its application (Q1569954)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A sufficient condition for a smash product to be a transfinite left free normalizing extension and its application |
scientific article |
Statements
A sufficient condition for a smash product to be a transfinite left free normalizing extension and its application (English)
0 references
18 January 2001
0 references
Let \(H\) be a bialgebra over a field \(K\) with comultiplication \(\Delta\) and counit \(\varepsilon\). Let \(A\) be an \(H\)-module algebra and set \(J=\{h\in H\mid h\cdot A=0\}\). An element \(h\in H\) is said to be normalizing for \(A\) if \(h\) has a minimal expansion \(\Delta(h)=g\otimes h+\gamma\) where \(g\cdot A=A\) and \(\gamma\in(J\cap\ker\varepsilon)\otimes H\). Now suppose that \(\{h_\lambda\mid\lambda\in\Lambda\}\) is a \(K\)-basis for \(H\) consisting of normalizing elements for \(A\) with \(h_{\lambda_0}=1\). Then it is shown here that \(\{1\#h_\lambda\mid\lambda\in\Lambda\}\) is a transfinite left free normalizing basis for the smash product \(A\#H\) over its subalgebra \(A\#1\). Specifically, \(\{1\#h_\lambda\mid\lambda\in\Lambda\}\) is a free left \(A\#1\)-basis for this algebra and \((1\#h_\lambda)(A\#1)=(A\#1)(1\#h_\lambda)\) for all \(\lambda\in\Lambda\). An application to the quantum group \(U_q(\text{sl}(2))\) is given.
0 references
bialgebras
0 references
smash products
0 references
free normalizing extensions
0 references
normalizing elements
0 references
quantum groups
0 references