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:
“The death of Irving, which at any other time would have attracted universal attention, having occurred while these things were transpiring, went almost unobserved. I shall have to read of it in the biography of authors.”
—Henry David Thoreau (1817–1862)
“I have no concern with any economic criticisms of the communist system; I cannot enquire into whether the abolition of private property is expedient or advantageous. But I am able to recognize that the psychological premises on which the system is based are an untenable illusion. In abolishing private property we deprive the human love of aggression of one of its instruments ... but we have in no way altered the differences in power and influence which are misused by aggressiveness.”
—Sigmund Freud (1856–1939)