Namespaces
Variants
Actions

Direct product

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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 $X = \prod_{i\in I} X_i$ there exists a natural projection $p_i : X \rightarrow X_i$, defined by $p_i(f) = f(i)$. The set $X$ and the family of projections $p_i$, $i \in I$, have the following universal property: For every family of mappings $g_i : Y \rightarrow X_i$ there exists a unique mapping $h : Y \rightarrow X$ such that $g_i = p_i(h)$ for every $i \in I$. This property also holds if all $X_i$ 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 Krull-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 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.

How to Cite This Entry:
Direct product. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Direct_product&oldid=40203
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article