Definition:Algebra over Field

Definition
An algebra over a field $$\left({G_F, \phi}\right)$$ is a vector space $$G_F$$ over a field $$F$$ with a bilinear mapping $$\oplus: G^2 \to G$$.

Also see

 * Algebra over a Ring