Frobenius algebra
= Frobenius algebra
{c}
{wiki}
A finite-dimensional unital <associative algebra> over a <field> admitting a <linear functional> $\varepsilon$ whose pairing $(a,b)\mapsto\varepsilon(ab)$ is nondegenerate. The <dual numbers> with functional extracting the nilpotent coefficient are an example; semisimplicity is unnecessary.