En álgebra abstracta , un magma , binario [1] o, raramente, grupoide es un tipo básico de estructura algebraica . En concreto, un magma consiste en un conjunto dotado de una única operación binaria que debe ser cerrada por definición. No se imponen otras propiedades.
El término grupoide fue introducido en 1927 por Heinrich Brandt al describir su grupoide de Brandt . Luego, el término fue apropiado por B. A. Hausmann y Øystein Ore (1937) [2] en el sentido (de un conjunto con una operación binaria) utilizado en este artículo. En un par de revisiones de artículos posteriores en Zentralblatt , Brandt se mostró en total desacuerdo con esta sobrecarga de terminología. El grupoide de Brandt es un grupoide en el sentido utilizado en la teoría de categorías, pero no en el sentido utilizado por Hausmann y Ore. Sin embargo, libros influyentes en la teoría de semigrupos, incluidos Clifford y Preston (1961) y Howie (1995), utilizan grupoide en el sentido de Hausmann y Ore. Hollings (2014) escribe que el término grupoide es "quizás el más utilizado en las matemáticas modernas" en el sentido que se le da en la teoría de categorías. [3]
Según Bergman y Hausknecht (1996): "No existe una palabra generalmente aceptada para un conjunto con una operación binaria no necesariamente asociativa. La palabra grupoide es utilizada por muchos algebristas universales, pero los trabajadores de la teoría de categorías y áreas relacionadas se oponen firmemente a este uso porque utilizan la misma palabra para significar 'categoría en la que todos los morfismos son invertibles'. El término magma fue utilizado por Serre [Lie Algebras and Lie Groups, 1965]". [4] También aparece en Bourbaki 's Éléments de mathématique , Algèbre, chapitres 1 à 3, 1970. [ 5]
Un magma es un conjunto M que se corresponde con una operación • que envía dos elementos cualesquiera a , b ∈ M a otro elemento, a • b ∈ M . El símbolo • es un marcador de posición general para una operación correctamente definida. Para calificar como magma, el conjunto y la operación ( M , •) deben satisfacer el siguiente requisito (conocido como propiedad de magma o de clausura ):
Y en notación matemática:
Si • es en cambio una operación parcial , entonces ( M , •) se denomina magma parcial [6] o, más a menudo, grupoide parcial . [6] [7]
Un morfismo de magmas es una función f : M → N que asigna magma ( M , •) a magma ( N , ∗) que preserva la operación binaria:
Por ejemplo, con M igual a los números reales positivos y * como media geométrica , N igual a la recta numérica real y • como media aritmética , un logaritmo f es un morfismo del magma ( M , *) a ( N , •).
Obsérvese que estos magmas conmutativos no son asociativos ni tienen un elemento de identidad . Este morfismo de magmas se ha utilizado en economía desde 1863, cuando W. Stanley Jevons calculó la tasa de inflación de 39 productos básicos en Inglaterra en su libro A Serious Fall in the Value of Gold Ascertained , página 7.
La operación magma puede aplicarse repetidamente y, en el caso general, no asociativo, el orden importa, lo que se indica entre paréntesis. Además, la operación • suele omitirse y se indica por yuxtaposición:
Para reducir el número de paréntesis se suele utilizar una abreviatura en la que se omiten las operaciones más internas y los pares de paréntesis, y se sustituyen simplemente por la yuxtaposición: xy • z ≡ ( x • y ) • z . Por ejemplo, lo anterior se abrevia a la siguiente expresión, que todavía contiene paréntesis:
Una forma de evitar por completo el uso de paréntesis es la notación de prefijo , en la que la misma expresión se escribiría •• a • bcd . Otra forma, familiar para los programadores, es la notación de posfijo ( notación polaca inversa ), en la que la misma expresión se escribiría abc •• d • , en la que el orden de ejecución es simplemente de izquierda a derecha (sin currificación ).
El conjunto de todas las cadenas posibles que consisten en símbolos que denotan elementos del magma y conjuntos de paréntesis balanceados se llama lenguaje Dyck . El número total de diferentes formas de escribir n aplicaciones del operador magma está dado por el número de Catalan C n . Así, por ejemplo, C 2 = 2 , que es simplemente la afirmación de que ( ab ) c y a ( bc ) son las únicas dos formas de emparejar tres elementos de un magma con dos operaciones. De manera menos trivial, C 3 = 5 : (( ab ) c ) d , ( a ( bc )) d , ( ab )( cd ) , a (( bc ) d ) y a ( b ( cd )) .
Hay n n 2 magmas con n elementos, por lo que hay 1, 1, 16, 19683,4 294 967 296 , ... (secuencia A002489 en la OEIS ) magmas con 0, 1, 2, 3, 4, ... elementos. Los números correspondientes de magmas no isomorfos son 1, 1, 10, 3330,178 981 952 , ... (secuencia A001329 en la OEIS ) y los números de magmas simultáneamente no isomorfos y no antiisomorfos son 1, 1, 7, 1734,89 521 056 , ... (secuencia A001424 en la OEIS ). [8]
Un magma libre M X sobre un conjunto X es el magma "más general posible" generado por X (es decir, no hay relaciones ni axiomas impuestos sobre los generadores; ver objeto libre ). La operación binaria sobre M X se forma envolviendo cada uno de los dos operandos entre paréntesis y yuxtaponiéndolos en el mismo orden. Por ejemplo:
M X puede describirse como el conjunto de palabras no asociativas en X con paréntesis conservados. [9]
También puede verse, en términos familiares en informática , como el magma de árboles binarios completos con hojas etiquetadas por elementos de X. La operación es la de unir árboles en la raíz. Por lo tanto, tiene un papel fundamental en la sintaxis .
Un magma libre tiene la propiedad universal de que si f : X → N es una función de X a cualquier magma N , entonces existe una extensión única de f a un morfismo de magmas f ′
Los magmas no suelen estudiarse como tales; en cambio, existen varios tipos diferentes de magma, según los axiomas que se requiera que satisfaga la operación. Los tipos de magma que se estudian habitualmente incluyen:
Nótese que tanto la divisibilidad como la invertibilidad implican la propiedad de cancelación .
Un magma ( S , •) , con x , y , u , z ∈ S , se llama
La categoría de magmas, denominada Mag , es la categoría cuyos objetos son magmas y cuyos morfismos son homomorfismos de magmas. La categoría Mag tiene productos directos y existe un funtor de inclusión : Set → Med ↪ Mag como magmas triviales, con operaciones dadas por proyección x T y = y .
Una propiedad importante es que un endomorfismo inyectivo puede extenderse a un automorfismo de una extensión de magma , justo el colimite del ( secuencia constante del) endomorfismo .
Debido a que el singleton ({*}, *) es el objeto terminal de Mag , y debido a que Mag es algebraico , Mag es puntiagudo y completo . [12]
