Alternatieve algebra
In de abstracte algebra is een alternatieve algebra een algebra waarin de vermenigvuldiging niet associatief hoeft te zijn, maar alleen alternatief. Dat wil zeggen dat voor alle en in de algebra geldt:
Elke associatieve algebra is vanzelfsprekend alternatief, maar dat geldt ook voor enige strikte niet-associatieve algebra's, zoals de octonionen. De sedenionen, aan de andere kant, zijn niet alternatief.
De associator
[bewerken | brontekst bewerken]Alternatieve algebra's worden zo genoemd omdat ze precies de algebra's zijn waarvoor de associator alternatief is. De associator is een trilineaire afbeelding die wordt gegeven door
Per definitie is een multilineaire afbeelding alternatief als het resultaat 0 is zodra twee van zijn argumenten gelijk zijn. De linker- en rechteridentiteiten van een algebra zijn gelijkwaardig met
Deze twee identiteiten impliceren samen dat de associator totaal scheef-symmetrisch is. Dat wil zeggen dat voor alle en , en voor elke permutatie geldt:
Dit is equivalent aan de zogeheten flexibele identiteit
De associator is daarom alternerend. Omgekeerd is iedere algebra waarin de associator alterneert, duidelijk alternatief. Door symmetrie is elke algebra die voldoet aan een van de twee onderstaande condities:
- links alternatieve identiteit:
- rechts alternatieve identiteit:
- flexibele identiteit: ,
alternatief en voldoet daarom aan alle identiteiten.
Een alternerende associator is totaal scheef-symmetrisch. Het omgekeerde geldt ook, mits de karakteristiek van het onderliggende lichaam/veld ongelijk is aan 2.