Universal Property
In the language of category theory, the direct sum is a coproduct and hence a colimit in the category of left R-modules, which means that it is characterized by the following universal property. For every i in I, consider the natural embedding
which sends the elements of Mi to those functions which are zero for all arguments but i. If fi : Mi → M are arbitrary R-linear maps for every i, then there exists precisely one R-linear map
such that f o ji = fi for all i.
Dually, the direct product is the product.
Read more about this topic: Direct Sum Of Modules
Famous quotes containing the words universal and/or property:
“Without doubt God is the universal moving force, but each being is moved according to the nature that God has given it.... He directs angels, man, animals, brute matter, in sum all created things, but each according to its nature, and man having been created free, he is freely led. This rule is truly the eternal law and in it we must believe.”
—Joseph De Maistre (1753–1821)
“Never let the estate decrease in your hands. It is only by such resolutions as that that English noblemen and English gentlemen can preserve their country. I cannot bear to see property changing hands.”
—Anthony Trollope (1815–1882)