A left module -algebra is a -algebra equipped with a left Hopf action (also sometimes said module algebra action) of a -bialgebra . Sometimes one talks about module algebras meaning a monoid with Hopf actions of a bimonoid in a more general symmetric monoidal category; a module monoid would be a better term if the category is not -linear.
Related entries include smash product algebra, comodule algebra, gebra, bigebra