Algebra over a field (source code)

= Algebra over a field
{wiki=Algebra_over_a_field}

An algebra over a <field> $k$ is a <vector space> $A$ over $k$ equipped with a bilinear multiplication $A\times A\to A$.