A trace form on an arbitrary algebra  is a symmetric bilinear form 
 such that
for all 
 (Schafer 1996, p. 24).
 
	    
	
    
A trace form on an arbitrary algebra  is a symmetric bilinear form 
 such that
for all 
 (Schafer 1996, p. 24).
Weisstein, Eric W. "Trace Form." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/TraceForm.html