In matematica, e in particolare in algebra astratta, per algebra alternativa si intende un'algebra su campo per la quale il prodotto non deve essere associativo, solo alternativo, ovvero valgono le identità

per tutti gli elementi e nell'algebra.

Ogni algebra associativa è alternativa, dato che l'alternatività è una forma più debole di associatività: tuttavia, vi sono anche algebre alternative non-associative, come quella degli ottonioni.

L'associatore Le algebre alternative sono chiamate così perché sono algebre per le quali l'associatore è alternativo. L'associatore è una mappa trilineare data da .

Per definizione, una mappa multilineare è alternativa se si annulla quando due dei suoi argomenti sono uguali. Le identità del prodotto alternativo sono equivalenti alle condizioni

Unendo queste identità si ottiene:

per ogni e . Questo è equivalente all'identità flessibile

.

L'associatore di un'algebra alternativa è quindi alternativo. Viceversa, ogni algebra il cui associatore è alternativo è chiaramente alternativa. Per simmetria, ogni algebra che soddisfa due condizioni fra:

identità alternativa sinistra: identità alternativa destra: identità flessibile: .

è alternativa e le soddisfa dunque tutte e tre.

Un associatore alternativo è sempre totalmente antisimmetrico, ovvero

per ogni permutazione . La proposizione inversa è vera a patto che la caratteristica del campo di base sia diversa da 2.

Esempi

Ogni algebra associativa è alternativa. Gli ottonioni formano un'algebra alternativa non-associativa, un'algebra di divisione normata di dimensione 8 sui numeri reali. Più in generale, ogni algebra di ottonioni è alternativa, mentre i sedenioni e tutte le algebre di Cayley-Dickson con dimensione maggiore di 8 perdono l'alternatività.

Proprietà Il teorema di Artin afferma che in un'algebra alternativa la sottoalgebra generata da due elementi qualsiasi è associativa. Viceversa, qualsiasi algebra per cui questo è vero è evidentemente alternativa. Ne consegue che le espressioni che coinvolgono solo due variabili possono essere scritte in modo univoco senza parentesi in un'algebra alternativa.

Una generalizzazione del teorema di Artin afferma che ogniqualvolta tre elementi in un'algebra alternativa associano (cioè, ), la sottoalgebra generata da tali elementi è associativa.

Un corollario del teorema di Artin afferma che le algebre alternative sono a potenze associative, ovvero la sottoalgebra generata da un singolo elemento è associativa. Il viceversa non vale necessariamente: i sedenioni sono a potenze associative ma non alternativi.

Le identità di Moufang

valgono in qualsiasi algebra alternativa.

In un'algebra alternativa unitaria, gli inversi sono unici ogniqualvolta esistono. Inoltre, per ogni elemento invertibile e per ogni si ha

Questo equivale a dire che l'associatore si annulla per tutti i suddetti e .

Se e sono invertibili, allora anche è invertibile con inverso . L'insieme di tutti gli elementi invertibili è quindi chiuso rispetto alla moltiplicazione e forma un loop di Moufang. Questo loop delle unità in un anello o algebra alternativa è analogo al gruppo delle unità di un anello o algebra associativa.

Il teorema di Kleinfeld afferma che ogni anello semplice alternativo non-associativo è un'algebra degli ottonioni generalizzata sopra il suo centro.

La teoria della struttura degli anelli alternativi è presentata nel libro Rings That Are Nearly Associative di Zhevlakov, Slin'ko, Shestakov e Shirshov.

Occorrenza Il piano proiettivo su ogni anello con divisione alternativo è un piano di Moufang.

Ogni algebra di composizione è un'algebra alternativa, come mostrato da Guy Roos nel 2008. Un'algebra di composizione su un campo possiede una norma che è un omomorfismo moltiplicativo che collega e .

Si definisca la forma tramite Allora la traccia di a è data da e il coniugato da dove è l'elemento della base per 1. Una serie di esercizi dimostra che un'algebra di composizione è sempre un'algebra alternativa.Si veda Associative Composition Algebra/Transcendental paradigm su Wikibooks (in inglese).

Voci correlate Algebra su un campo

Note

Bibliografia

Collegamenti esterni

Categoria:Algebra nonassociativa