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