Polynomial Identity Rings

A ring R satisfies a polynomial identity if there is a polynomial f in noncommuting variables which vanishes under substitutions from R. For example, commutative rings satisfy the polynomial f(x,y) = xy - yx and exterior algebras satisfy the polynomial f(x,y,z) = (xy - yx)z - z(xy - yx).