Asociado

En álgebra abstracta , el término asociador se utiliza de diferentes maneras como medida de la no asociatividad de una estructura algebraica . Los asociadores se estudian comúnmente como sistemas triples .

Para un anillo o álgebra no asociativa R , el asociador es la aplicación multilineal.${\displaystyle [\cdot ,\cdot ,\cdot ]:R\times R\times R\to R}$dado por

${\displaystyle [x,y,z]=(xy)zx(yz).}$

Al igual que el conmutador

${\displaystyle [x,y]=xy-yx}$

mide el grado de no conmutatividad , el asociador mide el grado de no asociatividad de R. Para un anillo o álgebra asociativa , el asociador es idénticamente cero.

El asociador en cualquier anillo obedece a la identidad

${\displaystyle w[x,y,z]+[w,x,y]z=[wx,y,z]-[w,xy,z]+[w,x,yz].}$

El asociador es alternante precisamente cuando R es un anillo alternativo .

El asociador es simétrico en sus dos argumentos más a la derecha cuando R es un álgebra pre-Lie .

El núcleo es el conjunto de elementos que se asocian con todos los demás: es decir, los n en R tales que

${\displaystyle [n,R,R]=[R,n,R]=[R,R,n]=\{0\}\ .}$

El núcleo es un subanillo asociativo de R.

Un cuasigrupo Q es un conjunto con una operación binaria.${\displaystyle \cdot :Q\times Q\to Q}$de tal manera que para cada a , b en Q , las ecuaciones${\displaystyle a\cdot x=b}$y${\displaystyle y\cdot a=b}$tienen soluciones únicas x , y en Q. En un cuasigrupo Q , el asociador es el mapa${\displaystyle (\cdot ,\cdot ,\cdot ):Q\times Q\times Q\to Q}$definido por la ecuación

${\displaystyle (a\cdot b)\cdot c=(a\cdot (b\cdot c))\cdot (a,b,c)}$

para todos los a , b , c en Q. Al igual que su análogo en la teoría de anillos, el asociador de cuasigrupo es una medida de la no asociatividad de Q.

En álgebra de dimensiones superiores , donde puede haber morfismos no identidad entre expresiones algebraicas, un asociador es un isomorfismo.

${\displaystyle a_{x,y,z}:(xy)z\mapsto x(yz).}$

En la teoría de categorías , el asociador expresa las propiedades asociativas del functor de producto interno en categorías monoidales .

• Conmutador
• Álgebra no asociativa
• Cuasi-bialgebra  : analiza el asociador de Drinfeld.

• Bremner, M.; Hentzel, I. (marzo de 2002). "Identidades para el asociador en álgebras alternativas". Journal of Symbolic Computation . 33 (3): 255– 273. CiteSeerX 10.1.1.85.1905 . doi : 10.1006/jsco.2001.0510 . 
• Schafer, Richard D. (1995) [1966]. Introducción a las álgebras no asociativas . Dover. ISBN 0-486-68813-5.