SMASH PRODUCT ALGEBRAS AND INVARIANT ALGEBRAS

Let H and G be finite dimensional semisimple Hopf algebras and let A and B be left H and G-module algebras respectively. We use smash product algebras to show that 1) if A is right Artinian then $A^H$ is right Artinian, 2) $Soc\;V_A{\subset}Soc\;V_{A^H}$ and rad $V_A{\supset}\;radV_{A^H}$, 3) $K\;dim\;_BV_A=K\;dim\;_{B^G}V_{A^H}$.