You are here
Home ›trace forms on algebras
Primary tabs
trace forms on algebras
Given an finite dimensional algebra over a field we define the left(right) regular representation of as the map given by ().
Example 1.
In a Lie algebra the left representation is called the adjoint representation and denoted and defined . Because in characteristic not 2, there is generally no distinction of left/right adjoint representations.
The trace form of is defined as :
Proposition 2.
The trace form is a symmetric bilinear form.
Proof.
Given and then . So . So we have
Furthermore, is general property of traces, thus
So the trace form is a symmetric bilinear form. ∎
The symmetric property can be interpreted as a weak form of commutativity of the product: commute within their trace from. A more essential property arises for certain algebras and can be interpreted as “the product is associative within the trace” and written as
| (1) |
We shall call such an algebra weakly associative though the term is not standard.
This property is clear for all associative algebras as:
When we use a Lie algebra, the trace form is commonly called the Killing form which has property (1). A result of Koecher shows that Jordan algebras also have this property.
Proposition 3.
Given a weakly associative algebra, then the radical of the trace form is an ideal of the algebra.
Proof.
From this result many authors define an algebra to be semi-simple if its trace form is non-degenerate. In this way, , the radical of , is semi-simple. [Some variations on this definition are often required over small fields/characteristics, especially when characteristic is 2.]
More can be said when ideals are considered.
Proposition 4.
Given a weakly associative algebra , then if is an ideal of then so is .
Proof.
Given , then for all and , then as is an ideal and so as . This makes so is a right ideal. Likewise so and thus is an ideal of . ∎
To proceed one factors out the radical so that is semisimple. Then given an ideal of , if then as the trace form is a non-degenerate bilinear from, , and so by iterating we produce a decomposition of into minimal ideals:
Hence we arrive at the alternative definition of a semisimple algebra: that the algebra be a direct product of simple algebras. To obtain the property it is sufficient to assume has not ideal such that . This is the content of the proof in
Theorem 5.
[1, Thm III.3] Let be a finite-dimensional weakly associative (trace) semisimple algebra over a field in which no ideal of has , then is a direct product of minimal ideals, that is, of simple algebras.
Alternatively any bilinear form with (1) can be used. However, the trace form is always definable and the desired properties are easily translated into implications about the multiplication of the algebra.
References
- 1
Jacobson, Nathan Lie Algebras, Interscience Publishers, New York, 1962.
- 2 Koecher, Max, The Minnesota notes on Jordan algebras and their applications. Edited and annotated by Aloys Krieg and Sebastian Walcher. [B] Lecture Notes in Mathematics 1710. Berlin: Springer. (1999).
Mathematics Subject Classification
17A01 General theory- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new correction: typo? by Filipe
May 22
new question: Linear Algebra Combination Problem! by Aleph Zero
new question: Computation of $\varphi(2000)$ by unlord
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


