Magma (álgebra)

Recomendar esta página Ver en PDF Imprimir esta página
Wiki de astronomía.
Todo el poder de la Wikipedia y toda la esencia de la astronomía

Magma (álgebra)

De Wikipedia, la enciclopedia libre

En álgebra abstracta, un magma es un tipo de estructura algebraica especialmente elemental.

Un magma consiste en un conjunto X con una sola operación binaria en él. Normalmente (pero no siempre), es interpretado como una forma de multiplicación, pero no se impone ningún axioma a dicha operación al definirlo. En general, los magmas no son estudiados como tales, sino que se consideran diferentes tipos de magmas dependiendo de los axiomas que se requieran en la operación.

El término magma se debe a la asociación de matemáticos franceses que se hace llamar Nicolás Bourbaki. Durante algún tiempo compitió, para reflejar el mismo concepto, con la palabra grupoide, que sin embargo tiene otros sentidos en matemática (ver artículo grupoide), por lo que no es aconsejable su uso como sinónimo de magma.

Tabla de contenidos

[editar] Definiciones

Los tipos de magmas comúnmente estudiados incluyen:

El término “magma” fue introducido por Bourbaki. Anteriormente se usaba el término “grupoide”, y todavía se utiliza a veces. En esta enciclopedia, no obstante, reservamos el término grupoide para un concepto algebraico diferente.

Existe lo que podemos llamar un magma libre sobre cualquier conjunto X y que puede ser descrito en términos familiares en ciencias de la computación como el magma de los árboles binarios con operación dada por la yuxtaposición (ordenada) de los árboles por la raíz. Tiene por tanto un rol fundacional en sintaxis.

[editar] Más Definiciones

Un magma se denomina:

[editar] No asociatividad

Una operación binaria * en un conjunto S que no satisfaga la ley asociativa se llama no-asociativa. Simbólicamente,

(x*y)*zne x*(y*z)qquadmbox{para algunos }x,y,zin S

para tal operación el orden de la evaluación importa. La substracción y la división de números reales son ejemplos bien conocidos de operaciones no-asociativas:

left.     begin{matrix}      (x-y)-zne x-(y-z)quad     \      (x/y)/zne x/(y/z)qquadqquad     end{matrix}    right}    mbox{para algunos }x,y,zinmathbb{R}

En general, se deben utilizar paréntesis para indicar el orden de la evaluación si aparece una operación no-asociativa más de una vez en una expresión. Sin embargo, los matemáticos convienen en una orden particular de la evaluación para varias operaciones no-asociativas comunes. Esto tiene el estatus de una convención, no de una verdad matemática. Una operación izquierdo-asociable se evalúa convencionalmente de izquierda a derecha, es decir,

left.    begin{matrix}     x*y*z=(x*y)*zqquadqquadquad,    \     w*x*y*z=((w*x)*y)*zquad    \     mbox{etc.}qquadqquadqquadqquadqquadqquad  ,    end{matrix}   right}   mbox{para todo }w,x,y,zin S

mientras que una operación derecho-asociable se evalúa convencionalmente de derecha a izquierda:

left.    begin{matrix}     x*y*z=x*(y*z)qquadqquadquad,    \     w*x*y*z=w*(x*(y*z))quad    \     mbox{etc.}qquadqquadqquadqquadqquadqquad  ,    end{matrix}   right}   mbox{para todo }w,x,y,zin S

Las operaciones izquierdo-asociables y derecho-asociables ocurren; los ejemplos se dan abajo.

[editar] Más ejemplos

Las operaciones izquierdo-asociables incluyen las siguientes.

  • Substracción y división de números reales:
x-y-z=(x-y)-zqquadmbox{para todo }x,y,zinmathbb{R};
x/y/z=(x/y)/zqquadqquadquadmbox{para todo }x,y,zinmathbb{R}mbox{ con }yne0,zne0.

Las operaciones derecho-asociables incluyen la siguiente.

  • Exponenciación de números reales:
x^{y^z}=x^{(y^z)}.

La razón por la que la exponenciación es derecho-asociable es que una operación izquierdo-asociable repetida del exponente sería menos útil. Múltiples apariciones se podrían reescribir con la multiplicación:

(xy)z = x(yz).
  • El operador de asignación en muchos lenguajes de programación es derecho-asociable.

Por ejemplo, en el lenguaje C

x = y = z;  significa  x = (y = z);  y no  (x = y) = z;

Es decir la declaración asignaría el valor de z a ambos x e y.

Las operaciones no-asociativas para las cuales no se define ningún orden convencional de la evaluación incluyen el siguiente.

  • Tomar el promedio de números reales:
{(x+y)/2+zover2}ne{x+(y+z)/2over2}ne{x+y+zover3}qquadmbox{para algunos }x,y,zinmathbb{R}.
  • Tomar el complemento relativo de conjuntos:
(Abackslash B)backslash Cne Abackslash (Bbackslash C)qquadmbox{para algunos conjuntos }A,B,C.

nota: invito a la comunidad matematica interesada a que por favor coloquen ejemplos de los diferentes magmas

[editar] Véase también

[editar] Enlaces externos


Basado en el artículo de la wikipedia inglesa

Scroll to Top