  This paper concerns a generalization of the Rees algebra of ideals due to
Eisenbud, Huneke and Ulrich that works for any finitely generated module over a
noetherian ring. Their definition is in terms of maps to free modules. We give
an intrinsic definition using divided powers.
