Magma (álgebra)


Magma (álgebra)
Para otros usos de este término, véase magma (desambiguación).

Un Magma (o grupoide) es una estructura algebraica de la forma  (A,\circ) donde A es un conjunto no vacío, donde se ha definido una operación binaria interna:  \circ .

Siendo esta ley de composición una operación interna:

1.- Operación interna: para cualesquiera par ordenado de elementos del conjunto AxA operados con  \circ , el resultado pertenece al conjunto A. Es decir:


   \forall x, y \in A : \quad
    x \circ y \in A
.

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 tiene otros sentidos en matemática (ver artículo grupoide), por lo que no es aconsejable su uso como sinónimo de magma.

Contenido

Definiciones

MagmaAGrupo.jpg

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.

Más Definiciones

Un magma se denomina:

  • medial si satisface la identidad xy.uz=xu.yz (i.e. (x*y)*(u*z)=(x*u)*(y*z)),
  • semimedial izquierdo si satisface la identidad xx.yz=xy.xz,
  • semimedial derecho si satisface la identidad yz.xx=yx.zx,
  • semimedial si es, a la vez, semimedial izquierdo y derecho,
  • distributivo izquierdo si satisface la identidad x.yz=xy.xz,
  • distributivo derecho si satisface la identidad yz.x=yx.zx,
  • autodistributivo si es, a la vez, distributivo izquierdo y derecho,
  • commutativo si satisface xy=yx,
  • idempotente si satisface xx=x,
  • unipotente si satisface xx=yy,
  • zeropotente si satisface xx.y=yy.x=xx,
  • alternativa si satisface xx.y=x.xy & x.yy=xy.y,
  • un semigrupo si satisface x.yz=xy.z (asociatividad),
  • un semigrupo con zeros izquierdos o elementos cancelativos izquierdos si satisface x=xy,
  • un semigrupo con zeros derechos o elementos cancelativos derechos si satisface x=yx,
  • un semigrupo con multiplicación nula si satisface xy=uv,
  • entrópico si es imagen homomórfica de un magma cancelativo.

No asociatividad

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

(x*y)*z\ne x*(y*z)\qquad\mbox{para algunos }x,y,z\in 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)-z\ne x-(y-z)\quad
    \\
     (x/y)/z\ne x/(y/z)\qquad\qquad
    \end{matrix}
   \right\}
   \mbox{para algunos }x,y,z\in\mathbb{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)*z\qquad\qquad\quad\,
   \\
    w*x*y*z=((w*x)*y)*z\quad
   \\
    \mbox{etc.}\qquad\qquad\qquad\qquad\qquad\qquad\ \ \,
   \end{matrix}
  \right\}
  \mbox{para todo }w,x,y,z\in 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)\qquad\qquad\quad\,
   \\
    w*x*y*z=w*(x*(y*z))\quad
   \\
    \mbox{etc.}\qquad\qquad\qquad\qquad\qquad\qquad\ \ \,
   \end{matrix}
  \right\}
  \mbox{para todo }w,x,y,z\in S

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

Más ejemplos

Las operaciones izquierdo-asociables incluyen las siguientes.

  • Substracción y división de números reales:
x-y-z=(x-y)-z\qquad\mbox{para todo }x,y,z\in\mathbb{R};
x/y/z=(x/y)/z\qquad\qquad\quad\mbox{para todo }x,y,z\in\mathbb{R}\mbox{ con }y\ne0,z\ne0.

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+z\over2}\ne{x+(y+z)/2\over2}\ne{x+y+z\over3}\qquad\mbox{para algunos }x,y,z\in\mathbb{R}.
  • Tomar el complemento relativo de conjuntos:
(A\backslash B)\backslash C\ne A\backslash (B\backslash C)\qquad\mbox{para algunos conjuntos }A,B,C.

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

Véase también

Grupo
Monoide
Semigrupo
Magma
Operación matemática
Operación interna
Asociatividad
Elemento neutro
Elemento simétrico

Referencias

Basado en el artículo de la Wikipedia en inglés.

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Magma (algebra) — In abstract algebra, a magma (or groupoid; not to be confused with groupoids in category theory) is a basic kind of algebraic structure. Specifically, a magma consists of a set M equipped with a single binary operation . A binary operation is… …   Wikipedia

  • Magma (álgebra) — 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,… …   Enciclopedia Universal

  • Magma (disambiguation) — Magma is a type of molten rock found under the Earth s surface. This may also refer to several different things: Contents 1 Computing 2 Fictional characters 3 Mathematics 4 Other …   Wikipedia

  • Magma computer algebra system — Magma Developer(s) Computational Algebra Group, School of Mathematics and Statistics, University of Sydney Stable release 2.17 8 / May 27, 2011 Operating system …   Wikipedia

  • Magma (Mathematik) — berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Kategorientheorie umfasst als Spezialfälle Halbgruppe (Axiome EA) Monoid (EAN) Gruppe (EANI) Abelsche Gruppe (EANIK) …   Deutsch Wikipedia

  • Álgebra — Para los usos matemáticos de la palabra álgebra como estructura algebraica, véase álgebra no asociativa, álgebra asociativa, álgebra sobre un cuerpo. El álgebra es la rama de las matemáticas que estudia las estructuras, las relaciones y las… …   Wikipedia Español

  • Magma (categoría) — Para otros usos de este término, véase magma (desambiguación). En matemática, la categoría de magmas (ver categoría, magma para definiciones), notada Mag, tiene por objetos conjuntos con una operación binaria, y morfismos dados por homomorfismos… …   Wikipedia Español

  • Magma (calcul formel) — Pour les articles homonymes, voir Magma. Magma (calcul formel) …   Wikipédia en Français

  • Magma (categoría) — En matemática, la categoría de magmas (ver categoría, magma para definiciones), notada Mag, tiene por objetos conjuntos con una operación binaria, y morfismos dados por homomorfismos de las operaciones (en el sentido del álgebra universal). La… …   Enciclopedia Universal

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.