Définition [
-algèbre] est une -algèbre si
est un
-espace vectoriel est un anneau
La
-algèbre est en outre commutative lorsque est commutative.
L'ensembles des suites à valeurs dans
est un
-algèbre commutative. L'espace vectoriel des applications de dans
est une
algèbre commutative.
Définition [Morphisme de
-algèbres]
Un morphisme d'algèbre est une application qui est à la fois un morphisme d'anneaux sur les anneaux sous-jacents et un morphisme d'espaces vectoriels sur les espaces vectoriels sous-jacents.