 Symmetric algebra (Frobenius algebra)

A finite-dimensional algebra $A$ is symmetric when there is a nondegenerate symmetric bilinear form $B:A\times A\to k$ satisfying $B(ab,c)=B(a,bc)$. Equivalently, $A\cong A^{\ast }$ as $A$-bimodules.