En álgebra abstracta , un magma medial o grupoide medial es un magma o grupoide (es decir, un conjunto con una operación binaria ) que satisface la identidad
o más simplemente,
para todos x , y , u y v , usando la convención de que la yuxtaposición denota la misma operación pero tiene mayor precedencia. Esta identidad ha sido denominada de diversas formas medial , abeliana , alternancia , transposición , intercambio , biconmutativa , bisimétrica , sobrecommutativa , entrópica, etc. [1]
Cualquier semigrupo conmutativo es un magma medial, y un magma medial tiene un elemento de identidad si y sólo si es un monoide conmutativo . La dirección del "sólo si" es el argumento de Eckmann-Hilton . Otra clase de semigrupos que forman magmas mediales son las bandas normales . [2] Los magmas mediales no necesitan ser asociativos: para cualquier grupo abeliano no trivial con operación + y números enteros m ≠ n , la nueva operación binaria definida por x • y = mx + ny produce un magma medial que en general no es asociativo ni conmutativo.
Usando la definición categórica de producto , para un magma M , se puede definir el magma cuadrado cartesiano M × M con la operación
La operación binaria • de M , considerada como un mapeo de M × M a M , mapea ( x , y ) a x • y , ( u , v ) a u • v , y ( x • u , y • v ) a ( x • u ) • ( y • v ) . Por tanto, un magma M es medial si y sólo si su operación binaria es un homomorfismo de magma de M × M a M. Esto puede expresarse fácilmente en términos de un diagrama conmutativo y, por tanto, conduce a la noción de un objeto de magma medial en una categoría con un producto cartesiano . (Vea la discusión en objeto de magma automático).
Si f y g son endomorfismos de un magma medial, entonces el mapeo f • g definido por la multiplicación puntual
es en sí mismo un endomorfismo. De ello se deduce que el conjunto End( M ) de todos los endomorfismos de un magma medial M es en sí mismo un magma medial.
El teorema de Bruck-Murdoch-Toyoda proporciona la siguiente caracterización de los cuasigrupos mediales . Dado un grupo abeliano A y dos automorfismos conmutantes φ y ψ de A , defina una operación • en A mediante
donde c algún elemento fijo de A . No es difícil demostrar que A forma un cuasigrupo medial bajo esta operación. El teorema de Bruck-Toyoda establece que todo cuasigrupo medial tiene esta forma, es decir, es isomorfo a un cuasigrupo definido a partir de un grupo abeliano de esta manera. [3] En particular, cada cuasigrupo medial es isotópico de un grupo abeliano.
El resultado lo obtuvieron de forma independiente en 1941 Murdoch y Toyoda. [4] [5] Luego fue redescubierto por Bruck en 1944. [6]
El término medial o (más comúnmente) entrópico también se utiliza para una generalización a operaciones múltiples. Una estructura algebraica es un álgebra entrópica [7] si cada dos operaciones satisfacen una generalización de la identidad medial. Sean f y g operaciones de aridad m y n , respectivamente. Entonces se requiere que f y g satisfagan
Un ejemplo particularmente natural de magma medial no asociativo lo dan los puntos colineales en curvas elípticas . La operación x • y = −( x + y ) para puntos de la curva, correspondiente a trazar una recta entre x e y y definir x • y como el tercer punto de intersección de la recta con la curva elíptica, es una (conmutativa) magma medial que es isotópico a la operación de adición de curva elíptica.
A diferencia de la suma de curvas elípticas, x • y es independiente de la elección de un elemento neutro en la curva y además satisface las identidades x • ( x • y ) = y . Esta propiedad se usa comúnmente en pruebas puramente geométricas de que la suma de curvas elípticas es asociativa.