Une algèbre est un ensemble muni de trois lois.
Les deux premières lui confèrent la structure d'espace vectoriel.
La troisième loi est une loi de composition interne appelée produit.
Cette loi est associative, possède un élément neutre, et est distributive par rapport à l'addition.
Enfin, les deux « produits » sont « compatibles ».
On montre le plus souvent qu'on a une sous-algèbre d'une algèbre connue plutôt que de montrer qu'on a une algèbre directement.
Théorème : est une sous-algèbre de
C'est à dire, contient l'identité, est stable par combinaison linéaire et par produit.
et sont des algèbres sur et .
avec non vide et est une algèbre sur .
l'ensemble des applications linéaires de dans .
La loi de composition interne, c'est à dire le « produit », étant ici la composition « » des applications.
l'ensembles des matrices carrées