• If we think of ${\displaystyle \mathbb {R} }$  as the set of real numbers without further structure, then the direct product ${\displaystyle \mathbb {R} \times \mathbb {R} }$  is just the Cartesian product ${\displaystyle \{(x,y):x,y\in \mathbb {R} \}.}$ 
• If we think of ${\displaystyle \mathbb {R} }$  as the group of real numbers under addition, then the direct product ${\displaystyle \mathbb {R} \times \mathbb {R} }$  still has ${\displaystyle \{(x,y):x,y\in \mathbb {R} \}}$  as its underlying set. The difference between this and the preceding example is that ${\displaystyle \mathbb {R} \times \mathbb {R} }$  is now a group, and so we have to also say how to add their elements. This is done by defining ${\displaystyle (a,b)+(c,d)=(a+c,b+d).}$ 
• If we think of ${\displaystyle \mathbb {R} }$  as the ring of real numbers, then the direct product ${\displaystyle \mathbb {R} \times \mathbb {R} }$  again has ${\displaystyle \{(x,y):x,y\in \mathbb {R} \}}$  as its underlying set. The ring structure consists of addition defined by ${\displaystyle (a,b)+(c,d)=(a+c,b+d)}$  and multiplication defined by ${\displaystyle (a,b)(c,d)=(ac,bd).}$ 
• Although the ring ${\displaystyle \mathbb {R} }$  is a field, ${\displaystyle \mathbb {R} \times \mathbb {R} }$  is not, because the nonzero element ${\displaystyle (1,0)}$  does not have a multiplicative inverse.

In a similar manner, we can talk about the direct product of finitely many algebraic structures, for example, ${\displaystyle \mathbb {R} \times \mathbb {R} \times \mathbb {R} \times \mathbb {R} .}$  This relies on the direct product being associative up to isomorphism. That is, ${\displaystyle (A\times B)\times C\cong A\times (B\times C)}$  for any algebraic structures ${\displaystyle A,}$  ${\displaystyle B,}$  and ${\displaystyle C}$  of the same kind. The direct product is also commutative up to isomorphism, that is, ${\displaystyle A\times B\cong B\times A}$  for any algebraic structures ${\displaystyle A}$  and ${\displaystyle B}$  of the same kind. We can even talk about the direct product of infinitely many algebraic structures; for example we can take the direct product of countably many copies of ${\displaystyle \mathbb {R} ,}$  which we write as ${\displaystyle \mathbb {R} \times \mathbb {R} \times \mathbb {R} \times \dotsb .}$ 

In group theory one can define the direct product of two groups ${\displaystyle (G,\circ )}$  and ${\displaystyle (H,\cdot ),}$  denoted by ${\displaystyle G\times H.}$  For abelian groups that are written additively, it may also be called the direct sum of two groups, denoted by ${\displaystyle G\oplus H.}$ 

It is defined as follows:

• the set of the elements of the new group is the Cartesian product of the sets of elements of ${\displaystyle G{\text{ and }}H,}$  that is ${\displaystyle \{(g,h):g\in G,h\in H\};}$ 
• on these elements put an operation, defined element-wise:
  $${\displaystyle (g,h)\times \left(g',h'\right)=\left(g\circ g',h\cdot h'\right)}$$

   

Note that ${\displaystyle (G,\circ )}$  may be the same as ${\displaystyle (H,\cdot ).}$ 

This construction gives a new group. It has a normal subgroup isomorphic to ${\displaystyle G}$  (given by the elements of the form ${\displaystyle (g,1)}$ ), and one isomorphic to ${\displaystyle H}$  (comprising the elements ${\displaystyle (1,h)}$ ).

The reverse also holds. There is the following recognition theorem: If a group ${\displaystyle K}$  contains two normal subgroups ${\displaystyle G{\text{ and }}H,}$  such that ${\displaystyle K=GH}$  and the intersection of ${\displaystyle G{\text{ and }}H}$  contains only the identity, then ${\displaystyle K}$  is isomorphic to ${\displaystyle G\times H.}$  A relaxation of these conditions, requiring only one subgroup to be normal, gives the semidirect product.

As an example, take as ${\displaystyle G{\text{ and }}H}$  two copies of the unique (up to isomorphisms) group of order 2, ${\displaystyle C^{2}:}$  say ${\displaystyle \{1,a\}{\text{ and }}\{1,b\}.}$  Then ${\displaystyle C_{2}\times C_{2}=\{(1,1),(1,b),(a,1),(a,b)\},}$  with the operation element by element. For instance, ${\displaystyle (1,b)^{*}(a,1)=\left(1^{*}a,b^{*}1\right)=(a,b),}$  and${\displaystyle (1,b)^{*}(1,b)=\left(1,b^{2}\right)=(1,1).}$ 

With a direct product, we get some natural group homomorphisms for free: the projection maps defined by

Also, every homomorphism ${\displaystyle f}$  to the direct product is totally determined by its component functions ${\displaystyle f_{i}=\pi _{i}\circ f.}$ 

For any group ${\displaystyle (G,\circ )}$  and any integer ${\displaystyle n\geq 0,}$  repeated application of the direct product gives the group of all ${\displaystyle n}$ -tuples ${\displaystyle G^{n}}$  (for ${\displaystyle n=0,}$  this is the trivial group), for example ${\displaystyle \mathbb {Z} ^{n}}$  and ${\displaystyle \mathbb {R} ^{n}.}$ 

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 ${\displaystyle \mathbb {R} }$  we get Euclidean space ${\displaystyle \mathbb {R} ^{n},}$  the prototypical example of a real ${\displaystyle n}$ -dimensional vector space. The direct product of ${\displaystyle \mathbb {R} ^{m}}$  and ${\displaystyle \mathbb {R} ^{n}}$  is ${\displaystyle \mathbb {R} ^{m+n}.}$ 

Note that a direct product for a finite index ${\textstyle \prod _{i=1}^{n}X_{i}}$  is canonically isomorphic to the direct sum ${\textstyle \bigoplus _{i=1}^{n}X_{i}.}$  The direct sum and direct product are not isomorphic 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 ${\textstyle X=\prod _{i=1}^{\infty }\mathbb {R} }$  and ${\textstyle Y=\bigoplus _{i=1}^{\infty }\mathbb {R} ,}$  the infinite direct product and direct sum of the real numbers. Only sequences with a finite number of non-zero elements are in ${\displaystyle Y.}$  For example, ${\displaystyle (1,0,0,0,\ldots )}$  is in ${\displaystyle Y}$  but ${\displaystyle (1,1,1,1,\ldots )}$  is not. Both of these sequences are in the direct product ${\displaystyle X;}$  in fact, ${\displaystyle Y}$  is a proper subset of ${\displaystyle X}$  (that is, ${\displaystyle Y\subset X}$ ).^[1][2]

The direct product for a collection of topological spaces ${\displaystyle X_{i}}$  for ${\displaystyle i}$  in ${\displaystyle I,}$  some index set, once again makes use of the Cartesian product

Defining the topology is a little tricky. For finitely many factors, this is the obvious and natural thing to do: simply take as a basis of open sets to be the collection of all Cartesian products of open subsets from each factor:

This topology is called the product topology. For example, directly defining the product topology on ${\displaystyle \mathbb {R} ^{2}}$  by the open sets of ${\displaystyle \mathbb {R} }$  (disjoint unions of open intervals), the basis for this topology would consist of all disjoint unions of open rectangles in the plane (as it turns out, it coincides with the usual metric topology).

The product topology for infinite products has a twist, and this has to do with being able to make all the projection maps continuous and to make all functions into the product continuous if and only if all its component functions are continuous (that is, to satisfy the categorical definition of product: the morphisms here are continuous functions): we take as a basis of open sets to be the collection of all Cartesian products of open subsets from each factor, as before, with the proviso that all but finitely many of the open subsets are the entire factor:

The more natural-sounding topology would be, in this case, to take products of infinitely many open subsets as before, and this does yield a somewhat interesting topology, the box topology. However it is not too difficult to find an example of bunch of continuous component functions whose product function is not continuous (see the separate entry box topology for an example and more). The problem that makes the twist necessary is ultimately rooted in the fact that the intersection of open sets is only guaranteed to be open for finitely many sets in the definition of topology.

Products (with the product topology) are nice with respect to preserving properties of their factors; for example, the product of Hausdorff spaces is Hausdorff; the product of connected spaces is connected, and the product of compact spaces is compact. That last one, called Tychonoff's theorem, is yet another equivalence to the axiom of choice.

For more properties and equivalent formulations, see the separate entry product topology.

On the Cartesian product of two sets with binary relations ${\displaystyle R{\text{ and }}S,}$  define ${\displaystyle (a,b)T(c,d)}$  as ${\displaystyle aRc{\text{ and }}bSd.}$  If ${\displaystyle R{\text{ and }}S}$  are both reflexive, irreflexive, transitive, symmetric, or antisymmetric, then ${\displaystyle T}$  will be also.^[3] Similarly, totality of ${\displaystyle T}$  is inherited from ${\displaystyle R{\text{ and }}S.}$  Combining properties it follows that this also applies for being a preorder and being an equivalence relation. However, if ${\displaystyle R{\text{ and }}S}$  are connected relations, ${\displaystyle T}$  need not be connected; for example, the direct product of ${\displaystyle \,\leq \,}$  on ${\displaystyle \mathbb {N} }$  with itself does not relate ${\displaystyle (1,2){\text{ and }}(2,1).}$ 

If ${\displaystyle \Sigma }$  is a fixed signature, ${\displaystyle I}$  is an arbitrary (possibly infinite) index set, and ${\displaystyle \left(\mathbf {A} _{i}\right)_{i\in I}}$  is an indexed family of ${\displaystyle \Sigma }$  algebras, the direct product ${\textstyle \mathbf {A} =\prod _{i\in I}\mathbf {A} _{i}}$  is a ${\displaystyle \Sigma }$  algebra defined as follows:

• The universe set ${\displaystyle A}$  of ${\displaystyle \mathbf {A} }$  is the Cartesian product of the universe sets ${\displaystyle A_{i}}$  of ${\displaystyle \mathbf {A} _{i},}$  formally: ${\textstyle A=\prod _{i\in I}A_{i}.}$ 
• For each ${\displaystyle n}$  and each ${\displaystyle n}$ -ary operation symbol ${\displaystyle f\in \Sigma ,}$  its interpretation ${\displaystyle f^{\mathbf {A} }}$  in ${\displaystyle \mathbf {A} }$  is defined componentwise, formally: for all ${\displaystyle a_{1},\dotsc ,a_{n}\in A}$  and each ${\displaystyle i\in I,}$  the ${\displaystyle i}$ th component of ${\displaystyle f^{\mathbf {A} }\!\left(a_{1},\dotsc ,a_{n}\right)}$  is defined as ${\displaystyle f^{\mathbf {A} _{i}}\!\left(a_{1}(i),\dotsc ,a_{n}(i)\right).}$ 

For each ${\displaystyle i\in I,}$  the ${\displaystyle i}$ th projection ${\displaystyle \pi _{i}:A\to A_{i}}$  is defined by ${\displaystyle \pi _{i}(a)=a(i).}$  It is a surjective homomorphism between the ${\displaystyle \Sigma }$  algebras ${\displaystyle \mathbf {A} {\text{ and }}\mathbf {A} _{i}.}$ ^[4]

As a special case, if the index set ${\displaystyle I=\{1,2\},}$  the direct product of two ${\displaystyle \Sigma }$  algebras ${\displaystyle \mathbf {A} _{1}{\text{ and }}\mathbf {A} _{2}}$  is obtained, written as ${\displaystyle \mathbf {A} =\mathbf {A} _{1}\times \mathbf {A} _{2}.}$  If ${\displaystyle \Sigma }$  just contains one binary operation ${\displaystyle f,}$  the above definition of the direct product of groups is obtained, using the notation ${\displaystyle A_{1}=G,A_{2}=H,}$  ${\displaystyle f^{A_{1}}=\circ ,\ f^{A_{2}}=\cdot ,\ {\text{ and }}f^{A}=\times .}$  Similarly, the definition of the direct product of modules is subsumed here.

The direct product can be abstracted to an arbitrary category. In a category, given a collection of objects ${\displaystyle (A_{i})_{i\in I}}$  indexed by a set ${\displaystyle I}$ , a product of these objects is an object ${\displaystyle A}$  together with morphisms ${\displaystyle p_{i}\colon A\to A_{i}}$  for all ${\displaystyle i\in I}$ , such that if ${\displaystyle B}$  is any other object with morphisms ${\displaystyle f_{i}\colon B\to A_{i}}$  for all ${\displaystyle i\in I}$ , there exists a unique morphism ${\displaystyle B\to A}$  whose composition with ${\displaystyle p_{i}}$  equals ${\displaystyle f_{i}}$  for every ${\displaystyle i}$ . Such ${\displaystyle A}$  and ${\displaystyle (p_{i})_{i\in I}}$  do not always exist. If they do exist, then ${\displaystyle (A,(p_{i})_{i\in I})}$  is unique up to isomorphism, and ${\displaystyle A}$  is denoted ${\displaystyle \prod _{i\in I}A_{i}}$ .

In the special case of the category of groups, a product always exists: the underlying set of ${\displaystyle \prod _{i\in I}A_{i}}$  is the Cartesian product of the underlying sets of the ${\displaystyle A_{i}}$ , the group operation is componentwise multiplication, and the (homo)morphism ${\displaystyle p_{i}\colon A\to A_{i}}$  is the projection sending each tuple to its ${\displaystyle i}$ th coordinate.

Some authors draw a distinction between an internal direct product and an external direct product. If ${\displaystyle A,B\subseteq X}$  and ${\displaystyle A\times B\cong X,}$  then we say that ${\displaystyle X}$  is an internal direct product of ${\displaystyle A{\text{ and }}B,}$  while if ${\displaystyle A{\text{ and }}B}$  are not subobjects then we say that this is an external direct product.

• Direct sum – Operation in abstract algebra composing objects into "more complicated" objects
• Cartesian product – Mathematical set formed from two given sets
• Coproduct – Category-theoretic construction
• Free product – Operation that combines groups
• Semidirect product – Operation in group theory
• Zappa–Szep product – Mathematics conceptPages displaying short descriptions of redirect targets
• Tensor product of graphs – Operation in graph theory
• Orders on the Cartesian product of totally ordered sets – Order whose elements are all comparable

• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556