title: Produit direct
text: # 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.
  
  