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