Frobenius algebra

A (commutative) Frobenius algebra is a finite-dimensional commutative, associative, unital algebra $A$ (over a field or ring $k$) with a trace map $\mathrm{Tr}: A \rightarrow k$ for which the bilinear form $\mathrm{Tr}(xy)$ is nondegenerate.