An associative algebra (多元環) over a field is a -vector-space with a bilinear associative product, and it is unital if it carries a . A unital associative algebra is equivalently a ring with a central -action, . Examples include matrix algebras , polynomials , group algebras , and the clifford-algebra. Commutativity and (in)finite dimension vary across these.