在任意代数 上的迹形式是一个对称双线性形式 ,使得
对于所有 (Schafer 1996, p. 24)。
更多尝试
Weisstein, Eric W. “迹形式。” 来自 MathWorld--Wolfram Web 资源。https://mathworld.net.cn/TraceForm.html