Algèbre flexible

En mathématiques, en particulier en algèbre, une opération binaire • sur un ensemble est dite flexible si l'identité flexible est satisfaite :

a ( b a ) = ( a b ) a {\displaystyle a\bullet \left(b\bullet a\right)=\left(a\bullet b\right)\bullet a}

pour tous a et b dans l'ensemble. Un magma (c'est-à-dire un ensemble muni d'une opération binaire) est flexible si l'opération binaire dont il est muni est flexible. De même, une algèbre non associative est flexible si son produit est flexible.

Toute opération commutative ou associative est flexible, ce qui signifie la flexibilité n'est pertinente que pour les opérations binaires qui ne sont ni commutatives ni associatives, par exemple pour la multiplication des sédénions, éléments d'une algèbre qui n'est même pas alternative.

En 1954, Richard D. Schafer (en) a étudié les algèbres produites par la construction de Cayley-Dickson sur un corps et a montré que l'identité flexible est satisfaite[1].

Exemples

Mises à part les algèbres associatives, les classes d'algèbres non associatives suivantes sont flexibles :

De même, les classes de magmas non associatifs suivantes sont flexibles :

  • magmas alternatifs ;
  • demi-groupes (qui sont des magmas associatifs, et qui sont aussi alternatifs).

Les sédénions, ainsi que toutes les algèbres construites à partir de celle-ci en itérant la construction de Cayley-Dickson, sont également flexibles.

Voir aussi

Articles connexes

  • Anneau de Zorn (en)
  • Algèbre de Maltsev (en)

Notes et références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Flexible algebra » (voir la liste des auteurs).
  1. (en) Richard D. Schafer, « On the algebras formed by the Cayley-Dickson process », American Journal of Mathematics, vol. 76,‎ , p. 435–46 (DOI 10.2307/2372583)

Bibliographie

  • Richard D. Schafer, An introduction to non-associative algebras, Dover Publications, (1re éd. 1966) (ISBN 0-486-68813-5, zbMATH 0145.25601, lire en ligne Inscription nécessaire)
  • icône décorative Portail des mathématiques
  • icône décorative Portail de l’algèbre