Wed Jan 31

Generating a module. Finite generation. Cyclic modules.
A -> Hom_R^op(Hom_R(A,R)).
Right modules, bimodules.
Hom_R(_RA_S,_RB_T) is an (S,T)-bimodule.