Frobenius algebra
From Wikipedia, the free encyclopedia
In mathematics, a Frobenius algebra is an associative algebra A defined over a field K equipped with a special kind of bilinear form
,
then called a Frobenius form of the algebra. It is required to have the two following properties.
- Associativity: for every elements a,b,c of A,
- σ(ab,c) = σ(a,bc)
- Non-degeneracy:
.
Contents |
[edit] Example
Any matrix algebra defined over a field 
is a Frobenius algebra with Frobenius form given as
,
where tr denotes the matrix trace.
[edit] Category-theoretical definition
In category theory, the notion of Frobenius object is an abstract definition of a Frobenius algebra in a category. A Frobenius object 
in a monoidal category 
consists of an object A of C together with four morphisms
such that
is a monoid object in 
,
is a comonoid object in ,
- the diagrams
and
commute (for simplicity the diagrams are given here in the case where the monoidal category is strict).
[edit] Applications
Frobenius algebras occur in the representation theory of algebras.
More recently, it has been seen that they play an important rôle in the algebraic treatment and axiomatic foundation of topological quantum field theory. A commutative Frobenius algebra namely determines uniquely (up to isomorphism) a 2-dimensional TQFT. More precisely, the category of commutative Frobenius K-algebras is equivalent to the category of symmetric strong monoidal functors from 2-Cob (the category of 2-dimensional cobordisms) to VectK (the category of vector spaces over K).
