Si queremos cuantificar cuánto cuesta una operación asociados bajo aplicación repetida, podemos considerar al asociador . 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 con una operación binaria, , y adición de elementos, , de modo que 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? 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 ; entonces podemos ver que 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 . Aunque en este caso también parece natural mirar , 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.
( 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 sería
José
morgan rodgers