A trace form on an arbitrary algebra A is a symmetric bilinear form (x, y) such that (x y, z) = (x, y z) for all x, y, z element A.