Algèbre commutative
La structure d'algèbre (unifère et commutative) est un hybride entre celles d'anneau et d'espace vectoriel, la compatibilité
entre les deux multiplications (interne et externe) s'exprimant par un axiome d'associativité.
Cette vision équivaut à se donner un morphisme d'anneaux de source le corps de base, l'espace but
étant l'algèbre (vue en tant qu'anneau).
