Magma (lgebra) - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Magma_(lgebra)

Magma (lgebra)
Un Magma es una estructura algebraica de la forma con A es un conjunto donde se ha definido una
operacin binaria interna: .1

Siendo esta ley de composicin una operacin interna:

1.- Operacin interna: para cualesquiera par ordenado

de elementos del conjunto AA operados con , el
resultado pertenece al conjunto A. Es decir:

El trmino magma se debe a la asociacin de matemticos franceses que se hace llamar Nicols Bourbaki.1
Durante algn tiempo compiti, para reflejar el mismo concepto, con la palabra grupoide, que tiene otros
sentidos en matemtica (ver artculo grupoide), por lo que no es aconsejable su uso como sinnimo de
magma.2 3

ndice
1 Definiciones
1.1 Ms Definiciones
2 No asociatividad
2.1 Ms ejemplos
3 Vase tambin
4 Referencias
5 Enlaces externos

Definiciones
Los tipos de magmas comnmente estudiados incluyen:

cuasigrupos magmas no vacos donde la divisin es siempre posible.

bucles cuasigrupos con elementos neutros.
semigrupos magmas donde la operacin es asociativa.
monoides semigrupos con elemento neutro.
grupos monoides con elementos simtricos, o equivalentemente, cuasigrupos asociativos (que son
siempre bucles).
grupos abelianos grupos donde la operacin es conmutativa.

El trmino "magma" fue introducido por Bourbaki. Anteriormente se usaba el trmino "grupoide", y todava

1 de 5 03/10/2017 21:29
Magma (lgebra) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Magma_(lgebra)

se utiliza a veces. En esta enciclopedia, no obstante, reservamos el

trmino grupoide para un concepto algebraico diferente.

Existe lo que podemos llamar un magma libre sobre cualquier

conjunto X y que puede ser descrito en trminos familiares en
ciencias de la computacin como el magma de los rboles binarios
con operacin dada por la yuxtaposicin (ordenada) de los rboles
por la raz. Tiene por tanto un rol fundacional en sintaxis.

Ms 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 ceros izquierdos o elementos cancelativos izquierdos si satisface x=xy,
un semigrupo con ceros derechos o elementos cancelativos derechos si satisface x=yx,
un semigrupo con multiplicacin nula si satisface xy=uv,
entrpico si es imagen homomrfica de un magma cancelativo.

No asociatividad
Una operacin binaria * en un conjunto S que no satisfaga la ley asociativa se llama no-asociativa.
Simblicamente,

para tal operacin el orden de la evaluacin importa. La substraccin y la divisin de nmeros reales son
ejemplos bien conocidos de operaciones no-asociativas:

En general, se deben utilizar parntesis para indicar el orden de la evaluacin si aparece una operacin no-
asociativa ms de una vez en una expresin. Sin embargo, los matemticos convienen en una orden
particular de la evaluacin para varias operaciones no-asociativas comunes. Esto tiene el estatus de una
convencin, no de una verdad matemtica. Una operacin izquierdo-asociable se evala convencionalmente
de izquierda a derecha, es decir,

2 de 5 03/10/2017 21:29
Magma (lgebra) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Magma_(lgebra)

mientras que una operacin derecho-asociable se evala convencionalmente de derecha a izquierda:

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

Ms ejemplos
Las operaciones izquierdo-asociables incluyen las siguientes.

Substraccin y divisin de nmeros reales:

Las operaciones derecho-asociables incluyen la siguiente.

Exponenciacin de nmeros reales:

La razn por la que la exponenciacin es derecho-asociable es que una operacin izquierdo-asociable

repetida del exponente sera menos til. Mltiples apariciones se podran reescribir con la multiplicacin:

El operador de asignacin en muchos lenguajes de programacin es derecho-asociable.

Por ejemplo, en el lenguaje C

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

Es decir la declaracin asignara el valor de z a ambos x e y.

Las operaciones no-asociativas para las cuales no se define ningn orden convencional de la evaluacin
incluyen el siguiente.

Tomar el promedio de nmeros reales:

Tomar el complemento relativo de conjuntos:

Vase tambin

3 de 5 03/10/2017 21:29
Magma (lgebra) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Magma_(lgebra)

Categora de los magmas

Conjunto
Magma Ley de composicin
Semigrupo
Monoide Interna
Grupo
Asociatividad
Elemento neutro
Elemento simtrico

Referencias
1. Bourbaki, Nicolas (1998). lments de mathmatique - lgebre Chapitres 1-3 [Algebra I: Chapters 1-3] (en
ingls). Berln: Springer-Velag. p. 1. ISBN 3540642439.
2. R. I. Grigoruk, ed. (2006). Topological and Asymptotic Aspects of Group Theory: AMS Special Sessions
Probabilitistic and Asymptotic Aspects of Group Theory, March 26-27, 2004, Athens, Ohio, AMS Special Sessions
and Topological Aspects of Group Theory, October 16-17, 2004, Nashville, Tennessee (http://books.google.es
/books?id=Y8UmywsqgXQC&pg=PA115&dq=groupoid+term+magma+algebra&hl=es&sa=X&
ei=8B9mUYC5BsjD7AalgYFY&ved=0CDAQ6AEwAA#v=onepage&
q=groupoid%20term%20magma%20algebra&f=false) (en ingls). American Mathematical Soc. p. 115.
ISBN 0821857266.
3. Post-Modern Algebra-Chapter IV Universal Algebra pag. 284 (http://books.google.es/books?id=i5SlbIA-
KwUC&pg=PA284&dq=groupoid+term+magma+algebra&hl=es&sa=X&ei=8B9mUYC5BsjD7AalgYFY&
ved=0CFUQ6AEwBw#v=onepage&q=groupoid%20term%20magma%20algebra&f=false) (en ingls)

M. Hazewinkel (2001), Magma (http://www.encyclopediaofmath.org/index.php?title=Magma&

oldid=12223), en Hazewinkel, Michiel, Encyclopaedia of Mathematics (en ingls), Springer,
ISBN 978-1556080104
M. Hazewinkel (2001), Free magma (http://www.encyclopediaofmath.org
/index.php?title=Free_magma&oldid=12862), en Hazewinkel, Michiel, Encyclopaedia of
Mathematics (en ingls), Springer, ISBN 978-1556080104
Weisstein, Eric W. Groupoid (http://mathworld.wolfram.com/Groupoid.html). En Weisstein, Eric
W. MathWorld (en ingls). Wolfram Research.

Enlaces externos
Jezek page (http://web.archive.org/web/http://adela.karlin.mff.cuni.cz/~jezek/)
Definition list (http://web.archive.org/web/http://adela.karlin.mff.cuni.cz/~jezek/medial/16.jpg)
J.Jezek and T.Kepka: Medial groupoids Rozpravy CSAV, Rada mat. a prir. ved 93/2 (1983), 93 pp
Definition list (http://web.archive.org/web/http://adela.karlin.mff.cuni.cz/~jezek/medial/17.jpg) but
old groupoid for magma
medial groupoid (http://www.math.usf.edu/~eclark/algctlg/medial_gpds.html) groupoid = magma
A Catalogue of Algebraic Systems / John Pedersen (http://www.math.usf.edu/~eclark/algctlg/) no
broken links
Mathematical Structures: medial groupoids (http://web.archive.org/web/http://math.chapman.edu/cgi-

4 de 5 03/10/2017 21:29
Magma (lgebra) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Magma_(lgebra)

bin/structures.pl?Medial_groupoids) groupoid = magma

operations (http://web.archive.org/web/http://ocean.ucc.ie/~cjvdb1/html/binops.shtml)
Weisstein, Eric W. Groupoid (http://mathworld.wolfram.com/Groupoid.html). En Weisstein, Eric
W. MathWorld (en ingls). Wolfram Research.
Basado en el artculo de la Wikipedia en ingls (https://en.wikipedia.org/)

Obtenido de https://es.wikipedia.org/w/index.php?title=Magma_(lgebra)&oldid=99986606

Se edit esta pgina por ltima vez el 21 jun 2017 a las 13:40.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

5 de 5 03/10/2017 21:29