Symmetric algebra (Frobenius algebra)
= Symmetric algebra
{disambiguate=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^*$ as $A$-bimodules.