Let and be rings with 1 and let be a unital ring homomorphism. Verify that the (right) action makes into a unital right -module, and that moreover is a -bimodule.
Note that , that , that , and that . So this action makes a right -module.
Moreover, note that for all and , we have , since multiplication in is associative. Thus is an -bimodule.