Definition:Algebra over Ring

Definition
An algebra over a ring $\left({G_R, \phi}\right)$ is an $R$-module $A_R$ over a commutative ring $R$ with a bilinear mapping $\oplus: G^2 \to G$.

Also see

 * Algebra over a Field