Our goal in this paper is to define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called “module algebras” (Definition 2.1). Our motivation lies in the following problem: for an algebra A which admits a module structure over an arbitrary bialgebra B compatible with its product structure, the Hochschild or the cyclic ...