abstract:A non-associative algebra (or distributive algebra) over a field (or a commutative ring) K is a K-vector space (or more generally a module) A equipped with a K-bilinear map A × A → A which establishes a binary multiplication operation on A. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary.