Category:Canonical Injection into Cartesian Product of Modules