Let H be a bialgebra. An H-module-algebra is an associative algebra A that is also an H-module such that the multiplication map on A becomes an H-module morphism. This algebraic structure arises often in algebraic topology, quantum groups [11, Chapter V.6], Lie and Hopf algebras theory [3, 16, 19], and group representations [1, Chapter 3]. For example, in algebraic topology, the complex cobordi...