Algèbre associative

Un article de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 5 avril 2018 à 23:05 et modifiée en dernier par Anne Bauval (discuter | contributions). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'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 d'algèbre sur un anneau.

Définition formelle[modifier | modifier le code]

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,

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[modifier | modifier le code]

  • Tout anneau (M, + , × ) (et même tout pseudo-anneau) est aussi une -algèbre associative pour la loi externe définie par : pour tout entier et tout élément de M,
  • Tout anneau est une algèbre associative sur son centre, donc sur tout sous-anneau A de ce centre.
  • Soit A un anneau commutatif.

Définition équivalente[modifier | modifier le code]

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

Soient A un anneau commutatif, B un anneau, et un morphisme d'anneaux tel que f(A) soit dans le centre de B. On peut alors définir une loi externe 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, est un morphisme d'anneaux tel que

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

Voir aussi[modifier | modifier le code]

Note et référence[modifier | modifier le code]

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