Algèbre sur un anneau

module sur un anneau dont la multiplication est bilinéaire

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 :

  1. (E, +, ∙) est un module sur A ;
  2. la loi de composition interne ×, de E × E dans E, est bilinéaire.

Définitions

modifier

Soient A un anneau commutatif et E un module sur A muni d'une opération binaire  . Si cette opération binaire est bilinéaire, ce qui signifie que pour tous   (éléments du module) et pour tout   (scalaires), ces identités sont vraies :

  •  
  •  
  •  

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[1].

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   pour les lois internes (addition et multiplication) et le produit par des scalaires :

 

pour tous   et tout  .

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

modifier
  • 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   et des pseudo-anneaux   qui sont des  -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  , la  -algèbre non associative    est la multiplication externe et   le produit vectoriel.

Notes et références

modifier
  1. N. Bourbaki, Algèbre, 1970, chap. III, p. 2.

Articles connexes

modifier