Alternativiteit

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de abstracte algebra zegt men dat een magma linksalternatief is, als voor alle geldt:

.

De magma heet rechtsalternatief, als voor alle geldt:

.

Een magma die zowel links als rechtsalternatief is noemt men alternatief.[1] Elke associatieve magma (semigroep) is duidelijk alternatief. Meer in het algemeen moet een magma, waarin elk tweetal elementen een associatieve submagma genereert, alternatief zijn.

Het tegenovergestelde is niet waar, dit in tegenstelling tot de situatie in de alternatieve algebra's. Een alternative magma hoeft niet machtassociatief te zijn.

De eigenschappen links- en rechtsalternatief kunnen uitgedrukt worden met behulp van een associator. Linksalternativiteit van en is equivalent met

;

rechtsalternativiteit met

.

Referenties[bewerken]

  1. Phillips, J. D. en Stanovský, D., Automated theorem proving in quasigroup and loop theory. DOI:10.3233/AIC-2010-0460, 2010, p. 267–283..