# Frobenius algebra

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Brauer and Nesbitt and were named after Frobenius. Nakayama discovered the beginnings of a rich duality theory in his harv|Nakayama|1939 and especially in his harv|Nakayama|1941. Dieudonné used this to characterize Frobenius algebras in his harv|Dieudonné|1958 where he called this property of Frobenius algebras a "perfect duality". Frobenius algebras were generalized to quasi-Frobenius rings, those noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

Definition

A finite dimensional, unital, associative algebra "A" defined over a field "k" is said to be a Frobenius algebra if "A" is equipped with a nondegenerate bilinear form σ:"A" × "A" → "k" that satisfies the following equation: "σ"("a"·"b","c")="σ"("a","b"·"c"). This bilinear form is called the Frobenius form of the algebra.

Equivalently, one may equip "A" linear functional "λ":"A"→"k" such that the kernel of "λ" contains no nonzero left ideal of "A".

A Frobenius algebra is called symmetric if "σ" is symmetric, or equivalently "λ" satisfies "λ"("a"·"b") = "λ"("b"·"a").

There is also a different, mostly unrelated notion of the symmetric algebra of a vector space.

Examples

* Any matrix algebra defined over a field "k" is a Frobenius algebra with Frobenius form σ("a","b")=tr("a"·"b") where tr denotes the trace.
* Every group ring of a finite group over a field is a Frobenius algebra, with Frobenius form "σ"("a","b") the coefficient of the identity element of "a"·"b".
* For a field "k", the four-dimensional "k"-algebra "k" ["x","y"] /("x"2, "y"2) is a Frobenius algebra.
* For a field "k", the three-dimensional "k"-algebra "k" ["x","y"] /("x", "y")2 is not a Frobenius algebra.

Properties

* The direct product and tensor product of Frobenius algebras are Frobenius algebras.
* A finite-dimensional commutative local algebra over a field is Frobenius if and only if the right regular module is injective, if and only if the algebra has a unique minimal ideal.
* Commutative, local Frobenius algebras are precisely the zero-dimensional local Gorenstein rings containing their residue field and finite dimensional over it.
* The right regular representation of a Frobenius algebra is always injective.
* For a field "k", a finite-dimensional, unital, associative algebra is Frobenius if and only if the injective right "A"-module Hom"k"("A","k") is isomorphic to the right regular representation of "A".
* For an infinite field "k", a finite dimensional, unitial, associative "k"-algebra is a Frobenius algebra if it has only finitely many minimal right ideals.
* If "F" is a finite dimensional extension field of "k", then a finite dimensional "F"-algebra is naturally a finite dimensional "k"-algebra via restriction of scalars, and is a Frobenius "F"-algebra if and only if it is a Frobenius "k"-algebra. In other words, the Frobenius property does not depend on the field, as long as the algebra remains a finite dimensional algebra.
* Similarly, if "F" is a finite dimensional extension field of "k", then every "k"-algebra "A" gives rise naturally to a "F" algebra, "F" ⊗"k" "A", and "A" is a Frobenius "k"-algebra if and only if "F" ⊗"k" "A" is a Frobenius "F"-algebra.
* Amongst those finite-dimensional, unital, associative algebras whose right regular representation is injective, the Frobenius algebras "A" are precisely those whose simple modules "M" have the same dimension as their "A"-duals, Hom"A"("M","A"). Amongst these algebras, the "A"-duals of simple modules are always simple.

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 $\left(A,mu,eta,delta,varepsilon\right)$ in a monoidal category $\left(C,otimes,I\right)$ consists of an object "A" of "C" together with four morphisms:$mu:Aotimes A o A,qquad eta:I o A,qquaddelta:A o Aotimes Aqquadmathrm\left\{and\right\}qquadvarepsilon:A o I$such that
* $\left(A,mu,eta\right),$ is a monoid object in $C,$,

* $\left(A,delta,varepsilon\right)$ is a comonoid object in $C,$,

* the diagrams:and:commute (for simplicity the diagrams are given here in the case where the monoidal category $C,$ is strict).

Applications

Frobenius algebras originally were studied as part of an investigation into the representation theory of finite groups, and have contributed to the study of number theory, algebraic geometry, and combinatorics. They have been used to study Hopf algebras, coding theory, and cohomology rings of compact oriented manifolds. Recently, it has been seen that they play an important role 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 Vect"K" (the category of vector spaces over "K").

References

* | year=1958 | journal=Illinois Journal of Mathematics | issn=0019-2082 | volume=2 | pages=346–354
*
*
* | year=1939 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=40 | pages=611–633
* | year=1941 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=42 | pages=1–21

Ross Street, [http://www.maths.mq.edu.au/~street/FAMC.pdf Frobenius algebras and monoidal categories]

ee also

* Frobenius norm
* Frobenius inner product

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Teorema de Frobenius (álgebra) — El teorema de Frobenius, aplicado al ámbito matemático del álgebra abstracta, afirma que la única álgebra asociativa divisible de dimensión finita que no es conmutativa sobre los números reales son los cuaterniones. Este teorema fue demostrado… …   Wikipedia Español

• Frobenius — can be*Frobenius Orgelbyggeri, Danish organ building firm*Ferdinand Georg Frobenius (1849 1917), mathematician ** Frobenius algebra ** Frobenius endomorphism ** Frobenius inner product ** Frobenius norm ** Frobenius method ** Frobenius group… …   Wikipedia

• Frobenius — puede referirse a: Johannes Frobenius, nombre latino de Johann Froben (c.1460 1527), impresor y pintor de Basilea. Ferdinand Georg Frobenius (1849 1917), matemático alemán, quien dio nombre a: el teorema de Frobenius (álgebra). el teorema de… …   Wikipedia Español

• Frobenius — Frobenius,   1) Ferdinand Georg, Mathematiker, * Berlin 26. 10. 1849, ✝ Charlottenburg (heute zu Berlin) 3. 8. 1917; Professor in Zürich (1875 91) und Berlin. Durch seine Arbeiten zur Theorie der Gruppen und ihrer (später für die Quantenmechanik… …   Universal-Lexikon

• Frobenĭus — Frobenĭus, Georg, Mathematiker, geb. 26. Okt. 1849 in Berlin, wo er seit 1867 studierte, 1871 Realschullehrer und 1874 außerordentlicher Professor an der Universität wurde; 1875 ging er als ordentlicher Professor an das Polytechnikum nach Zürich… …   Meyers Großes Konversations-Lexikon

• algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

• Frobenius-Homomorphismus — In der Algebra bezeichnet der Begriff Frobeniushomomorphismus (auch Frobeniusmorphismus oder kurz Frobenius, nach dem deutschen Mathematiker Ferdinand Georg Frobenius) einen Endomorphismus von Ringen der Charakteristik p. Definition: Sei R ein… …   Deutsch Wikipedia

• Frobenius endomorphism — In commutative algebra and field theory, which are branches of mathematics, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of rings with prime characteristic p , a class importantly including fields. The… …   Wikipedia

• Frobenius-Normalform — Die Frobenius Normalform (nach Ferdinand Georg Frobenius) oder rationale Normalform einer quadratischen Matrix A mit Einträgen in einem beliebigen Körper K ist eine transformierte Matrix T − 1AT (mit invertierbarer Matrix T), die eine spezielle… …   Deutsch Wikipedia

• Frobenius theorem (real division algebras) — In mathematics, more specifically in abstract algebra, the Frobenius theorem, proved by Ferdinand Georg Frobenius in 1877, characterizes the finite dimensional associative division algebras over the real numbers. The theorem proves that the only… …   Wikipedia