In

A Course in Universal Algebra.

' Springer-Verlag. . Here: Def.7.8, p.53 (=p. 67 in pdf file) As a special case, if the index set $I\; =\; \backslash ,$ the direct product of two $\backslash Sigma$ algebras $\backslash mathbf\_1\; \backslash text\; \backslash mathbf\_2$ is obtained, written as $\backslash mathbf\; =\; \backslash mathbf\_1\; \backslash times\; \backslash mathbf\_2.$ If $\backslash Sigma$ just contains one binary operation $f,$ the above definition of the direct product of groups is obtained, using the notation $A\_1\; =\; G,\; A\_2\; =\; H,$ $f^\; =\; \backslash circ,\; \backslash \; f^\; =\; \backslash cdot,\; \backslash \; \backslash text\; f^A\; =\; \backslash times.$ Similarly, the definition of the direct product of modules is subsumed here.

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is
: A\tim ...

of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one talks about the product in category theory, which formalizes these notions.
Examples are the product of sets, groups (described below), rings
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...

, and other algebraic structures. The product of topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called point ...

s is another instance.
There is also the direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...

– in some areas this is used interchangeably, while in others it is a different concept.
Examples

* If we think of $\backslash R$ as the set of real numbers, then the direct product $\backslash R\; \backslash times\; \backslash R$ is just the Cartesian product $\backslash .$ * If we think of $\backslash R$ as the group of real numbers under addition, then the direct product $\backslash R\backslash times\; \backslash R$ still has $\backslash $ as its underlying set. The difference between this and the preceding example is that $\backslash R\; \backslash times\; \backslash R$ is now a group, and so we have to also say how to add their elements. This is done by defining $(a,b)\; +\; (c,d)\; =\; (a+c,\; b+d).$ * If we think of $\backslash R$ as the ring of real numbers, then the direct product $\backslash R\backslash times\; \backslash R$ again has $\backslash $ as its underlying set. The ring structure consists of addition defined by $(a,b)\; +\; (c,d)\; =\; (a+c,\; b+d)$ and multiplication defined by $(a,b)\; (c,d)\; =\; (ac,\; bd).$ * Although the ring $\backslash R$ is a field, $\backslash R\; \backslash times\; \backslash R$ is not one, because the element $(1,0)$ does not have amultiplicative inverse
In mathematics, a multiplicative inverse or reciprocal for a number ''x'', denoted by 1/''x'' or ''x''−1, is a number which when multiplied by ''x'' yields the multiplicative identity, 1. The multiplicative inverse of a fraction ''a''/''b ...

.
In a similar manner, we can talk about the direct product of finitely many algebraic structures, for example, $\backslash R\; \backslash times\; \backslash R\; \backslash times\; \backslash R\; \backslash times\; \backslash R.$ This relies on the fact that the direct product is associative
In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement ...

up to Two mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R''
* if ''a'' and ''b'' are related by ''R'', that is,
* if ''aRb'' holds, that is,
* if the equivalence classes of ''a'' and ''b'' with respect to ''R'' ...

isomorphism
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word i ...

. That is, $(A\; \backslash times\; B)\; \backslash times\; C\; \backslash cong\; A\; \backslash times\; (B\; \backslash times\; C)$ for any algebraic structures $A,$ $B,$ and $C$ of the same kind. The direct product is also commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name of ...

up to isomorphism, that is, $A\; \backslash times\; B\; \backslash cong\; B\; \backslash times\; A$ for any algebraic structures $A$ and $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 $\backslash mathbb\; R,$ which we write as $\backslash R\; \backslash times\; \backslash R\; \backslash times\; \backslash R\; \backslash times\; \backslash dotsb.$
Group direct product

Ingroup theory
In abstract algebra, group theory studies the algebraic structures known as groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as ...

one can define the direct product of two groups $(G,\; \backslash circ)$ and $(H,\; \backslash cdot),$ denoted by $G\; \backslash times\; H.$ For abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commu ...

s which are written additively, it may also be called the direct sum of two groups, denoted by $G\; \backslash oplus\; H.$
It is defined as follows:
* the set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...

of the elements of the new group is the ''Cartesian product'' of the sets of elements of $G\; \backslash text\; H,$ that is $\backslash ;$
* on these elements put an operation, defined element-wise: $$(g,\; h)\; \backslash times\; \backslash left(g\text{'},\; h\text{'}\backslash right)\; =\; \backslash left(g\; \backslash circ\; g\text{'},\; h\; \backslash cdot\; h\text{'}\backslash right)$$
Note that $(G,\; \backslash circ)$ may be the same as $(H,\; \backslash cdot).$
This construction gives a new group. It has a normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G ...

isomorphic to $G$ (given by the elements of the form $(g,\; 1)$), and one isomorphic to $H$ (comprising the elements $(1,\; h)$).
The reverse also holds. There is the following recognition theorem: If a group $K$ contains two normal subgroups $G\; \backslash text\; H,$ such that $K\; =\; GH$ and the intersection of $G\; \backslash text\; H$ contains only the identity, then $K$ is isomorphic to $G\; \backslash times\; H.$ A relaxation of these conditions, requiring only one subgroup to be normal, gives the semidirect product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:
* an ''inner'' semidirect product is a particular way in wh ...

.
As an example, take as $G\; \backslash text\; H$ two copies of the unique (up to isomorphisms) group of order 2, $C^2:$ say $\backslash \; \backslash text\; \backslash .$ Then $C\_2\; \backslash times\; C\_2\; =\; \backslash ,$ with the operation element by element. For instance, $(1,b)^*\; (a,1)\; =\; \backslash left(1^*\; a,\; b^*\; 1\backslash right)\; =\; (a,\; b),$ and$(1,b)^*\; (1,\; b)\; =\; \backslash left(1,\; b^2\backslash right)\; =\; (1,\; 1).$
With a direct product, we get some natural group homomorphism
In mathematics, given two groups, (''G'', ∗) and (''H'', ·), a group homomorphism from (''G'', ∗) to (''H'', ·) is a function ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that
: h(u*v) = h(u) \cdot h(v)
w ...

s for free: the projection maps defined by
$$\backslash begin\; \backslash pi\_1:\; G\; \backslash times\; H\; \backslash to\; G,\; \backslash \; \backslash \; \backslash pi\_1(g,\; h)\; \&=\; g\; \backslash \backslash \; \backslash pi\_2:\; G\; \backslash times\; H\; \backslash to\; H,\; \backslash \; \backslash \; \backslash pi\_2(g,\; h)\; \&=\; h\; \backslash end$$
are called the coordinate functions.
Also, every homomorphism $f$ to the direct product is totally determined by its component functions $f\_i\; =\; \backslash pi\_i\; \backslash circ\; f.$
For any group $(G,\; \backslash circ)$ and any integer $n\; \backslash geq\; 0,$ repeated application of the direct product gives the group of all $n$-tuple
In mathematics, a tuple is a finite ordered list ( sequence) of elements. An -tuple is a sequence (or ordered list) of elements, where is a non-negative integer. There is only one 0-tuple, referred to as ''the empty tuple''. An -tuple is de ...

s $G^n$ (for $n\; =\; 0,$ this is the trivial group
In mathematics, a trivial group or zero group is a group consisting of a single element. All such groups are isomorphic, so one often speaks of the trivial group. The single element of the trivial group is the identity element and so it is usually ...

), for example $\backslash Z^n$ and $\backslash R^n.$
Direct product of modules

The direct product for modules (not to be confused with thetensor product
In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes ...

) 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 $\backslash R$ we get Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean ...

$\backslash R^n,$ the prototypical example of a real $n$-dimensional vector space. The direct product of $\backslash R^m$ and $\backslash R^n$ is $\backslash R^.$
Note that a direct product for a finite index $\backslash prod\_^n\; X\_i$ is canonically isomorphic to the direct sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...

$\backslash bigoplus\_^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
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

: the direct sum is the coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The copro ...

, while the direct product is the product.
For example, consider $X\; =\; \backslash prod\_^\backslash infty\; \backslash R$ and $Y\; =\; \backslash bigoplus\_^\backslash infty\; \backslash R,$ the infinite direct product and direct sum of the real numbers. Only sequences with a finite number of non-zero elements are in $Y.$ For example, $(1,\; 0,\; 0,\; 0,\; \backslash ldots)$ is in $Y$ but $(1,\; 1,\; 1,\; 1,\; \backslash ldots)$ is not. Both of these sequences are in the direct product $X;$ in fact, $Y$ is a proper subset of $X$ (that is, $Y\; \backslash subset\; X$).
Topological space direct product

The direct product for a collection oftopological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called point ...

s $X\_i$ for $i$ in $I,$ some index set, once again makes use of the Cartesian product
$$\backslash prod\_\; X\_i.$$
Defining the topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

is a little tricky. For finitely many factors, this is the obvious and natural thing to do: simply take as a basis
Basis may refer to:
Finance and accounting
*Adjusted basis, the net cost of an asset after adjusting for various tax-related items
*Basis point, 0.01%, often used in the context of interest rates
*Basis trading, a trading strategy consisting of ...

of open sets to be the collection of all Cartesian products of open subsets from each factor:
$$\backslash mathcal\; B\; =\; \backslash left\backslash .$$
This topology is called the product topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seemin ...

. For example, directly defining the product topology on $\backslash R^2$ by the open sets of $\backslash 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:
$$\backslash mathcal\; B\; =\; \backslash left\backslash .$$
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 which 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
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collection o ...

.
For more properties and equivalent formulations, see the separate entry product topology
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seemin ...

.
Direct product of binary relations

On the Cartesian product of two sets withbinary relation
In mathematics, a binary relation associates elements of one set, called the ''domain'', with elements of another set, called the ''codomain''. A binary relation over sets and is a new set of ordered pairs consisting of elements in and in ...

s $R\; \backslash text\; S,$ define $(a,\; b)\; T\; (c,\; d)$ as $a\; R\; c\; \backslash text\; b\; S\; d.$ If $R\; \backslash text\; S$ are both reflexive, irreflexive, transitive, symmetric
Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...

, or antisymmetric, then $T$ will be also. Similarly, totality of $T$ is inherited from $R\; \backslash text\; S.$ Combining properties it follows that this also applies for being a preorder
In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. Preorders are more general than equivalence relations and (non-strict) partial orders, both of which are special cas ...

and being an equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation.
Each equivalence relatio ...

. However if $R\; \backslash text\; S$ are connected relations, $T$ need not be connected; for example, the direct product of $\backslash ,\backslash leq\backslash ,$ on $\backslash N$ with itself does not relate $(1,\; 2)\; \backslash text\; (2,\; 1).$
Direct product in universal algebra

If $\backslash Sigma$ is a fixedsignature
A signature (; from la, signare, "to sign") is a handwritten (and often stylized) depiction of someone's name, nickname, or even a simple "X" or other mark that a person writes on documents as a proof of identity and intent. The writer of a ...

, $I$ is an arbitrary (possibly infinite) index set, and $\backslash left(\backslash mathbf\_i\backslash right)\_$ is an indexed family
In mathematics, a family, or indexed family, is informally a collection of objects, each associated with an index from some index set. For example, a ''family of real numbers, indexed by the set of integers'' is a collection of real numbers, whe ...

of $\backslash Sigma$ algebras, the direct product $\backslash mathbf\; =\; \backslash prod\_\; \backslash mathbf\_i$ is a $\backslash Sigma$ algebra defined as follows:
* The universe set $A$ of $\backslash mathbf$ is the Cartesian product of the universe sets $A\_i$ of $\backslash mathbf\_i,$ formally: $A\; =\; \backslash prod\_\; A\_i.$
* For each $n$ and each $n$-ary operation symbol $f\; \backslash in\; \backslash Sigma,$ its interpretation $f^$ in $\backslash mathbf$ is defined componentwise, formally: for all $a\_1,\; \backslash dotsc,\; a\_n\; \backslash in\; A$ and each $i\; \backslash in\; I,$ the $i$th component of $f^\backslash !\backslash left(a\_1,\; \backslash dotsc,\; a\_n\backslash right)$ is defined as $f^\backslash !\backslash left(a\_1(i),\; \backslash dotsc,\; a\_n(i)\backslash right).$
For each $i\; \backslash in\; I,$ the $i$th projection $\backslash pi\_i\; :\; A\; \backslash to\; A\_i$ is defined by $\backslash pi\_i(a)\; =\; a(i).$ It is a surjective homomorphism between the $\backslash Sigma$ algebras $\backslash mathbf\; \backslash text\; \backslash mathbf\_i.$Stanley N. Burris and H.P. Sankappanavar, 1981. A Course in Universal Algebra.

' Springer-Verlag. . Here: Def.7.8, p.53 (=p. 67 in pdf file) As a special case, if the index set $I\; =\; \backslash ,$ the direct product of two $\backslash Sigma$ algebras $\backslash mathbf\_1\; \backslash text\; \backslash mathbf\_2$ is obtained, written as $\backslash mathbf\; =\; \backslash mathbf\_1\; \backslash times\; \backslash mathbf\_2.$ If $\backslash Sigma$ just contains one binary operation $f,$ the above definition of the direct product of groups is obtained, using the notation $A\_1\; =\; G,\; A\_2\; =\; H,$ $f^\; =\; \backslash circ,\; \backslash \; f^\; =\; \backslash cdot,\; \backslash \; \backslash text\; f^A\; =\; \backslash times.$ Similarly, the definition of the direct product of modules is subsumed here.

Categorical product

The direct product can be abstracted to an arbitrarycategory
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
* Category of being
* ''Categories'' (Aristotle)
* Category (Kant)
*Categories (Peirce)
...

. In a category, given a collection of objects $(A\_i)\_$ indexed by a set $I$, a product of these objects is an object $A$ together with morphism
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms a ...

s $p\_i\; \backslash colon\; A\; \backslash to\; A\_i$ for all $i\; \backslash in\; I$, such that if $B$ is any other object with morphisms $f\_i\; \backslash colon\; B\; \backslash to\; A\_i$ for all $i\; \backslash in\; I$, there exists a unique morphism $B\; \backslash to\; A$ whose composition with $p\_i$ equals $f\_i$ for every $i$.
Such $A$ and $(p\_i)\_$ do not always exist. If they do exist, then $(A,(p\_i)\_)$ is unique up to isomorphism, and $A$ is denoted $\backslash prod\_\; A\_i$.
In the special case of the category of groups, a product always exists: the underlying set of $\backslash prod\_\; A\_i$ is the Cartesian product of the underlying sets of the $A\_i$, the group operation is componentwise multiplication, and the (homo)morphism $p\_i\; \backslash colon\; A\; \backslash to\; A\_i$ is the projection sending each tuple to its $i$th coordinate.
Internal and external direct product

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

* * * * * * * *Notes

References

* {{DEFAULTSORT:Direct Product Abstract algebra ru:Прямое произведение#Прямое произведение групп