Direct Product - Direct Product of Modules

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, YX).

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 it—low, vulgar, meddling with everything, assuming universal competency, and flattering every base passion—and 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 (1772–1834)

    The end product of child raising is not only the child but the parents, who get to go through each stage of human development from the other side, and get to relive the experiences that shaped them, and get to rethink everything their parents taught them. The get, in effect, to reraise themselves and become their own person.
    Frank Pittman (20th century)