Está en la página 1de 7

nea Matema tica 40 (2004) 19 Miscela

SMM

Un panorama del a lgebra universal


Simone Hazan
simhazan@prodigy.net.mx

Resumen En este art culo panor amico, presentamos conceptos de base del a lgebra 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 a reas de investigaci on del a lgebra universal. Clasicaci on del AMS (2000): 08-02, 06B05.

1.

Introducci on.

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

Simone Hazan

2.

Conceptos b asicos.

Denici on 2.1. Un a lgebra (universal) es una pareja A = A, fi (i I ) donde A es un conjunto no vac o llamado universo del a lgebra, y cada fi es una operaci on ni -aria o de rango ni sobre A, es decir una funci on de Ani a A, con ni 0. Cuando ni es igual a cero, la operaci on es simplemente una constante, y se le llama operaci on nularia. Para operaciones de rango uno, dos y tres, decimos unaria, binaria y ternaria respectivamente. N otese que A denota un a lgebra, mientras que A es un simple conjunto. El tipo del a lgebra A es la familia de sus rangos ni , i I . Dos a lgebras son similares si tienen el mismo tipo. Ejemplos. 1) Un grupo es un a lgebra 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 a lgebra 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)). Denici on 2.2. Sea A = A, fi (i I ) un a lgebra. Un subuniverso de A es un subconjunto U de A que es cerrado bajo las operaciones del a lgebra, i.e. para toda operaci on ni -aria fi y todos u0 , ..., uni1 U , tenemos f (u0 , ..., uni1 ) U . Si U es un subuniverso no vac o de A, se dice que U = U, fi |U ni es una sub algebra de A. Claramente, U tiene el mismo tipo que A. Sea Aj (j J ) una familia de a lgebras similares. El producto A = Aj de la familia es el a lgebra de mismo tipo cuyo universo es el producto de los conjuntos Aj y en el cual las operaciones est an denidas j j j por fi ( aj , ..., a ) = f ( a , ..., a ) . 0 j J ni 1 j J 0 ni 1 j J Una congruencia de A es una relaci on de equivalencia sobre A que,
J

lgebra universal Un panorama del a

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 relaci on 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 noci on de congruencia constituye una generalizaci on de la de subgrupo normal. Denici on 2.4. Sean A y B dos a lgebras del mismo tipo y CON A. El algebra cociente de A por es el a lgebra A/ del mismo 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 funci on h entre los conjuntos 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 cl asicos teoremas del mismo nombre, en teor a de grupos o de anillos. Teorema 2.5. Sean A y B dos a lgebra del mismo tipo, h un homomorsmo 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 n ucleo ker h = { x, y A2 : h(x) = h(y )} de h es una congruencia de A. (ii) g es un homomorsmo suprayectivo. (iii) Si ker h = , entonces la u nica funci on f : A/ B tal que f g = h es un homomorsmo entre A/ y B.

3.

Ret culos.

El concepto de ret culo tiene su origen en la formalizaci on de la l ogica proposicional (De Morgan 1847, Boole 1854). Los matem aticos que dieron una denici on abstracta de esta estructura fueron Peirce (1880), Schr oder (1890-1905) y Dedekind (1897). Denici on 3.1. Un ret culo es un a lgebra L = L, , , donde y 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 absorci on). Es f acil ver que existe una correspondencia biun 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 relaci on de orden se dene por x y x y = x. Un ejemplo muy conocido de ret culo es el dado por los subconjuntos de un conjunto, con la intersecci on y la uni on como operaciones. En este caso, el ret culo es completo, es decir que cualquier subfamilia tiene nmo y supremo. Para cualquier a lgebra 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 intersecci on de 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 a m as abajo que el que representa y en el diagrama, y se pone una arista entre dos puntos cada vez que hay una relaci on de cobertura entre los elementos correspondientes, es decir y cubre a x si y s olo si y > x y para todo z 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. Denici on 3.2. Un ret 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 ret culo de congruencias de cualquier grupo es modular. (ii) Un ret culo L es modular si y s olo si no contiene subret culos isomorfos a N5 . Teorema 3.4 (Funayama-Nakayama 1942). El ret culo de congruencias de cualquier ret culo es distributivo. Teorema 3.5. Un ret culo es distributivo si y s olo si no tiene subret culos isomorfos a N5 o a M3 .

lgebra universal Un panorama del a

5d 5

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 a lgebras del mismo tipo cerrada bajo la formaci on (salvo isomorsmos) de im agenes homomorfas, sub algebras y productos. Estas formaciones de nuevas a lgebras corresponden a operadores que act uan dentro de una misma variedad y se denotan respectivamente por H , S y P . Se puede demostrar que para una clase K de a lgebras del mismo tipo, la variedad generada por K es HSP (K), es decir que es suciente cerrar la clase formando primero productos, luego sub algebras y al nal im agenes homomorfas para obtener una variedad. Una clase ecuacional es una clase de a lgebras del mismo tipo que es denida por un conjunto de ecuaciones, es decir f ormulas que utilizan u nicamente 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 tambi en forman una variedad, es necesario dar una denici on equivalente a la ley modular que no use el s mbolo ni la implicaci on. Esta denici on es la ecuaci on ((x z ) y ) z ) = (x z ) (y z ). El muy importante teorema HSP de Birkho, cuya demostraci on tiene varias p aginas e implica la formaci on de a lgebras libres, es el siguiente: Teorema 4.1. Sea K una clase de a lgebras similares. Entonces K es una variedad si y s olo si es una clase ecuacional.

5.

Subcampos recientes de investigaci on.

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

Simone Hazan

esta u ltima secci on, mencionaremos brevemente tres de los temas m as 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 i (x0 , ..., xn1 ) = xi . Los clones 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 continuaci on enunciamos cuatro teoremas importantes de la teor a de los clones. Teorema 5.1 (Post 1921). C ({0, 1}) es numerable. Teorema 5.2 (Yanov-Muchnik 1959). Si A es nito y tiene m as 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 m as importantes de esta a rea. Ser 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 s olo si tiene una de seis formas, denidas a 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 m as peque no G de G contenido en H K tal que en G/G , todo elemento de H/G conmuta con todo elemento de K/G . La teor a del conmutador generaliza esta denici on para a lgebras que pertenecen a variedades modulares, es decir cuyos miembros tienen su ret culo de congruencias modular. Esta a rea fue desarrollada por Smith (1976), Hagemann y Herrmann (1979) y Freese y McKenzie (1987).

lgebra universal Un panorama del a

5.3.

Teor a de las congruencias domadas.

En los a nos ochenta, Hobby y McKenzie empezaron a desarrollar lo que se convertir a en el subcampo m as en voga del a lgebra universal: la teor a de las congruencias domadas, o Tame congruence theory en ingl es. Esta teor a se basa en una clasicaci on de todas las a lgebras nitas en cinco tipos, denidos a partir de sus congruencias. Estos tipos son denominados respectivamente el tipo unario, el af n, el Booleano, el tipo ret culo y el tipo semiret culo. Es decir que cada a lgebra nita se comporta localmente como el a lgebra que corresponde a su tipo. A partir de esta divisi on se prueban teoremas muy potentes, y muchos 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, S eminaire de Math ema tiques Sup erieures, Les Presses de lUniversit e de Montr eal, 1986. [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.