Associative algebra
Definition
An algebra over a base ring is defined as a ring , along with the structure of a -module to .
In the particular case when and are both unital rings, this is equivalent to saying that we require an embedding of as a sub (unital ring) of .