hi, all! I want to know what is the definition of reduced module over general ring.
I remember that: a module $B$ always have smallest submodule $D(B)$ satisfy $B/D(B)$ is divisible module. If $D(B)=B$ then $B$ is called weak divisible module". Is it exactly? if exact, how can we infer that a weak divisible module always is a divisible module?
Thanhk you very much!