Direct Product of Modules
The direct product for modules (not to be confused with the tensor product) is very similar to the one defined for groups above, using the cartesian product with the operation of addition being componentwise, and the scalar multiplication just distributing over all the components. Starting from R we get Euclidean space Rn, the prototypical example of a real n-dimensional vector space. The direct product of Rm and Rn is Rm + n.
Note that a direct product for a finite index is identical to the direct sum . The direct sum and direct product differ only for infinite indices, where the elements of a direct sum are zero for all but for a finite number of entries. They are dual in the sense of Category Theory: the direct sum is the coproduct, while the direct product is the product.
For example, consider and, the infinite direct product and direct sum of the real numbers. Only sequences with a finite number of non-zero elements are in Y. For example, (1,0,0,0,...) is in Y but (1,1,1,1,...) is not. Both of these sequences are in the direct product X; in fact, Y is a proper subset of X (that is, Y⊂X).
Read more about this topic: Direct Product
Famous quotes containing the words direct and/or product:
“You see how this House of Commons has begun to verify all the ill prophecies that were made of itlow, vulgar, meddling with everything, assuming universal competency, and flattering every base passionand sneering at everything noble refined and truly national. The direct tyranny will come on by and by, after it shall have gratified the multitude with the spoil and ruin of the old institutions of the land.”
—Samuel Taylor Coleridge (17721834)
“These facts have always suggested to man the sublime creed that the world is not the product of manifold power, but of one will, of one mind; and that one mind is everywhere active, in each ray of the star, in each wavelet of the pool; and whatever opposes that will is everywhere balked and baffled, because things are made so, and not otherwise.”
—Ralph Waldo Emerson (18031882)