Algebra di Jordan

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 specialiModifica

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 hermitianeModifica

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,σ).

EsempiModifica

 
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 ancheModifica

BibliografiaModifica

Collegamenti esterniModifica

Controllo di autoritàThesaurus BNCF 57246 · LCCN (ENsh85070700 · J9U (ENHE987007536282905171 · NDL (ENJA00564353