Definition:Algebra over Ring

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

Also see

 * Algebra over a Field