# Produit direct

La plupart des structures algébriques permettent de construire de façon très simple une structure produit sur le produit cartésien des ensembles sous-jacents. Plus généralement, on peut appeler produit direct un produit qui commute avec le foncteur d'oubli[réf. souhaitée]. C'est le cas de la topologie produit dans la catégorie des espaces topologiques.

## Produit direct de deux magmas

Soient E un ensemble muni d'une loi de composition interne $*_{E}$ et F un ensemble muni d'une loi de composition interne $*_{F}$. On peut définir une loi de composition interne $*$ sur le produit cartésien E×F de la façon suivante :
$(x,y)*(x',y')=(x*_{E}x',y*_{F}y').$

## Propriétés

* Si $*_{E}$ et $*_{F}$ sont associatives, alors la loi $*$ est associative.
* Si $*_{E}$ et $*_{F}$ sont commutatives, alors la loi $*$ est commutative.
* Si $*_{E}$ admet un élément neutre e et si $*_{F}$ admet un élément neutre f, alors $(e,f)$ est neutre pour $*$.
** Si de plus x admet un symétrique x' pour $*_{E}$ et si y admet un symétrique y' pour $*_{F}$, alors (x, y) admet (x', y') comme symétrique.

## Produit direct de magmas

Soit (E$_i$)$_{i∈I}$ une famille d'ensembles, chaque E$_i$ étant muni d'une loi de composition interne $\star _{i}$. On peut définir une loi de composition interne $*$ sur le produit cartésien ∏$_{i∈I}$ E$_i$ de la façon suivante :
$(x_{i})_{i\in I}*(x'_{i})_{i\in I}=(x_{i}\star _{i}x'_{i})_{i\in I}$
Cette construction est valable que I soit un ensemble fini ou infini.

## Propriétés

* Si chaque loi $\star _{i}$ est associative, la loi $*$ est associative.
* Si chaque loi $\star _{i}$ est commutative, la loi $*$ est commutative.
* Si chaque loi $\star _{i}$ possède un élément neutre e$_i$ (respectivement neutre à droite, respectivement neutre à gauche), la famille (e$_i$)$_{i∈I}$ est neutre (respectivement neutre à droite, respectivement neutre à gauche) pour $*$.
* Si chaque loi $\star _{i}$ possède un élément neutre et si dans chaque E$_i$, un élément quelconque x$_i$ possède un symétrique (respectivement symétrique à droite, respectivement symétrique à gauche) y$_i$, alors la famille (x$_i$)$_{i∈I}$ admet la famille (y$_i$)$_{i∈I}$ comme symétrique (respectivement symétrique à droite, respectivement symétrique à gauche).
En particulier, le produit direct d'une famille de groupes est un groupe.

## Produit direct d'anneaux

Soit (E$_i$)$_{i∈I}$ une famille d'ensembles, chaque E$_i$ étant muni de deux lois $+_{i}$ et $*_{i}$. On peut comme précédemment définir une loi $+$, produit direct des $+_{i}$ et une loi $*$, produit direct des lois $*_{i}$.
Si chaque loi $*_{i}$ est distributive par rapport à la loi $+_{i}$, alors la loi $*$ est distributive par rapport à la loi $+$.
En particulier, si chaque E$_i$ est muni d'une structure d'anneau, on construit ainsi un anneau produit direct.

## Produit direct d'espaces vectoriels

Soit une famille (E$_i$)$_{i∈I}$ d'espaces vectoriels sur un même corps K. Les lois suivantes font du produit cartésien ∏$_{i∈I}$ E$_i$ un K-espace vectoriel, appelé produit de la famille (E$_i$)$_{i∈I}$ :
$(u_{i})_{i\in I}+(v_{i})_{i\in I}=(u_{i}+v_{i})_{i\in I},\quad \lambda (u_{i})_{i\in I}=(\lambda u_{i})_{i\in I}.$
Le vecteur nul est la famille (0)$_{i∈I}$ formée par les vecteurs nuls des espaces E$_i$.
Lorsque tous les E$_i$ sont égaux à un même K-espace vectoriel E (par exemple à K, vu comme K-droite vectorielle), ∏$_{i∈I}$ E$_i$ est l'espace vectoriel E$^I$ des applications de I dans E.