Vaihtoehtoinen algebra on kentän yläpuolella oleva algebra , jossa kertolasku on vaihtoehto [1] . Jokainen assosiatiivinen algebra on luonnollisesti vaihtoehto, mutta on myös ei-assosiatiivisia vaihtoehtoisia algebroita, joista oktaavit ovat esimerkki . Oktaavien yleistyksellä, sedenionilla , ei ole enää vaihtoehtoisuuden ominaisuutta.
Vaihtoehtoiselle algebralle ja Maltsev-algebralle on olemassa Poincarén-Birkhoff-Wittin lauseen analogi . Vaihtoehtoisten algebroiden ja Maltsev-algebroiden välillä on seuraava suhde: korvataan kertolasku g(A,B) vaihtoehtoisessa algebrassa M kommutaattorioperaatiolla [A,B]=g(A,B)-g(B,A), muuttaa sen Maltsev-algebraksi .
Yhteistyökumppanin käyttäminen
vaihtoehtoisen algebran määrittävät identiteetit ovat muotoa [2]
kaikille elementeille ja Tästä on helppo saada se assosiaattorin monilineaarisuuden vuoksi
Siten vaihtoehtoisessa algebrassa assosiaattori on vaihtoehtoinen operaatio:
missä - elementtien permutaatio - tämän permutaation pariteetti. Päinvastoin on myös totta: jos assosiaattori on vaihtoehtoinen, niin rengas on vaihtoehtoinen. Vaihtoehtoiset renkaat saivat tällaisen nimen johtuen yhteydestä assosiaattorin vaihtoehtoisuuteen.
Samoin voidaan osoittaa, että ollakseen vaihtoehtoinen liittolainen, riittää, että mikä tahansa kaksi seuraavista identiteeteistä on voimassa:
josta kolmas identiteetistä seuraa välittömästi.