Jordan-Algebra

In der Mathematik heißt eine kommutative Algebra A eine Jordan-Algebra, wenn für alle x,y aus A die sog. Jordan-Identität x ( x 2 y ) = x 2 ( x y ) {\displaystyle x(x^{2}y)=x^{2}(xy)} erfüllt ist. Namensgeber ist der deutsche Physiker Pascual Jordan.

Eine alternative Definition ist x 1 ( x y ) = x ( x 1 y ) {\displaystyle x^{-1}(xy)=x(x^{-1}y)} (x,y aus A, x invertierbar).

D. h., A ist in der Regel nicht assoziativ, es gilt aber eine schwache Form des Assoziativgesetzes.

Benannt ist sie nach dem deutschen Physiker Pascual Jordan, der sie zur Axiomatisierung der Quantenphysik einsetzen wollte.

Unter einer nichtkommutativen Jordan-Algebra versteht man eine Algebra, die neben der Jordan-Identität noch das Flexibilitätsgesetz erfüllt.

Spezielle und exzeptionelle Jordan-Algebren

Aus einer assoziativen Algebra A {\displaystyle A} von Charakteristik ungleich 2 lässt sich eine Jordan-Algebra A + {\displaystyle A^{+}} konstruieren, indem man bei unveränderter Addition eine neue Multiplikation J {\displaystyle {\cdot \!}_{J}} definiert:

x J y = x y + y x 2 . {\displaystyle x\;{\cdot \!}_{J}\;y={xy+yx \over 2}.}

Jordan-Algebren, die isomorph zu so gebildeten sind, heißen spezielle Jordan-Algebren, die anderen exzeptionelle Jordan-Algebren.

Die exzeptionelle Jordan-Algebra M(3,8) (auch als E 3 {\displaystyle E_{3}} bezeichnet) ist durch Matrizen des folgenden Typs

( a X Y X ¯ b Z Y ¯ Z ¯ c ) {\displaystyle {\begin{pmatrix}a&X&Y\\{\bar {X}}&b&Z\\{\bar {Y}}&{\bar {Z}}&c\end{pmatrix}}}

gegeben. Hierbei sind a, b, c reelle Zahlen und X, Y, Z Oktonionen, die Multiplikation ist wie oben gegeben, aber es handelt sich nicht um eine spezielle Jordan-Algebra, da die Multiplikation der Oktonionen nicht assoziativ ist.

Über den komplexen Zahlen ist M(3,8) die einzige exzeptionelle Jordan-Algebra, während es über den reellen Zahlen drei Isomorphieklassen exzeptioneller Jordan-Algebren gibt.

Formal reelle Jordan-Algebren

Eine Jordan-Algebra A {\displaystyle A} heißt formal reell, wenn sich 0 A {\displaystyle 0\in A} nicht als nichttriviale Summe von Quadraten darstellen lässt. Formal reelle Jordan-Algebren wurden 1934 von Jordan, von Neumann und Wigner klassifiziert.

Literatur

  • Hel Braun, Max Koecher: Jordan-Algebren, Springer Berlin 1998 ISBN 3-540-03522-2
  • Tonny A. Springer: Jordan Algebras and Algebraic Groups, Springer-Verlag Heidelberg 1998
  • Pascual Jordan, John von Neumann, Eugene Wigner (1934), „On an Algebraic Generalization of the Quantum Mechanical Formalism“, Annals of Mathematics (Princeton) 35 (1): 29–64

Weblinks

  • Walter Feit: On the work of Efim Zelmanov (mit einem Abriss der Geschichte der Theorie der Jordan-Algebren)