Algèbre associative
Page d'aide sur l'homonymie Pour les articles homonymes, voir Algèbre (homonymie).

En mathématiques, une algèbre associative (sur un anneau commutatif A) est un anneau (ou simplement un pseudo-anneau) B, muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier de la structure d'algèbre sur A.

Sommaire

Définition formelle

Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque :

  1. (B , + , . ) est un A-module,
  2. (B , + , × ) est un pseudo-anneau,
  3. \forall \lambda \in A,~\forall x, y \in B,\qquad\lambda \cdot (x \times y) = x \times (\lambda \cdot y) = (\lambda \cdot x) \times y~.

Les éléments de A sont appelés les scalaires.

Dans le cas particulier où l'anneau A est un corps, on parle alors d'algèbre associative sur un corps.

On parle d'algèbre unitaire (ou unifère) lorsque B possède un neutre pour la multiplication.

Exemples

Soit A un anneau commutatif.

  • L'ensemble des endomorphismes d'un A-module est une A-algèbre associative.
  • Tout anneau (M , + , × ) (et même tout pseudo-anneau) est aussi une \scriptstyle\Z-algèbre associative pour la loi externe définie par : pour tout entier n,
\left\{\begin{matrix}\text{si }n>0\text{ alors }&n\cdot x=\underbrace{x+x+\ldots+x}_{n\ \mathrm{fois}}~,\\
\text{si }n<0\text{ alors }&n\cdot x=\underbrace{-x-x-\ldots-x}_{|n|\ \mathrm{fois}}~,\\
\text{si }n=0\text{ alors }&n\cdot x=0~.\end{matrix}\right.

Définition équivalente

Il existe une définition équivalente[1] lorsque l'algèbre B est unifère :

Soient A un anneau commutatif, B un anneau, et f\,:\,A\to B un homomorphisme d'anneaux tel que f(A) soit dans le centre de B. On peut alors définir une loi externe (a,b)\mapsto f(a)b qui munit B d'une structure de A-algèbre associative (et unifère).

Inversement, si B est une A-algèbre associative et unifère, le morphisme f\,:\,a\mapsto a.1_B est un morphisme d'anneau tel que

(a.1_B)\times x=1_B\times(a.x)=(a.x)\times 1_B=x\times (a.1_B) donc f(a)\times x=x\times f(a)~;

l'image de A est donc contenue dans le centre de B.

Voir aussi

Notes et références

  1. Définition utilisée par exemple dans Serge Lang, Algèbre [détail des éditions]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algèbre associative de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Algebre associative — Algèbre associative En mathématiques, une algèbre associative est un espace vectoriel dans lequel est aussi définie une multiplication des vecteurs, qui possède les propriétés de distributivité et d associativité. Définition Une algèbre… …   Wikipédia en Français

  • Algèbre Associative — En mathématiques, une algèbre associative est un espace vectoriel dans lequel est aussi définie une multiplication des vecteurs, qui possède les propriétés de distributivité et d associativité. Définition Une algèbre associative A sur un corps… …   Wikipédia en Français

  • Algèbre associative sur un anneau — En mathématiques, une algèbre associative sur un anneau est une structure algébrique sur un anneau commutatif unitaire A telle que B soit muni d une structure de A module et d une structure d anneau telle que la loi de multiplication de l anneau… …   Wikipédia en Français

  • Algèbre associative sur un corps — En mathématiques, une algèbre associative sur un corps (commutatif) est un espace vectoriel dans lequel est aussi définie une multiplication des vecteurs, qui possède les propriétés de distributivité, de bilinéarité et d associativité. Autrement… …   Wikipédia en Français

  • Algebre sur un anneau — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

  • Algebre sur un corps — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

  • Algèbre (structure) — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

  • Algèbre Sur Un Anneau — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

  • Algèbre Sur Un Corps — En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

  • Algèbre sur un anneau commutatif — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”