Extending the notionof areduced ring, wecall arightmodule over a ring a reduced module if, for any and , implies . Various results of reduced rings are extended to reduced modules.
2005, David Eisenbud, The Geometry of Syzygies: A Second Course in Commutative Algebra and Algebraic Geometry, Springer, page 210,