Frobenius Algebra - Definition

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 × Ak 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 with a linear functional λ:Ak 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.

Read more about this topic:  Frobenius Algebra

Famous quotes containing the word definition:

    One definition of man is “an intelligence served by organs.”
    Ralph Waldo Emerson (1803–1882)

    The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.
    Ralph Waldo Emerson (1803–1882)

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)