Articulo de referencia

Alternatividad

En álgebra abstracta , la alternatividad es una propiedad de una operación binaria . Se dice que un magma G es alternativa izquierda si ( incógnita incógnita ) y = incógnita ( i...

En álgebra abstracta , la alternatividad es una propiedad de una operación binaria . Se dice que un magma G esalternativa izquierda si(incógnitaincógnita)y=incógnita(incógnitay){\displaystyle (xx)y=x(xy)}a pesar deincógnita,yGRAMO{\displaystyle x,y\in G}yalternativa correcta siy(incógnitaincógnita)=(yincógnita)incógnita{\displaystyle y(xx)=(yx)x}a pesar deincógnita,yGRAMO{\displaystyle x,y\in G}Se dice que un magma que es alternativo tanto a la izquierda como a la derecha esalternativa . [ 1 ]

Cualquier magma asociativo (es decir, un semigrupo ) es alternativo. En términos más generales, 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 .

Ejemplos

Algunos ejemplos de estructuras algebraicas con una multiplicación alternativa son:

  • Todo semigrupo es asociativo y, por lo tanto, alternativo.
  • Los bucles Moufang son alternativos y flexibles, pero generalmente no asociativos. Consulte la sección Ejemplos de bucles Moufang  para ver más ejemplos.
  • La multiplicación de octoniones es alternativa y flexible. Lo mismo es cierto, en general, para cualquier álgebra de octoniones .
  • Aplicar la construcción de Cayley-Dickson una vez a un anillo conmutativo con una involución trivial.a=a{\displaystyle a^{\ast }=a}da como resultado un álgebra asociativa conmutativa. Aplicarla dos veces da como resultado un álgebra asociativa. Aplicarla tres veces da como resultado un álgebra alternativa. Aplicarla cuatro o más veces da como resultado un álgebra que normalmente no es alternativa (aunque está en característica dos). Un ejemplo es la secuenciaR,do,H,O,S,...{\displaystyle \mathbb {R} ,\mathbb {C} ,\mathbb {H} ,\mathbb {O} ,\mathbb {S} ,...}dóndeH{\displaystyle \mathbb {H} }es el álgebra de cuaterniones,O{\displaystyle \mathbb {O} }es el álgebra de octoniones yS{\displaystyle \mathbb {S} }es el álgebra de sedeniones .

Véase también

Referencias

  1. Phillips, JD; Stanovský, David (2010), "Automated theorem proving in quasigroup and loop theory" (PDF) , AI Communications , 23 ( 2–3 ): 267–283 , doi : 10.3233/AIC-2010-0460 , MR 2647941 , Zbl 1204.68181  .