\begin{definition}[Definition:Algebra over Ring]
Let $R$ be a commutative ring.
An '''algebra over $R$''' is an ordered pair $\struct {A, *}$ where:
:$A$ is an $R$-module
:$*: A^2 \to A$ is an $R$-bilinear mapping
\end{definition}