跡形式

在任意代數 上的跡形式是一個對稱雙線性形式 ，使得

對於所有 (Schafer 1996, p. 24)。