Bases et tables de multiplication d'une algèbre sur un corps
Tout espace vectoriel admet une base. Une base d'une algèbre A sur un corps K est une base de A pour sa structure d'espace vectoriel.
Si
est une base de A, il existe alors une unique famille
d'éléments du corps K tels que :
.
Pour i et j fixés, les coefficients sont nuls sauf un nombre fini d'entre eux. On dit que
sont les constantes de structure de l'algèbre A par rapport à la base a, et que les relations
constituent la table de multiplication de l'algèbre A.
Contre-exemple
L'ensemble des quaternions
n'est pas une
-algèbre car la multiplication
n'est pas
-bilinéaire :
.