Definify.com

Definition 2024

direct_product

direct product

English

The direct product of sets A={x, y, z} and B={1, 2, 3}

Noun

direct product ‎(plural direct products)

(set theory) The set of all possible tuples whose elements are elements of given, separately specified, sets.
If A and B are sets, their direct product is the set of ordered pairs (a,b) with a in A and b in B.‎
(group theory) Such a set of tuples formed from two or more groups, forming another group whose group operation is the component-wise application of the original group operations and of which the original groups are normal subgroups.
- 1976, Marshall Hall, Jr., The Theory of Groups, 2nd edition, page 40,
  Theorem 3.2.3. A periodic Abelian group is the direct product of its Sylow subgroups, S(p).
(ring theory) Such a set of tuples formed from two or more rings, forming another ring whose operations arise from the component-wise application of the corresponding original ring operations.
(topology) A topological space analogously formed from two or more (up to an infinite number of) topological spaces.
(mathematics) Any of a number of mathematical objects analogously derived from a given ordered set of objects.
- 1978, K. Itô, An Introduction to Probability Theory, page 53,
  
  Let us start with the definition of the direct product of two probability measures. Let $P_{1}$ and $P_{2}$ be probability measures on $\Omega _{1}$ and $\Omega _{2}$ , respectively, and denote $\Omega _{1}\times \Omega _{2}$ by $\Omega$ . A probability measure $P$ on $\Omega$ with ${\mathfrak {D}}\left(P\right)={\mathfrak {D}}\left(P_{1}\right)\times {\mathfrak {D}}\left(P_{2}\right)$ is called the direct product of $P_{1}$ and $P_{2}$ (written $P_{1}\times P_{2}$ ) if
  $P\left(B_{1}\times B_{2}\right)=P\left(B_{1}\right)P\left(B_{2}\right)$ $B_{i}\in {\mathfrak {D}}\left(P_{i}\right);i=1,2$ .
  
  The probability space $\left(\Omega ,P\right)$ is called the direct product of $\left(\Omega _{1},P_{1}\right)$ and $\left(\Omega _{2},P_{2}\right)$ , written
  $\left(\Omega ,P\right)=\left(\Omega _{1},P_{1}\right)\times \left(\Omega _{2},P_{2}\right)$ .
  
  For example, the Lebesgue measure on [0, 1]² is the direct product of that on [0, 1] and itself.
(category theory) A high-level generalization of the preceding that applies to objects in an arbitrary category and produces a new object constructable by morphisms from each of the the original objects.

Usage notes

In the cases of abelian groups and of rings, the term direct product is synonymous with direct sum.

In the case of topological spaces, in order for the resultant space to be regarded as a categorical product (i.e., a direct product in the category theory sense), the space should be equipped with the product topology (rather than the box topology, which is more intuitively derived from the topologies of the component spaces).

Related terms

direct sum (synonymous in specific domains)
product ring
product space
product topology

Synonyms

(product of sets): Cartesian product
(product of objects in a category): categorical product, product

Translations

product of sets

prodotto diretto m

product of sets — see also Cartesian product

product of objects — see categorical product