Category:Canonical Injection on Group Direct Product is Monomorphism