En álgebra abstracta , la alternatividad es una propiedad de una operación binaria . Se dice que un magma G esalternativa izquierda sipara todosyalternativa derecha si espara todosSe dice que un magma que es a la vez alternativa izquierda y derecha esalternativa (flexible ).[1]
Cualquier magma asociativo (es decir, un semigrupo ) es alternativo. De manera más general, un magma en el que cada par de elementos genera un submagma asociativo debe ser alternativo. Sin embargo, lo contrario no es cierto, a diferencia de lo que ocurre en las álgebras alternativas . De hecho, un magma alternativo ni siquiera necesita ser asociativo de poder : ya no se puede demostrar que la expresión sea idéntica a expresiones como puramente por alternatividad.