Algèbre structurable
En algèbre abstraite, une algèbre structurable est un certain type d'algèbre unitaire non associative sur un corps munie d'une involution. Par exemple, toutes les algèbres de Jordan sont des algèbres structurables (avec l'involution triviale), de même que toute algèbre alternative munie d'une involution, ou encore toute algèbre centrale simple munie d'une involution. Ici, involution signifie un anti-homomorphisme linéaire dont le carré est l'identité[1].
On suppose que A est une algèbre unitaire non associative sur un corps et que est une involution. On définit, pour , et dans A, et . On dit que A est une algèbre structurable si pour tous , , et , on a[2]
![{\displaystyle [x,y]=xy-yx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42b4220c8122ebd2a21c517ca80639581679cfa6)
![{\displaystyle [V_{x,y},V_{z,w}]=V_{V_{x,y}z,w}-V_{z,V_{y,x}w}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d1641c880d6bb97c39a9966640b9bf81669dc99)
Les algèbres structurables ont été introduites par Allison en 1978[3]. Il est connu que la construction de Kantor-Koecher-Tits produit une algèbre de Lie à partir de n'importe quelle algèbre de Jordan. Cette construction peut être généralisée de sorte à produire algèbre de Lie à partir de n'importe quelle algèbre structurable. De plus, Allison a démontré que sur des corps de caractéristique nulle, une algèbre structurable est centrale simple si et seulement si l'algèbre de Lie correspondante est centrale simple[1].
Un autre exemple d'algèbre structurable est une algèbre non associative de dimension 56 étudiée à l'origine par Brown en 1963, qui peut être construite à partir d'une algèbre d'Albert[4]. Lorsque le corps de base est algébriquement clos et de caractéristique différente de 2 et 3, la composante neutre du groupe d'automorphismes d'une telle algèbre est le groupe algébrique exceptionnel simplement connexe de type E6[5].
Voir aussi modifier
Articles connexes modifier
Notes et références modifier
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Structurable algebra » (voir la liste des auteurs).
- Schafer 1985.
- Garibaldi 2001.
- Garibaldi 2001, p. 658.
- Brown 1963.
- Garibaldi 2001, p. 660.
Bibliographie modifier
- R. B. Brown, « A new type of nonassociative algebra », Proc. Natl. Acad. Sci. U.S.A., vol. 50, , p. 947-949 (DOI 10.1073/pnas.50.5.947, JSTOR 71948)
- Skip Garibaldi, « Structurable algebras and groups of type E6 and E7 », Journal of Algebra, vol. 236, , p. 651-691
- R. D. Schafer, « On structurable algebras », Journal of Algebra, vol. 92, no 2, , p. 400-412 (DOI 10.1016/0021-8693(85)90131-0)
