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:
“Vanity, or to call it by a gentler name, the desire of admiration and applause, is, perhaps, the most universal principle of human actions.... Where that desire is wanting, we are apt to be indifferent, listless, indolent, and inert.... I will own to you, under the secrecy of confession, that my vanity has very often made me take great pains to make many a woman in love with me, if I could, for whose person I would not have given a pinch of snuff.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“The property of rain is to wet and fire to burn.”
—William Shakespeare (1564–1616)