title: Algèbre sur un anneau
text: # Algèbre sur un anneau
  
  En mathématiques, et plus précisément en algèbre générale, une algèbre sur un anneau commutatif A est une structure algébrique qui se définit comme suit :
  
  (E, A, +, ∙, ×) est une algèbre sur A, ou une A-algèbre, si :
  
  * (E, +, ∙) est un module sur A ;
  * la loi de composition interne ×, de E × E dans E, est bilinéaire.
  
  ## Définitions
  
  Soient A un anneau commutatif et E un module sur A muni d'une opération binaire $\times :E\times E\to E,(x,y)\mapsto x\times y$. Si cette opération binaire est bilinéaire, ce qui signifie que pour tous $x,y,z\in E\,$ (éléments du module) et pour tout $a\in A$ (scalaires), ces identités sont vraies :
  
  * $(x+y)\times z=(x\times z)+(y\times z)~;$
  * $x\times (y+z)=(x\times y)+(x\times z)~;$
  * $(a\cdot x)\times y=a\cdot (x\times y)=x\times (a\cdot y),$
  
  alors E est une algèbre sur A. On dit aussi que E est une A-algèbre où A est la base de l'algèbre E. L'opération bilinéaire est appelé la multiplication dans l'algèbre E.
  
  Lorsque A est un corps commutatif, (E,+,.) est un espace vectoriel sur A.
  
  Un morphisme entre deux A-algèbres E et F est un morphisme $\,f\,:\,E\to F$ pour les lois internes (addition et multiplication) et le produit par des scalaires :
  
  $f(x+y)=f(x)+f(y),~f(x\times y)=f(x)\times f(y)~{\text{et}}~f(a\cdot x)=a\cdot f(x)$
  
  pour tous $x,y\in E$ et tout $a\in A$.
  
  Un morphisme est un isomorphisme si et seulement s'il est bijectif (son inverse est alors automatiquement un morphisme d'algèbres). Deux A-algèbres sont dites isomorphes s'il existe un isomorphisme de A-algèbres de l'une vers l'autre.
  
  ## Exemples
  
  * On trouve un grand nombre d'exemples d'algèbres dans les algèbres associatives, celles pour laquelle la seconde loi interne est associative. C'est ainsi le cas des anneaux $\mathbb {Z} /n\mathbb {Z}$ et des pseudo-anneaux $n\mathbb {Z}$ qui sont des $\mathbb {Z}$-algèbres. Dans cette grande famille des algèbres associatives, on trouve aussi des ensembles qui sont munis de deux lois internes qui font d'eux des anneaux et d'une loi externe qui en font des espaces vectoriels sur un corps ou des modules sur un anneau. C'est le cas de l'ensemble des matrices carrées de dimension n sur un anneau ou de l'ensemble des polynômes sur un anneau.
  * Parmi les algèbres non associatives, on peut citer :
     * les algèbres de Lie qui sont des algèbres non associatives sur un corps ;
     * pour un anneau $A$, la $A$-algèbre non associative $(A^{3},+,\cdot ,\wedge )$ où $\cdot$ est la multiplication externe et $\wedge$ le produit vectoriel.
  