Define R to be a ring of characteristic not 2 or 3 satisfying the identity
(1) (x,y,z) = (y,z,x)
for all x, y, z ∊ R, where by characteristic not p is meant x —> px is a one-toone mapping of R upon R. The associator (a, b, c) of R is defined by (a, b, c) = ab·c — a·bc. lf R also satisfies the identity
(2) (x, x, x) = 0