Direct Product

- Mathematics & Logic -
Pure Mathematics Dictionary
The object whose elements are tuples with one coordinate from each factor and with componentwise operations, together with projection maps to each factor; categorically it is the product, representing families of maps into each factor.

Direct Product

- Pure Mathematics -
Algebra Dictionary
The Cartesian product of a family of algebraic structures (modules, groups, rings) endowed with componentwise operations, consisting of all tuples with no finiteness restriction; it is the categorical product.