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\to k$ for which the bilinear form $\mathrm{Tr}(xy)$ is nondegenerate.