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:
“Music is the sound of the universal laws promulgated. It is the only assured tone. There are in it such strains as far surpass any man’s faith in the loftiness of his destiny. Things are to be learned which it will be worth the while to learn.”
—Henry David Thoreau (1817–1862)
“Open the doors of opportunity to talent and virtue and they will do themselves justice, and property will not be in bad hands.”
—Ralph Waldo Emerson (1803–1882)