Algèbre associative

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”