In algebra astratta un'algebra di Jordan è un'algebra su campo, non necessariamente associativa i cui prodotti soddisfano i seguenti assiomi:

  1. (proprietà commutativa);
  2. (identità di Jordan);

Il prodotto di due elementi x e y in un'algebra di Jordan è anche indicato con xy, in particolare per evitare confusione con il prodotto di una algebra associativa collegata.

Le algebre di Jordan furono introdotte per la prima volta da Pascual Jordan nel 1933 per formalizzare la nozione di algebra di un'osservabile in meccanica quantistica.

Algebre di Jordan speciali

modifica

Data un'algebra associativa A (che non sia di caratteristica 2), si può costruire un'algebra di Jordan A+ usando la sottostante operazione di somma nello spazio vettoriale. Un'algebra associativa è un'algebra di Jordan se e solo se è commutativa, nel caso in cui non sia commutativa è possibile definire una nuova operazione di moltiplicazione su A e renderla commutativa e quindi costruire un'algebra di Jordan. La nuova moltiplicazione xy è definita come segue:

 

Questo definisce un'algebra di Jordan A+ e queste algebre, così come ogni sottoalgebra di queste algebre sono dette algebre di Jordan speciali. Tutte le altre algebre di Jordan sono dette algebre di Jordan eccezionali. Il teorema di Shirshov-Cohn afferma che ogni algebra di Jordan con due generatori è speciale. Collegato a questo il teorema di Macdonald afferma che ogni polinomio in tre variabili, che abbia grado uno in una delle variabili e che si annulli in ogni algebra di Jordan speciale si annulla in ogni algebra di Jordan.

Algebre di Jordan hermitiane

modifica

Sia (A, σ) con (anti-involuzione) σ, se σ(x)=x e σ(y)=y allora:

 

Quindi l'insieme di tutti gli elementi fissati dall'involuzione (talvolta detti elementi hermitiani) formano una sottoalgebra di A+ (talvolta indicata con HA,σ).

 
forma un'algebra di Jordan speciale.
  • L'insieme delle matrici autoaggiunte 3×3 sugli ottetti non associativi, ancora con la moltiplicazione
 ,
è una algebra di Jordan eccezionale di dimensione 27. Il suo gruppo degli automorfismi è legato al gruppo di Lie eccezionale F4. Dato che sui reali questa è l'unica algebra di Jordan eccezionale essa è talvolta chiamata l'algebra di Jordan eccezionale (al singolare). È stato il primo esempio di algebra di Albert.

Vedere anche

modifica

Bibliografia

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 57246 · LCCN (ENsh85070700 · J9U (ENHE987007536282905171 · NDL (ENJA00564353
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica