Miscelanea Matematica 40 (2004) 19

SMM

Un panorama del algebra universal

Simone Hazan
simhazan@prodigy.net.mx

Resumen En este art culo panormico, presentamos conceptos de base a del algebra universal tales como deniciones fundamentales y teoremas de homomorsmos. Damos los rudimentos de la teor a de ret culos, el teorema HSP de Garrett Birkho sobre clases ecuacionales, y mencionamos tres areas de investigacin del alge o bra universal. Clasicacin del AMS (2000): 08-02, 06B05. o

1.

Introduccin. o

Al nal del siglo XIX, las matemticas dispon de una variedad a an de estructuras algebraicas tales como grupos, algebras de Lie, espa cios vectoriales, algebras de Boole, etc. En 1898 apareci el libro de o Whitehead A Treatise on Universal Algebra ([9]), cuyo autor trataba de unicar todas esas estructuras por medio de una teor ecuacional. a Sin embargo, los conceptos del algebra universal tal como la conocemos hoy d tardaron otros treinta a os para ser descubiertos. Algunos de a n ellos se encuentran impl citos en el manual de Van der Waerden Moderne Algebra ([8], 1931), pero quien empez a desarollar el campo de o manera ms formal fue Birkho ([1], [2], 1933-1935). a En este art culo presentamos los conceptos bsicos de este campo a muy activo de las matemticas (Seccin 2), as como del subcampo que a o constituye la teor de ret a culos (Seccin 3). En la Seccin 4, enunciamos o o el Teorema HSP de Birkho, y la ultima seccin est dedicada a tres o a areas recientes de investigacin. o Todas las notaciones usadas se pueden encontrar en [6]. 1

Simone Hazan

2.

Conceptos bsicos. a

Denicin 2.1. Un algebra (universal) es una pareja A = A, fi (i o I) donde A es un conjunto no vac llamado universo del algebra, y o cada fi es una operacin ni -aria o de rango ni sobre A, es decir una o funcin de Ani a A, con ni 0. Cuando ni es igual a cero, la operacin o o es simplemente una constante, y se le llama operacin nularia. Para o operaciones de rango uno, dos y tres, decimos unaria, binaria y ternaria respectivamente. Ntese que A denota un algebra, mientras que A es un simple cono junto. El tipo del algebra A es la familia de sus rangos ni , i I . Dos algebras son similares si tienen el mismo tipo. Ejemplos. 1) Un grupo es un algebra G = G, .,1 , e de tipo 2, 1, 0 que satisface, para todos x, y, z G, las ecuaciones (i) x.(y.z) = (x.y).z (asociatividad), (ii) x.e = e.x = x (e es neutro para el producto), (iii) x.x1 = x1 .x = e (x1 es el inverso multiplicativo de x). 2) Un espacio vectorial es un algebra V = V, +, , 0, f , ( K) tal que V, +, , 0 es un grupo abeliano, las f son operaciones unarias indexadas por un campo K y se cumplen las siguientes ecuaciones para todos x, y V y , K: (i) f1 (x) = x, (ii) f (x + y) = f (x) + f (y), (iii) f+ (x) = f (x) + f (x), (iv) f (x) = f (f (x)). Denicin 2.2. Sea A = A, fi (i I) un algebra. Un subuniverso o de A es un subconjunto U de A que es cerrado bajo las operaciones del algebra, i.e. para toda operacin ni -aria fi y todos u0 , ..., uni1 U , o tenemos f (u0 , ..., uni1 ) U . Si U es un subuniverso no vac de A, se dice que U = U, fi |U ni o es una sublgebra de A. Claramente, U tiene el mismo tipo que A. a Sea Aj (j J) una familia de algebras similares. El producto A = Aj de la familia es el algebra de mismo tipo cuyo universo es el producto de los conjuntos Aj y en el cual las operaciones estn denidas a por fi ( aj jJ , ..., aj i 1 jJ ) = f (aj , ..., aj i 1 ) jJ . 0 n 0 n Una congruencia de A es una relacin de equivalencia sobre A que, o
J

 Un panorama del algebra universal

vista como subconjunto de A2 , constituye un subuniverso de A2 . El conjunto de congruencias de A se denota CON A. Ejemplo 2.3. Sea N un subgrupo normal de un grupo G. La relacin o 2 1 binaria = { x, y G : x.y N} es una congruencia de G. Rec procamente, para cualquier congruencia de G, la clase e/ del neutro e es un subgrupo normal de G. Esta correspondencia biyectiva entre subgrupos normales y congruencias de un grupo muestra que la nocin de congruencia constituye una generalizacin de la de subgrupo o o normal. Denicin 2.4. Sean A y B dos algebras del mismo tipo y CON o A. El lgebra cociente de A por es el algebra A/ del mismo a tipo que A, con universo el conjunto A/ de las clases de equivalencia de , donde las operaciones son denidas por fi (a0 /, ..., ani 1 /) = fi (a0 , ..., ani 1 )/. Un homomorsmo de A a B es una funcin h entre los conjuno tos A y B tal que para todos i I y a0 , ..., ani 1 A, se cumple hfi (a0 , ..., ani 1 ) = fi (h(a0 ), ..., h(ani 1 ). El siguiente teorema, conocido como Teorema de homomorsmos, generaliza los clsicos teoremas del mismo nombre, en teor de grupos a a o de anillos. Teorema 2.5. Sean A y B dos algebra del mismo tipo, h un homomor smo suprayectivo de A a B, una congruencia de A y g : A A/ el mapeo cociente, que a cada elemento de A asocia su clase bajo . (i) El ncleo ker h = { x, y A2 : h(x) = h(y)} de h es una u congruencia de A. (ii) g es un homomorsmo suprayectivo. (iii) Si ker h = , entonces la unica funcin f : A/ B tal que o f g = h es un homomorsmo entre A/ y B.

3.

Ret culos.

El concepto de ret culo tiene su origen en la formalizacin de la o lgica proposicional (De Morgan 1847, Boole 1854). Los matemticos o a que dieron una denicin abstracta de esta estructura fueron Peirce o (1880), Schrder (1890-1905) y Dedekind (1897). o Denicin 3.1. Un retculo es un algebra L = L, , , donde y o son operaciones binarias conmutativas y asociativas que satisfacen, para todos x, y L:

Simone Hazan

(i) x x = x x = x (idempotencia), (ii) x (x y) = x (x y) = x (leyes de absorcin). o Es fcil ver que existe una correspondencia biun a voca entre ret culos y conjuntos ordenados en los cuales cualquier pareja de elementos x y y tiene nmo x y y supremo x y. La relacin de orden se dene por o x y x y = x. Un ejemplo muy conocido de ret culo es el dado por los subconjuntos de un conjunto, con la interseccin y la unin como operaciones. En este o o caso, el ret culo es completo, es decir que cualquier subfamilia tiene nmo y supremo. Para cualquier algebra A, los subuniversos de A forman un ret culo SUB A, en el cual U V = U V para todos subuniversos U , V , y U V es el subuniverso generado por U V , o sea la interseccin de o todos los subuniversos de A que contienen a U V . El ret culo SUB A es completo. De manera similar, las congruencias de A forman un ret culo completo CON A. Un conjunto ordenado nito (o discreto) puede ser representado por un diagrama de Hasse, donde los elementos son representados por puntos, x < y implica que el punto que representa x est ms abajo a a que el que representa y en el diagrama, y se pone una arista entre dos puntos cada vez que hay una relacin de cobertura entre los elementos o correspondientes, es decir y cubre a x si y slo si y > x y para todo z o tal que x z y, tenemos z = x o z = y. En las Figuras 1 y 2 se encuentran diagramas de Hasse de los ret culos N5 y M3 mencionados en los Teoremas 3.1 y 3.3. Denicin 3.2. Un ret o culo L es modular si para todos x, y, z L, x z implica que x (y z) = (x y) z. Se dice que L es distributivo si para todos x, y, z L tenemos x (y z) = (x y) (x z). Es claro que todo ret culo distributivo es modular. Teorema 3.3 (Dedekind 1900). (i) El retculo de congruencias de cualquier grupo es modular. (ii) Un retculo L es modular si y slo si no contiene subretculos o isomorfos a N5 . Teorema 3.4 (Funayama-Nakayama 1942). El retculo de con gruencias de cualquier retculo es distributivo. Teorema 3.5. Un retculo es distributivo si y slo si no tiene sub o retculos isomorfos a N5 o a M3 .

 Un panorama del algebra universal

5 5 d

Figura 1: N5

d d

d d

d d

d d

Figura 2: M3

4.

El teorema HSP de Birkho.

Una variedad es una clase de algebras del mismo tipo cerrada bajo la formacin (salvo isomorsmos) de imgenes homomorfas, sublgeo a a bras y productos. Estas formaciones de nuevas algebras corresponden a operadores que act an dentro de una misma variedad y se denotan u respectivamente por H, S y P . Se puede demostrar que para una clase K de algebras del mismo tipo, la variedad generada por K es HSP (K), es decir que es suciente cerrar la clase formando primero productos, luego sublgebras y al nal imgenes homomorfas para obtener una a a variedad. Una clase ecuacional es una clase de algebras del mismo tipo que es denida por un conjunto de ecuaciones, es decir frmulas que utio lizan unicamente variables, los s mbolos de operaciones del tipo dado, el s mbolo de igualdad y el cuanticador universal. Por ejemplo, los grupos forman una variedad que tiene subvariedades como la subclase formada por los grupos abelianos. Los ret culos distributivos forman una subvariedad de la variedad de ret culos. Para ver que los ret culos modulares tambin forman una variedad, es necesario dar una denicin e o equivalente a la ley modular que no use el s mbolo ni la implicacin. o Esta denicin es la ecuacin ((x z) y) z) = (x z) (y z). o o El muy importante teorema HSP de Birkho, cuya demostracin o tiene varias pginas e implica la formacin de algebras libres, es el a o siguiente: Teorema 4.1. Sea K una clase de algebras similares. Entonces K es una variedad si y slo si es una clase ecuacional. o

5.

Subcampos recientes de investigacin. o

El algebra universal cuenta con numerosos adeptos que se encuen tran principalmente en Estados Unidos, Europa del Este y Canad. En a

Simone Hazan

esta ultima seccin, mencionaremos brevemente tres de los temas ms o a importantes que se siguen desarrollando a la fecha.

5.1.

Los clones.

Un clon sobre un conjunto A es un conjunto de operaciones en A cerrado bajo todo tipo de composiciones y contiene todas la proyecn ciones i : An A denidas por pn (x0 , ..., xn1 ) = xi . Los clones i sobre A forman un ret culo completo C(A). Este ret culo es en general muy complejo, por lo cual los investigadores de este tema se restringen a regiones bien denidas para su estudio. En particular, los clones minimales, es decir los que cubren el clon de las proyecciones, y los clones maximales , i.e. que son cubiertos por el clon de todas las operaciones, han dado lugar a numerosos art culos. A continuacin enunciamos cuao tro teoremas importantes de la teor de los clones. a Teorema 5.1 (Post 1921). C({0, 1}) es numerable. Teorema 5.2 (Yanov-Muchnik 1959). Si A es nito y tiene ms a 0 de dos elementos, entonces |C(A)| = 2 . Teorema 5.3 (Rosenberg 1976). Si A es innito, entonces |C(A)| = |A| 22 . El siguiente resultado es de los ms importantes de esta area. Ser a a demasiado largo presentarlo con todas las deniciones que se necesitar an, as que lo mencionamos en forma abreviada. Teorema 5.4 (Rosenberg 1965). Sea A un conjunto nito. Un clon sobre A es maximal si y slo si tiene una de seis formas, denidas a o partir de relaciones sobre A.

5.2.

El conmutador.

Si H y K son subgrupos normales de un grupo G, el conmutador [H, K] es el subuniverso de G generado por los elementos de la forma x1 .y 1 .x.y, con x H y y K. El subgrupo resultante es normal, y es el subgrupo ms peque o G de G contenido en H K tal que en a n G/G , todo elemento de H/G conmuta con todo elemento de K/G . La teor del conmutador generaliza esta denicin para algebras que a o pertenecen a variedades modulares, es decir cuyos miembros tienen su ret culo de congruencias modular. Esta area fue desarrollada por Smith (1976), Hagemann y Herrmann (1979) y Freese y McKenzie (1987).

 Un panorama del algebra universal

5.3.

Teor de las congruencias domadas. a

En los a os ochenta, Hobby y McKenzie empezaron a desarrollar lo n que se convertir en el subcampo ms en voga del algebra universal: a a la teor de las congruencias domadas, o Tame congruence theory en a ingls. Esta teor se basa en una clasicacin de todas las algebras e a o nitas en cinco tipos, denidos a partir de sus congruencias. Estos tipos son denominados respectivamente el tipo unario, el afn, el Booleano, el tipo retculo y el tipo semiretculo. Es decir que cada algebra nita se comporta localmente como el algebra que corresponde a su tipo. A partir de esta divisin se prueban teoremas muy potentes, y muchos o art culos que usan estos conceptos se siguen escribiendo.

Referencias
[1] G. Birkho, On the combination of subalgebras, Proc. Cambridge Philos. Soc. 29, 441-464, 1933. [2] G. Birkho, On the structure of abstract algebras, Proc. Cambridge Philos. Soc 31, 433-454, 1935. [3] S. Burris and H.P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981. [4] R. Freese and R. McKenzie, Commutator Theory for Congruence Modular Varieties, London Math. Soc., Lecture Notes Series 125, 1987. [5] D. Hobby and R. McKenzie, The Structure of Finite Algebras, Amer. Math. Soc. Contemporary Mathematics, Volume 76, 1988. [6] R. McKenzie, G. McNulty and W. Taylor, Algebras, Lattices, Varieties, vol. I, Wadsworth & Brooks/Cole Math. Series, Monterey, CA, 1987. [7] A. Szendrei, Clones in Universal Algebra, Sminaire de Mathmae e tiques Suprieures, Les Presses de lUniversit de Montral, 1986. e e e [8] B.L. Van der Waerden, Moderne Algebra, Julius Springer, Berlin, 1931. [9] A. N. Whitehead, A Treatise on Universal Algebra, Cambridge University Press, U.K., 1898.