Let H be a bialgebra and let A be an associative algebra. The algebra A is said to be an H-module-algebra if there is an H-module structure on A such that the multiplication on A becomes an H-module morphism. For example, if S denotes the Landweber-Novikov algebra [15, 21], then the complex cobordism MU(X) of a topological space X is an S module-algebra. Likewise, the singular mod p cohomology ...