Hopf smash product
Redirect to:
Group Hopf algebra#Hopf module algebras and the Hopf smash product