Group algebra is a symmetric algebra
= Group algebra is a symmetric algebra
For a finite group $G$, the coefficient of the identity in $xy$ defines a nondegenerate symmetric associative bilinear form on $kG$. Hence $kG\cong(kG)^*$ as bimodules and the <group algebra> is a <symmetric algebra (Frobenius algebra)>.