# Frobenius algebra

A **Frobenius algebra** is a finite-dimensional algebra over a field that carries a nondegenerate bilinear form compatible with multiplication, equivalently a finite-dimensional algebra that is isomorphic as a left module to its dual. The concept originated in the representation theory of finite groups and now connects algebra, topology, and mathematical physics.

| Key fact | Detail |
|---|---|
| Module definition | A finite-dimensional algebra \( R \) over a field \( K \) such that the left \( R \)-modules \( R \) and \( \mathrm{Hom}_K(R,K) \) are isomorphic<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup> |
| Form definition | Existence of a nondegenerate bilinear form \( F : R \times R \to K \) with \( f(ab,c) = f(a,bc) \) for all \( a,b,c \in R \)<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup> |
| Basic examples | Group algebras of finite groups, matrix rings with the trace form, character rings, cohomology rings via Poincaré duality<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup><sup> • </sup><sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup> |
| Ring-theoretic place | Every Frobenius algebra is a quasi-Frobenius ring; the converse is not true<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup> |
| Topology link | Oriented 2-dimensional topological quantum field theories are classified by commutative Frobenius algebras<sup>[3](https://www.mat.uab.es/~kock/TQFT.html)</sup> |
| Hopf algebras | Every finite-dimensional Hopf algebra is Frobenius (Larson–Sweedler)<sup>[4](https://www.famaf.unc.edu.ar/~andrus/clam4.pdf)</sup> |
| History | Essentially first appeared in papers of G. Frobenius (1903); named theory developed by Tadasi Nakayama from 1939<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup><sup> • </sup><sup>[5](https://bishtref.com/articles/10.2307/1968946)</sup> |

## Equivalent definitions

Several characterizations of the same structure are in use, and their equivalence is a standard part of the theory<sup>[6](https://arxiv.org/abs/0901.4886)</sup>.

**Bilinear form.** A finite-dimensional algebra \( A \) over a field \( K \) is Frobenius if there exists a nondegenerate \( K \)-bilinear form \( (-,-) : A \times A \to K \) that is associative, meaning \( (ab, c) = (a, bc) \) for all elements \( a, b, c \) of \( A \)<sup>[7](https://ems.press/content/book-chapter-files/20796)</sup>. In other words, a linear functional \( \phi \) on \( A \) exists with the property that any \( b \) satisfying \( \phi(ab) = 0 \) for every \( a \in A \) must be zero<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>. If moreover \( \phi(ab) = \phi(ba) \) for all \( a, b \), the algebra is called a symmetric algebra<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>.

**Module isomorphism.** The form definition is equivalent to requiring that the left \( R \)-modules \( R \) and \( \mathrm{Hom}_K(R,K) \) be isomorphic; in representation-theoretic language, the left and right regular representations are equivalent<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>. A nondegenerate pairing \( A \otimes A \to k \) induces two isomorphisms \( A \to A^* \), and associativity means one of these maps is left \( A \)-linear and the other right \( A \)-linear<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>.

**Coalgebra structure.** A Frobenius algebra can also be described as an algebra \( A \) equipped with a comultiplication that is a map of \( A \)-modules. In this picture the structure is a vector space carrying both an algebra structure \( (m, \eta) \) and a [coalgebra](https://www.edgepedia.org/coalgebra) structure \( (\Delta, \varepsilon) \) satisfying the Frobenius compatibility laws, which differ from the compatibility in a bialgebra: the comultiplication need not be an algebra homomorphism<sup>[8](https://ncatlab.org/nlab/show/Frobenius%2Balgebra)</sup><sup> • </sup><sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>.

**Annihilators.** For a finite-dimensional \( K \)-algebra \( R \), being Frobenius is equivalent to the double-annihilator conditions \( \mathfrak{Z}_{\mathrm{l}}(\mathfrak{Z}_{\mathrm{r}}(L)) = L \) for every left ideal \( L \) and \( \mathfrak{Z}_{\mathrm{r}}(\mathfrak{Z}_{\mathrm{l}}(H)) = H \) for every right ideal \( H \), together with the dimension relations \( \dim_K \mathfrak{Z}_{\mathrm{r}}(L) + \dim_K L = \dim_K R \)<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>.

## Examples

**Group algebras.** For any finite group \( G \), the group algebra \( kG \) is Frobenius<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>. Writing \( G = \{t_0, \ldots, t_n\} \) with \( t_0 = 1 \), the Frobenius form is the functional \( \varepsilon : kG \to k \) sending \( t_0 \) to 1 and every other basis element to 0; the pairing \( g \otimes h \mapsto (gh)\varepsilon \) is nondegenerate because it equals 1 exactly when \( h = g^{-1} \)<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>. Group algebras are symmetric<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>.

**Matrix rings.** The ring \( \mathrm{Mat}_n(k) \) of all \( n \)-by-\( n \) matrices over \( k \) is a Frobenius algebra with the usual trace \( \mathrm{Tr} : \mathrm{Mat}_n(k) \to k \), \( (a_{ij}) \mapsto \sum_i a_{ii} \), as the Frobenius form<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>. With this trace the algebra is symmetric but not commutative when \( n > 1 \)<sup>[8](https://ncatlab.org/nlab/show/Frobenius%2Balgebra)</sup>.

**Topology and geometry.** The de Rham cohomology \( H^*(X) \) of a manifold, under the wedge product, is a Frobenius algebra over \( \mathbb{R} \): integration over \( X \) against a volume form gives a linear map \( H^*(X) \to \mathbb{R} \), and [Poincaré duality](https://www.edgepedia.org/poincare-duality) states that the induced pairing \( H^i(X) \) with \( H^{n-i}(X) \) is nondegenerate<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>. Other examples include character rings of representations and artinian Gorenstein rings, which include local rings of isolated hypersurface singularities<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>.

**Division rings and Hopf algebras.** Since a division ring has no nontrivial left or right ideals, any nonzero linear form \( A \to k \) makes a finite-dimensional division algebra into a Frobenius algebra; the Hamiltonians \( \mathbb{H} \) are a Frobenius algebra over \( \mathbb{R} \)<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>. Larson and Sweedler showed in 1969 that every finite-dimensional [Hopf algebra](https://www.edgepedia.org/hopf-algebra) is Frobenius, with the space of integrals playing a central role in the proof<sup>[4](https://www.famaf.unc.edu.ar/~andrus/clam4.pdf)</sup><sup> • </sup><sup>[9](https://www.sciencedirect.com/science/article/pii/0021869371901414)</sup>.

## Relation to other ring classes

Every Frobenius algebra is a quasi-Frobenius ring, but the converse is not true<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>. Frobenius algebras are selfinjective, meaning projective and [injective modules](https://www.edgepedia.org/injective-module) coincide, and the module category of every finite-dimensional selfinjective algebra over a field is equivalent to the module category of a Frobenius algebra<sup>[7](https://ems.press/content/book-chapter-files/20796)</sup>. Every semisimple algebra is symmetric<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>. Eilenberg and Nakayama proved a 1955 theorem showing that, within the category of vector spaces over a field \( k \), any separable algebra \( A \) — one for which \( A \otimes_k K \) is semisimple as a \( K \)-algebra for every extension field \( K \) of \( k \) — admits a symmetric Frobenius algebra structure<sup>[8](https://ncatlab.org/nlab/show/Frobenius%2Balgebra)</sup>.

## Two-dimensional topological quantum field theories

The most prominent modern application is the classification theorem: oriented 2-dimensional topological quantum field theories (2-TQFTs) are fully classified by commutative Frobenius algebras<sup>[10](https://tac.mta.ca/tac/volumes/44/36/44-36abs.html)</sup>. In the axiomatic formulation due to [Michael Atiyah](https://www.edgepedia.org/michael-atiyah), an \( n \)-dimensional TQFT assigns a vector space to each closed oriented \( (n-1) \)-manifold and a vector to each oriented \( n \)-manifold with boundary<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>. For \( n = 2 \), the product and coproduct of the Frobenius algebra are read off from the pair-of-pants cobordism in either direction, the unit from the disc, and the bilinear form from the elbow bordism<sup>[8](https://ncatlab.org/nlab/show/Frobenius%2Balgebra)</sup><sup> • </sup><sup>[11](https://doi.org/10.1016/j.geomphys.2023.104849)</sup>. Lowell Abrams formulated the relationship as an equivalence of categories and classified the indecomposable two-dimensional TQFTs. Joachim Kock, whose 2003 Cambridge book develops the theorem for undergraduate readers, presents it in terms of monoidal categories as part of a general pattern concerning universal monoidal categories for algebraic structures<sup>[3](https://www.mat.uab.es/~kock/TQFT.html)</sup>.

Variants extend the correspondence. In 2006, Turaev and Turner introduced extended Frobenius algebras, adding structure to classify 2-TQFTs in the unoriented case<sup>[10](https://tac.mta.ca/tac/volumes/44/36/44-36abs.html)</sup>. Twin Frobenius algebras, consisting of a commutative Frobenius algebra, a symmetric Frobenius algebra, and a homomorphism between them with a dual, classify TQFTs on singular 2-dimensional cobordisms<sup>[12](https://onlinelibrary.wiley.com/doi/10.1155/2013/407068)</sup>. A graded version, defined as algebras over a PROP encoding 2D-TQFTs with a grading, arises naturally as the cohomology of manifolds, loop homology, and Hochschild homology of Frobenius algebras<sup>[13](https://academic.oup.com/qjmath/article-abstract/76/4/1105/8258596)</sup>.

## Wider appearances

Frobenius algebras have shown up in topological contexts, theoretical physics, and computer science<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>. In physics beyond 2D TQFT, a Frobenius manifold is a manifold whose tangent spaces carry smoothly varying Frobenius algebra structures with a flat metric and additional compatibility; the axioms imply a prepotential satisfying the WDVV associativity equations<sup>[14](https://link.springer.com/article/10.1007/s11005-017-0939-x)</sup>. In representation theory, the bigroupoid of separable symmetric Frobenius algebras over an algebraically closed field is equivalent to the bigroupoid of finitely semisimple Calabi–Yau categories<sup>[15](https://arxiv.org/abs/1609.06475)</sup>. In computer science, Frobenius algebras arise in the study of flowcharts, [proof nets](https://www.edgepedia.org/proof-net), and circuit diagrams, and string-diagram rewriting systems have been developed that absorb multiple Frobenius structures to simplify diagrammatic reasoning in applications including linguistics, concurrency, and quantum computation<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup><sup> • </sup><sup>[16](https://discovery.ucl.ac.uk/id/eprint/10053250/)</sup>.

Low dimensions are degenerate: one-dimensional Frobenius algebras are trivial, since the identity requirement and nondegeneracy determine the algebra uniquely and the inner product up to a nonzero constant, and in two dimensions the identity requirement leaves only one nontrivial multiplication, with associativity automatic<sup>[14](https://link.springer.com/article/10.1007/s11005-017-0939-x)</sup>.

## History

Frobenius algebras essentially first appeared in the papers of [Ferdinand Georg Frobenius](https://www.edgepedia.org/ferdinand-georg-frobenius), "Theorie der hyperkomplexen Grössen" (Sitzungsber. Königl. Preuss. Akad. Wiss., 1903)<sup>[1](https://encyclopediaofmath.org/wiki/Frobenius_algebra)</sup>. The systematic theory was developed by the Japanese mathematician Tadasi Nakayama, whose paper "On Frobeniusean Algebras. I" appeared in the [Annals of Mathematics](https://www.edgepedia.org/annals-of-mathematics) in 1939<sup>[5](https://bishtref.com/articles/10.2307/1968946)</sup>. In algebra and representation theory such algebras have been studied for a century<sup>[2](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)</sup>.

## References

1. [Frobenius algebra, Encyclopedia of Mathematics (L.A. Skornyakov, originator)](https://encyclopediaofmath.org/wiki/Frobenius_algebra)
2. [Joachim Kock, Frobenius algebras and 2D topological quantum field theories, lecture notes](https://www.maths.gla.ac.uk/~ajb/SMSTC/Kock%20FrobeniusAlgebras.pdf)
3. [Joachim Kock, Frobenius algebras and 2D topological quantum field theories, LMS Student Texts 59, Cambridge University Press, 2003](https://www.mat.uab.es/~kock/TQFT.html)
4. [Co-Frobenius Hopf algebras, Nicolás Andruskiewitsch](https://www.famaf.unc.edu.ar/~andrus/clam4.pdf)
5. [Tadasi Nakayama (1939). On Frobeniusean Algebras. I. Annals of Mathematics 40(3), 611](https://bishtref.com/articles/10.2307/1968946)
6. [Jürgen Fuchs, Carl Stigner (2008). On Frobenius algebras in rigid monoidal categories. arXiv](https://arxiv.org/abs/0901.4886)
7. [Frobenius Algebras I – Introduction, EMS Press](https://ems.press/content/book-chapter-files/20796)
8. [Frobenius algebra, nLab](https://ncatlab.org/nlab/show/Frobenius%2Balgebra)
9. [Bodo Pareigis (1971). When Hopf algebras are Frobenius algebras. Journal of Algebra 18(4), 588–596](https://www.sciencedirect.com/science/article/pii/0021869371901414)
10. [A. Czenky, J. Kesten, A. Quinonez, C. Walton (2025). On extended Frobenius structures. Theory and Applications of Categories 44(36), 1218–1255](https://tac.mta.ca/tac/volumes/44/36/44-36abs.html)
11. [Quantization of algebraic invariants through Topological Quantum Field Theories, Journal of Geometry and Physics](https://doi.org/10.1016/j.geomphys.2023.104849)
12. [Carmen Caprau (2013). Twin TQFTs and Frobenius Algebras. Journal of Mathematics](https://onlinelibrary.wiley.com/doi/10.1155/2013/407068)
13. [Jonathan Clivio (2025). Graded Frobenius Algebras. Quarterly Journal of Mathematics 76(4), 1105–1157](https://academic.oup.com/qjmath/article-abstract/76/4/1105/8258596)
14. [Frobenius manifolds and Frobenius algebra-valued integrable systems, Letters in Mathematical Physics](https://link.springer.com/article/10.1007/s11005-017-0939-x)
15. [An equivalence between semisimple symmetric Frobenius algebras and Calabi-Yau categories, arXiv](https://arxiv.org/abs/1609.06475)
16. [Bonchi, Gadducci, Kissinger, Sobocinski, Zanasi (2018). Rewriting with Frobenius. LICS '18, ACM](https://discovery.ucl.ac.uk/id/eprint/10053250/)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Hopf and quantum algebras › Frobenius and enriched algebra structures*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license