MathGloss

An algebra over a field FF is a vector space UU over FF with a bilinear binary operation U×UUU\times U \to U that is not necessarily associative but that follows left and right distributivity.

One can loosen this definition and only require FF to be a commutative ring, but then you just get an algebra over a ring.

Wikidata ID: Q1000660