In this sense, module theory generalizes representation theory, which deals with group actions on vector spaces, or equivalently group ring actions. A bimodule is a module that is a left module and a right module such that the two multiplications are compatible.