Algebra theory MOC

Trace form

Let be an algebra over and be a finite-dimensional representation of . The trace form is the bilinear form on defined by¹ falg

for .

---

tidy | en | sembr

Footnotes

1. Note the product of the algebra might not be represented as composition in the representation, e.g. for a Lie algebra representation. ↩