Definition:Module Direct Product

Also see

 * Universal Property of Direct Product of Modules
 * Definition:Module Direct Sum