This gives a characterization of an internal direct sum using unique decomposition. A module is the direct sum of two submodules exactly when every element can be written uniquely as a sum of one element from each submodule. This criterion is central for splitting modules into independent parts.