Amodule homomorphism can be decomposed kniquely a sum of homomorphisms between some submodules for a give module which is the direct sum of its submodules.

• 环上的（左或右）模在表成子模的直和时，其上的模同态可以分解为子模之间的模同态和。