Algèbre unitaire

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, une algèbre est dite unitaire ou unifère si elle possède un élément neutre pour la multiplication interne ×, c’est-à-dire un élément 1 tel que la propriété x = x×1 = x soit observée pour tous les éléments x de l’algèbre. Cet élément neutre l’étant à gauche et à droite, il est unique.

Si l’algèbre est en outre associative, cela est équivalent à dire que l’algèbre est un monoïde pour la multiplication.

Lien avec les anneaux unitaires[modifier | modifier le code]

On rappelle qu’une algèbre E possède trois lois de composition (sans compter les deux lois de l’anneau commutatif A sur lequel est établie l’algèbre) :

En supposant E unitaire et en notant 1E son élément neutre, on a alors :

λA, ∀xE, λx = λ⋅(1E×x) = (λ⋅1Ex.

En identifiant chaque scalaire λ de A au vecteur λ⋅1E de E, on peut alors identifier la multiplication externe par le scalaire λ à la multiplication interne par le vecteur λ⋅1E. L’identification de ces deux lois de composition permet alors d’identifier les algèbres unitaires à des anneaux unitaires (non nécessairement associatifs (en)), lesquels n’ont que deux lois internes.

Un exemple typique est celui des nombres hypercomplexes, traités soit comme des algèbres unitaires soit comme de simples anneaux unitaires (non nécessairement associatifs) selon les circonstances.