Entendiendo Álgebras Con Alternativas a la Ley Distributiva

Si queremos cuantificar cuánto cuesta una operación asociados bajo aplicación repetida, podemos considerar al asociador ( a , b , C ) := ( a b ) C a ( b C ) . Entiendo la ley distributiva como un poco como la asociatividad, pero observando cómo dos operaciones binarias diferentes se asocian entre sí, en lugar de cómo una operación se asocia consigo misma.

Por lo tanto, considere un conjunto X con una operación binaria, , y adición de elementos, + , de modo que X es un anillo pero sin la ley distributiva, y que eso puede o no ser asociativo. ¿Hay un nombre para esta estructura?

¿Existe alguna definición similar para un 'distribuidor' para mi estructura? X que cuantifica cuánto distribuye la operación binaria sobre la suma de la misma manera que el asociador cuantifica cuánto se asocia un operador binario consigo mismo? Parece natural definir ( a , b , C ) + := ( a b ) + ( a C ) a ( b + C ) ; entonces podemos ver que ( a , b , C ) + = 0 cuando la operación binaria se distribuye sobre la suma. ¿Se utiliza esta definición para analizar álgebras no distributivas?

En segundo lugar, considere agregar una operación binaria adicional , y permitiendo que ambas operaciones binarias se distribuyan sobre la suma. ¿También es posible definir un distribuidor que cuantifique cuánto se distribuye una de las operaciones binarias sobre la otra? Una vez más, algo en la línea de ( a , b , C ) := ( a b ) ( a C ) a ( b C ) . Aunque en este caso también parece natural mirar ( a , b , C ) := ( a b ) C a ( b C ) , simplemente tomando el asociador y reemplazando el segundo operación con

También estoy interesado en cualquier lectura asociada con este tema y cualquier ejemplo de álgebra que tenga las formas que he descrito.

Respuestas (1)

( Nota: para simplificar, cuando digo "falta" en realidad quiero decir "no lo necesitamos".)

También malinterpreté un poco tu pregunta. Los ejemplos que doy a continuación asumen que tenemos inversos multiplicativos.

Si tiene distributividad pero le falta asociatividad es un semicampo.

Si falta la asociatividad y falta un lado de la distributividad (por lo que se distribuye desde la derecha pero no desde la izquierda), es un cuasicampo.

Si tiene asociatividad pero le falta un lado de la distributividad, es un campo cercano.

Creo que si falta tanto la asociatividad como la distributividad, se llama "grupo cartesiano".

El libro de Dembowski Geometrías finitas ofrece una buena referencia para esto (él los analiza como ejemplos de "anillos ternarios planos" que se utilizan para planos proyectivos coordinativos).

No sé si encontrará mucho material sobre estructuras que carecen tanto de asociatividad como de distributividad. Pero hay mucha investigación activa sobre semicampos finitos (y creo que los campos cercanos finitos están clasificados). En respuesta a la segunda parte de tu pregunta, por ejemplo con semicampos, podemos considerar el núcleo izquierdo, derecho y medio, que son los elementos que se asocian con todo cuando están en la posición izquierda, derecha y media, respectivamente; es decir, el núcleo izquierdo de un semicampo S sería

norte L ( S ) = { a : a S ( a b ) C = a ( b C )  para todos  b , C S }

Oh, en realidad quiero tener asociatividad pero no distributividad, dejé de lado la asociatividad con el fin de ilustrar qué es el asociador. Editaré mi pregunta para ser más clara. También estoy más interesado en el caso en el que no tenemos inversos multiplicativos, pero también echaré un vistazo a los cuasicampos, gracias.
@Joe Si no tiene distributividad en ninguno de los lados, realmente no tiene mucha estructura. Especialmente si tampoco asumes que tienes inversos multiplicativos. Los anillos cercanos (donde tenemos asociatividad y distributividad asumida solo para un lado) son los más cercanos que puedo encontrar en la literatura. Estoy seguro de que hay un nombre para lo que está preguntando, pero no estoy seguro de cuál es.