Cuasigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Cuasigrupo

Cuasigrupo
Cuasigrupo es la estructura algebraica que, con clausura lineal, se configura como un magma dotado de una
sola ley de composicin interna basada en la divisibilidad de sus elementos. Los cuasigrupos carecen de la
propiedad asociativa distinguindose por esta caracterstica de los semigrupos y grupos.

Bucle es el cuasigrupo que posee un divisor universal o elemento neutro.

ndice
1 Definicin
1.1 lgebra universal
1.2 Bucle
2 Ejemplos
3 Propiedades
3.1 Multiplicacin de los operadores
3.2 Cuadrados latinos
3.3 Propiedades inversas
4 Morfismos
4.1 Homotopa e isotopa
4.2 Conjugacin
4.3 Paratopa
5 Generalizaciones
5.1 Cuasigrupos polidicos o con aridad mltiple
5.2 Cuasigrupos derecho e izquierdo
6 Vase tambin
7 Referencias
8 Bibliografa
9 Enlaces externos

Definicin
Un cuasigrupo (Q, *) es un conjunto numrico Q dotado de una operacin binaria * que es interna, de tal
manera que el resultado de operar dos elementos cualesquiera entre s dar como resultado otro elemento de
Q; en otras palabras, que Q est clausurado linealmente o es un magma.

Sean los siguientes nmeros: x, y, a y b, elementos del cuasigrupo Q, se verifica que existe una nica manera
de expresarlos entre s a travs del operador *:

a*x=b;
y * a = b.

Tomando la tabla de Cayley de (Q, *), dos nmeros cualesquiera pertenecientes a Q, arroja como resultado
al operarlos entre s en el sentido estricto de que el primer operando se busca en la columna y el operado, en
la fila, el resultado se conoce en el lugar donde columna y fila se encuentran.

Las tablas de Cayley de los cuasigrupos tienen las caractersticas de los cuadrados latinos, donde cada casilla
est ocupada por un y solo un elemento de Q, apareciendo una sola vez en cada columna y en cada fila sin
repetirse.

1 de 6 03/10/2017 21:30
Cuasigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Cuasigrupo

El operador * est basado en la divisibilidad de dos elementos de Q. Esta divisibilidad puede establecerse de
dos maneras, en funcin de que se trate del cuasigrupo (Q, \) o del (Q, /):

Divisin lateral por la izquierda: a \ x = b ; x = a \ b, es el resultado de dividir por la izquierda a x.

Divisin lateral por la derecha: y / a = b ; y = a / b, es el resultado de dividir por la derecha a y.

Cuando la divisin es biltera, el resultado de la divisin por la izquierda y por la derecha coinciden,
verificndose que x = y necesariamente, en este caso, el cuasigrupo es (Q, |).

lgebra universal
En una estructura algebraica, la identidad es una ecuacin en la que todas las variables estn tcitamente
cuantificadas universalmente, y en el que todas las operaciones se encuentran entre las operaciones
primitivas propias de la estructura. Las estructuras algebraicas que tienen solamente identidad (elemento
neutro) se llaman variedades. Muchos resultados estndar del lgebra universal ocupan slo de las
variedades. Los cuasigrupos son las variedades en que la divisin izquierda y derecha se toman como
primitivas.

Un cuasigrupo (Q, *, \, /) es un tipo de lgebra (2,2,2) que satisface las identidades siguientes:

y = x * (x \ y);
y = x \ (x * y);
y = (y / x) * x;
y = (y * x) / x.

Por tanto, si (Q, *) es un cuasigrupo de acuerdo con la primera definicin, entonces (Q, *, \, /) es el mismo
cuasigrupo en el sentido del lgebra universal.

Segn Marshall Hall, Jr. un cuasigrupo es un sistema de elementos Q (a,b.c,...) en l est definida una
operacin binaria de producto de modo que, en cualquier ab=c cualesquiera dos de a, b, c determina de
manera nica el tercero como miembro de Q.1

Bucle
Un bucle es un cuasigrupo con un elemento neutro e de tal manera que:

x*e = x = e*x.

De ello se sigue que el elemento neutro e es nico, y que cada elemento de Q tiene un nico inverso a
izquierda y derecha. Hall, Jr. a bucle lo llama lazo.2

Ejemplos
Todo grupo es un bucle, porque a * x = b si y slo si x = a1 * b, and y * a = b si y slo si y = b * a1.
Los enteros Z con resta () forman un cuasigrupo.
Los racionales Q* sin el cero (o los reales R* sin el cero) con la divisin () forman un cuasigrupo.
Un espacio vectorial sobre un cuerpo de caracterstica distinta de dos forma un cuasigrupo
idempotente y conmutativo con la operacin x * y = (x + y) / 2.
Todo triple sistema de steiner define un cuasigrupo idempotente y conmutativo: a * b es el tercer

2 de 6 03/10/2017 21:30
Cuasigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Cuasigrupo

elemento del tripe que contiene a a y b

El conjunto {1, i, j, k} donde ii = jj = kk = +1 con todos los dems productos en el grupo de
cuaterniones forma un bucle asociativo de orden 8. Ver cuaterniones hiperblicos para su aplicacin.
(Los cuaterniones hiperblicos por s mismos no forman un bucle o cuasigrupo).
Los octoniones sin el cero forman un bucle no asociativo bajo la divisin. Los octoniones son un tipo
especial de bucle llamado bucle de Moufang.
En general el conjunto de elemetos distintos de cero de un conjunto forma un cuasigrupo con la
divisin.

Propiedades
:En el resto del artculo denotaremos a la multiplicacin del cuasigrupo por una simple yustaposicin

Los cuasigrupos tienen la propiedad de cancelacin: Si ab = ac, entonces b = c. Esto se deduce de la

singularidad de la divisin de la izquierda de ab o ac por a. Del mismo modo, si ba = ca, entonces b = c.

Multiplicacin de los operadores

La definicin de un cuasigrupo puede ser tratada como las condiciones de los operadores de la
multiplicacin, izquierda o derecha L(x), R(y): Q? Q, definido por

La definicin dice que ambas asignaciones son biyecciones de Q en s mismo. Un magma Q es un

cuasigrupo precisamente cuando todos estos operadores, para cada x en Q, son biyectivos. Las asignaciones
inversas son la divisin a izquierda y derecha, es decir:

En esta notacin, las correspondencias entre las operaciones de multiplicacin y divisin de los cuasigropos
(ver lgebra universal) son:

donde 1 denota la identidad en Q.

Cuadrados latinos
La tabla de multiplicar de un cuasigrupo finito es un cuadrado latino: una tabla de n n llenos de n smbolos
diferentes de tal manera que cada smbolo aparece exactamente una vez en cada fila y en cada columna.

Recprocamente: cada cuadrado latino puede ser visto como la tabla de multiplicar de algn cuasigrupo de
muchas maneras: la fila superior (que contiene los encabezados de columna) y la columna izquierda (que
contiene los encabezados de fila) pueden ser cualquier permutacin de los elementos. Ver pequeos
cuadrados latinos y cuasigrupos.

Propiedades inversas

3 de 6 03/10/2017 21:30
Cuasigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Cuasigrupo

Cada elemento del bucle tiene un nico inverso izquierdo y derecho dado por:

Un bucle se dice que es inverso bilateral si para todo x. En este caso el elemento inverso se suele
designar por .

Hay algunos conceptos ms profundos de los inversos de los bucles que a menudo son tiles:

Un bucle tiene la propiedad inversa por la izquierda si para todo e . De manera

equivalente, or .

Un bucle tiene la propiedad inversa por la derecha si para todo e . De manera

equivalente, or .

Un bucle tiene la propiedad anti automrfica si .De manera equivalente, si

.

Un bucle tiene la propiedad inversa dbil cuando si y slo si . Esto puede ser
expresada en trminos de inversos a travs de o de manera equivalente .

Un bucle tiene la propiedad inversa si tiene tanto en las propiedades inversa por la izquierda como por la
derecha. Si el bucle tiene propiedad inversa tambin tienen las propiedades inversa anti automrfica y dbil.
De hecho, cualquier bucle que satisface dos de las cuatro identidades tiene la propiedad inversa y por lo
tanto tiene las cuatro.

Cualquier bucle que satisface las propiedades de la inversa izquierda e inversa derecha, o anti automrfica
automticamente es inverso bilateral.

Morfismos
Un homomorfismo de un cuasigrupo o de un bucle es una funcin f: Q? P entre dos cuasigrupos tal que f(xy)
= f(x)f(y). Los Homomorfismos de los cuasigrupos preservan necesariamente la divisin por la izquierda y
por la derecha, y adems, cuando existen, los elementos neutros (en el caso de los bucles).

Homotopa e isotopa
Sean Q y P cuasigrupos. Una homotopa de un cuasigrupo de Q a P es una terna (?,?,?) de las funciones de Q
a P tal que

Un homomorfismo de un cuasigrupo es slo una homotopa en que las tres funciones son iguales.

Una isotopa es una homotopa en la que cada uno de las tres funciones (?,?,?) es una biyeccin. Dos
cuasigrupos son isotpicos si hay una isotopa entre ellos. En trminos de cuadrados latinos, una isotopa
(?,?,?) viene dada por una permutacin de filas?, una permutacin de las columnas?, y una permutacin de
elementos? del conjunto subyacente.

Un autotopa es una isotopa de un cuasigrupo en s mismo. El conjunto de todas las autotopas de un

cuasigrupo forman un grupo con el grupo de los automorfismos como subgrupo.

4 de 6 03/10/2017 21:30
Cuasigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Cuasigrupo

Cada cuasigrupo es isotpico de un bucle. Si un bucle es isotpico de un grupo, entonces es isomorfo a ese
grupo y por lo tanto es el mismo un grupo. Sin embargo, un cuasigrupo que sea isotpico a un grupo no
tiene por qu ser un grupo. Por ejemplo, el cuasigrupo en R con la multiplicacin dada por (x + y) / 2 es
isotpico para el grupo aditivo (R, +), pero no es en s un grupo.

Conjugacin
La divisin por la izquierda y por la derecha son ejemplos de la formacin de un cuasigrupo permutando las
variables en la ecuacin que las define. De la operacin original * (es decir, x*y = z) se pueden formar cinco
nuevas operaciones: xoy:= y*x (la operacin inversa), / y \, y sus opuestos. Esto hace un total de seis
operaciones de cuasigrupos, que se llaman los conjugados de *. Esto hace un total de seis operaciones del
cuasigrupo, que se llaman "conjugadas" el uno del otro (y de s mismos).

Paratopa
Si el conjunto de Q tiene dos operaciones del cuasigrupo, * y , y uno de ellos es isotpico a un conjugado
de la otra, las operaciones se dice que son paratopicas una de la otra.

Generalizaciones
Cuasigrupos polidicos o con aridad mltiple

Un cuasigrupo n-ario es un conjunto con una operacin n-aria, (Q, f) con f. Qn? Q, de tal manera que la
ecuacin f(x1,...,xn) = y tiene una solucin nica para cualquiera variable, si todas las otras n variables se
especifican de manera arbitraria. Polidica o o con aridad mltiple significa n-aria para cualquier entero n no
negativo.

Un cuasigrupo 0-ario, o sin argumentos, es slo un elemento constante de Q. Un cuasigrupo 1-ario, o

unitario, es una biyeccin de Q en s mismo. Un cuasigrupo binario, o 2-ario, es un cuasigrupo ordinario.

Un ejemplo de un cuasigrupo con aridad mltiple es una operacin del grupo iterado, y = x1 x2 xn no
es necesario el uso de parntesis para especificar el orden de las operaciones ya que el grupo es asociativo.
Tambin se puede formar un cuasigrupo con aridad mltiple mediante la realizacin de una secuencia de
operaciones del cuasigrupo del mismo o diferente grupo, si se especifica el orden de las operaciones.

Cuasigrupos derecho e izquierdo

Un cuasigrupo derecho (Q, *, /) es un tipo de lgebra (2,2) que satisface las siguientes igualdades:

y = (y / x) * x;
y = (y * x) / x.

Un cuasigrupo izquierdo (Q, *, \) es un tipo de lgebra (2,2) que satisface las siguientes igualdades:

y = x * (x \ y);
y = x \ (x * y).

Vase tambin
Magma
Semigrupo
Monoide

5 de 6 03/10/2017 21:30
Cuasigrupo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Cuasigrupo

Grupo
lgebra abstracta

Referencias
1. Teora de grupos (1979)Hall Jr., Marshall; Editorial Trillas, Mxico 1, D.F. pg.18
2. Ibdem, pg.18

Bibliografa
Akivis, Maks A.; Goldberg, Vladislav V. (2001). Solution of Belousov's problem. Discussiones
Mathematicae. General Algebra and Applications (en ingls) 21 (1): 93-103. ISSN 1509-9415
(https://www.worldcat.org/issn/1509-9415).
Richard, Hubert Bruck (1958). A survey of binary systems (en ingls).
Pflugfelder, Hala O.; Chein, Orin; Smith, Jonathan D. H (1990). Quasigroups and Loops: Theory and
Applications. Sigma Series in Pure Mathematics (en ingls) 8. Berln: Heldermann. ISBN 3-88538-008-0.
Dudek, Wieslaw A.; Glazek, Kazimierz (2008). Around the Hossz-Gluskin theorem for n-ary
groups. (http://dblp.uni-trier.de/db/journals/dm/dm308.html#DudekG08). Discrete Mathematics (en
ingls) 308 (21): 4861-4876.
Pflugfelder, Hala O (1990). Quasigroups and loops; introduction. Sigma Series in Pure Mathematics
(en ingls) 7. Berlin: Heldermann. ISBN 3-88538-007-2.
Smith, Jonathan D. H. (2007). An introduction to quasigroups and their representations (en ingls).
Chapman & Hall/CRC. ISBN 1-58488-537-8.
Smith, Jonathan D. H.; Romanowska, Anna B. (1999). Post-Modern Algebra. Pure and applied
mathematics (en ingls). Nueva York: Wiley. ISBN 1-58488-537-8.

Enlaces externos
Esta obra contiene una traduccin derivada de Quasigroup de Wikipedia en ingls, concretamente de
esta versin (https://en.wikipedia.org/wiki/Quasigroup?oldid=437069702), publicada por sus editores
(https://en.wikipedia.org/wiki/Quasigroup?action=history) bajo la Licencia de documentacin libre de
GNU y la Licencia Creative Commons Atribucin-CompartirIgual 3.0 Unported.

Obtenido de https://es.wikipedia.org/w/index.php?title=Cuasigrupo&oldid=99992191

Se edit esta pgina por ltima vez el 21 jun 2017 a las 18:41.
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.

6 de 6 03/10/2017 21:30