A sufficient condition for a smash product to be a transfinite left free normalizing extension and its application (Q1569954)

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.