Direct product

2020 Mathematics Subject Classification: Primary: 03E [MSN][ZBL]

A basic general mathematical construction. The idea behind it is due to R. Descartes; therefore the direct product is also called the Cartesian product. The direct product, or simply the product, of two non-empty sets $X$ and $Y$ is the set $X \times Y$ consisting of all ordered pairs of the form $(x,y)$, $x \in X$, $y \in Y$: $$ X \times Y = \{ (x,y) : x \in X\,\ y \in Y \} \ . $$

If one of the sets $X$ or $Y$ is empty then so is their product. The set $X \times Y$ can be identified with the set of functions defined on the two-element set $\{1,2\}$ and taking the value $1$ to elements of $X$, and the value $2$ to elements of $Y$. This identification leads to a general definition of a direct product of sets. Let $I$ be some index set and suppose that $X_i$ is an arbitrary family of sets, indexed by the elements of $I$. The direct product of the $X_i$, $i \in I$, is the set of functions $f : I \rightarrow X$, where $X = \bigcup_{i\in I} X_i$, such that $f(i) \in X_i$ for every $i \in I$. Usually, the direct product is denoted by $\prod_{i\in I} X_i$, for a finite index set $I = \{1,\ldots,n\}$ one also uses the notations $\prod_{i=1}^n X_i$ and $X_1 \times \cdots \times X_n$. If $I$ consists of the single element $\{1\}$, then $\prod_I X_i = X_1$. Sometimes one defines the direct product of a finite number of factors inductively: $$ \prod_{i=1} X_i = X_1 \ ; $$ $$ \prod_{i=1}^{n+1} = \left({ \prod_{i=1}^n X_i }\right) \times X_{n+1} \ . $$

One merit of the construction of a direct product rests above all in the possibility of naturally introducing supplementary structures in it, if all factors have the same mathematical structure. E.g., if the $X_i$, $i \in I$, are algebraic systems of the same type, i.e. sets with a common signature of finitely-placed predicates and operations, then the product $\prod_{i\in I} X_i$ can be made into an algebraic system of the same signature: For functions $f_1,\ldots,f_k : I \rightarrow X$ and a $k$-ary operation $\omega$ the action of the function $f_1,\ldots,f_k\,\omega$ on one element $i\in I$ is defined by $$ f_1,\ldots,f_k\,\omega (i) = f_1(i),\ldots,f_k(i)\,\omega \ . $$

The value of a predicate $P(f_1,\ldots,f_k)$ is true if for every $i \in I$ the value of $P(f_1(i),\ldots,f_k(i))$ is true. Moreover, if in all $X_i$ an equation is satisfied, then it is also satisfied in their product. Therefore, the product of semi-groups, groups, rings, vector spaces, etc., is again a semi-group, group, ring, vector space, respectively.

For an arbitrary factor of a direct product there exists a natural projection , defined by . The set and the family of projections , , have the following universal property: For every family of mappings there exists a unique mapping such that for every . This property also holds if all are algebraic systems of one type, and makes it possible to define a suitable topology on a direct product of topological spaces. The property formulated is the basis for the definition of the product of a family of objects in a category.

One often encounters problems of describing mathematical objects that cannot be decomposed into a direct product, and of stating conditions under which the factors of a direct product are uniquely determined up to an isomorphism. Classical results in this respect are the theorem on the structure of finitely-generated modules over principal ideal rings and the Remak–Schmidt theorem on the central isomorphism of direct decompositions of a group with a principal series.

The direct product is sometimes called the complete direct product, to distinguish it from the restricted direct product, which is defined when there is a supplementary structure in the factors: an important case of this is the discrete direct product (or direct sum), which is defined when the supplementary structures are a one-element substructures (e.g. base points of pointed sets and pointed spaces, unit subgroups of groups, zero subspaces, etc.). As a rule, the direct product of a finite number of factors coincides with the discrete product.