Symmetric algebra (Frobenius algebra) (source code)

= 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.