Associative Algebra Definition

A vector space over some field which also has an associative vector-valued multiplication operator between vectors which together with the abelian group feature of the vector space makes a ring .

A module over a ring together with an associative bilinear module-element-valued operator between module elements which together with the abelian group feature of the module makes a ring.