Tesis 6

Congruencias Factor Denibles
por Pedro Snchez Terraf Presentado ante la Facultad de Matemtica, Astronoma y Fsica como parte de los requerimientos para la obtencin del grado de Doctor en Matemtica de la UNIVERSIDAD NACIONAL DE CRDOBA Marzo de 2007 c FaMAF UNC 2007 Director: Diego J. Vaggione
1 2
1 Financiado 2 Financiado
por CONICET, SECYT-UNC y ANPCYT por SECYT-UNC y ANPCYT
Resumen
Estudiamos las representaciones en producto directo de lgebras (universales) en variedades. Recolectamos varias condiciones expresando que estas representaciones son denibles en el sentido de la lgica de primer orden, entre ellas el concepto de Congruencias
Factor Denibles (DFC). Los principales resultados son que DFC es una propiedad de
Mal'cev y que es equivalente a todas las otras condiciones formuladas; en particular probamos que
tiene DFC si y slo si
tiene
&
y Congruencias Factor Booleanas
(BFC). Tambin obtenemos una denicin explcita en primer orden
del ncleo de las
proyecciones cannicas va los trminos asociados a la condicin de Mal'cev para DFC. Un resultado obtenido que es de suma utilidad es que esta caracterizacin
es preservada
al tomar productos directos y factores directos. De la condicin de Mal'cev para DFC se puede deducir transparentemente una tal condicin para BFC, vericando como corolario que BFC es equivalente (en variedades) a la propiedad (*), un problema abierto en el trabajo de R. Willard [24]. Por ltimo, se hace un estudio de algunos casos particulares de DFC, considerando distintas complejidades de la frmula
La principal herramienta es el concepto de elemento central, que es una generalizacin en comn de los elementos centrales idempotentes en anillos con identidad y los elementos neutrales complementados en reticulados acotados.
Palabras Clave: preservacin, denibilidad, congruencias factor, elemento central. 2000 Mathematics Subject Classication: Primary 08B05, Secondary 03C40.
Abstract
We study direct product representations of (universal) algebras in varieties. We collect various conditions expressing that these representations are denable in the sense of rst order logic, among them the concept of Denable Factor Congruences (DFC). The main results are: DFC is a Mal'cev property and it is equivalent to each of the other conditions formulated; in particular we prove that
has DFC if and only if
has
&
and
Boolean Factor Congruences (BFC). We also obtain an explicit rst-order denition

for DFC. One result which is very useful is that this characterization
of the kernel of canonical projections via the terms associated to the Mal'cev condition
is preserved by
taking direct products and direct factors. From the Mal'cev condition for DFC it can be deduced transparently one such condition for BFC, verifying as a corollary that BFC is equivalent (in varieties) to property (*), an open problem in the work of R. Willard [24]. At last, a thorough study of some particular cases of DFC is performed, considering dierent complexities of the formula
The main tool is the concept of central element, which is a generalization of both central idempotent elements in rings with identity and neutral complemented elements in bounded lattices.
Keywords: preservation, denability, factor congruences, central element. 2000 Mathematics Subject Classication: Primary 08B05, Secondary 03C40.
Agradecimientos
Es imposible evitar el pisoteado clich de esta enumeracin no es completa, etc., etc.. Pero ah vamos. En primer lugar, doy las gracias a mi madre por haberme acompaado desde jardn de 5 hasta este momento. Muy grosa mi vieja. A la Olimpada Matemtica Argentina, que me hizo conocer esta artstica disciplina, y en especial a los chicos de Sabadoma, a quienes debo innumerables veladas que me hicieron ms que feliz. A Reimundito, que me trajo de las mechas a Crdoba y que me aport muchas cosas (malas y buenas) durante 5 aos de matrimonio. Y a los que fueron mis docentes en primer ao de la carrera (compartidos con la Licenciatura en Fsica) que refrendaron mi decisin de venir a esta hermosa ciudad. Diego, que me ha demostrado que un tipo muy piola puede manejar con destreza toda la seriedad y todo el rigor de la matemtica. Trabajar con alguien tan brillante puede ser hasta un poco exasperante el alumno no espera superar al maestro en este caso pero su natural entusiasmo es muy contagioso y casi todo lo que he logrado se lo debo a ese
momentum que me comunic.

A David Lagmanovich, cuyo librito [11] me ha servido de gua utilsima durante la redaccin nal, aunque coneso que no segu al pie de la letra todas las directivas; me hago responsable de cualquier divergencia entre el estilo pulcro y efectivo que all se detalla y mi trabajo. A toda la Comunidad de Software Libre, que me han hecho la vida informtica muy feliz y que han contribuido al desarrollo y redaccin de esta tesis: X -pic, MakeIndex, UACalc, Linux, y la lista sigue. Y A la Seccin de Ciencias de la Computacin, que adems de colegas han sido muy buenos amigos.
free pascal,
A L T X, E
ndice general
Captulo 1 Introduccin y Herramientas
E
1.1.
n este captulo haremos una breve revisin de los conceptos de lgebra Universal necesarios para seguir los resultados de la tesis. Tambin jaremos la notacin que se utilizar a lo largo del trabajo, especialmente en las primeras dos secciones.
La seccin 1.3 da un panorama del estudio de las representaciones por producto diEl lector especializado puede desear avanzar directamente hasta la seccin 1.4 que le
recto, especialmente enfocado al problema de la unicidad. servir de introduccin a nuestro tema especco y de ah pasar al captulo 2; en tal caso le ser de utilidad consultar el ndice de Notacin al nal de la tesis (pgina
??).
En la seccin 1.5 se trata el tema de las condiciones de Mal'cev, de principal inters para nuestro desarrollo, y la seccin 1.6 incluye un resultado tcnico de Teora de Preservacin que ser de suma utilidad en el siguiente captulo. Este resultado es el nico que se escapa del mbito introductorio; sin embargo, su prueba es elemental. El resumen presentado en este captulo no intenta ser exhaustivo ni autocontenido. El lector que desee repasar los preliminares puede consultar el excelente libro de R. McKenzie, G. McNulty y W. Taylor [9], especialmente el captulo 1 y las secciones 2.1, 2.2, 4.2, 4.11, 4.12 y 5.6, donde hay una introduccin a la propiedad BFC. Por ltimo, el libro de S. Burris y H. P. Sankappanavar [4] contiene todos los preliminares de Lgica.
lgebras y Variedades
Llamaremos lgebra a un conjunto munido de una familia arbitraria pero ja de operaciones nitarias denidas sobre todo el conjunto. Una clase de lgebras es una
variedad si est denida por identidades , i.e., sentencias de la forma

de exponente
x p(x) = q(x).
Las siguientes clases son ejemplos de variedades: grupos (todos, abelianos, sin centro,
n,
etc), anillos, mdulos sobre un anillo jo y lgebras de Boole.
Para el caso de la variedad
de todos los grupos debemos especicar como opera-
CAPTULO 1.
INTRODUCCIN Y HERRAMIENTAS
ciones bsicas el producto (), tomar inversos (
) y una operacin nularia que sea
constantemente la identidad (e). Luego las identidades que denen dicha variedad son:
x (y z) (x y) z
x e e x x x x1 e.
Otro ejemplo de variedad es la clase de todos los semi-reticulados , que son lgebras con una operacin binaria asociativa, conmutativa e idempotente:
x (y z) (x y) z
De ahora en adelante, el smbolo
x y y x x x x.
denotar siempre una variedad. Llamaremos trminos
a toda expresin que involucre las operaciones bsicas de una variedad y que dena 1 globalmente una funcin. As, sqr(x) := x x, y conj(x, y) := y x y son trminos de la variedad
de todos los grupos.
Toda variedad es una categora concreta cuyos morsmos son las funciones que preservan las operaciones bsicas de cada lgebra. Una propiedad importante de las variedades es que contienen objetos libres generados por conjuntos de cardinalidad arbitraria. La construccin de dichas lgebras libres procede de manera anloga al caso de los grupos (salvando ciertas dicultades tcnicas), donde el lgebra de las cadenas con la concatenacin se reemplaza por el lgebra de trminos o totalmente libre (en el lenguaje de ltima y el lgebra
V ). Esta
V -libre sobre X
ser denotadas por
Salvo en caso de posible confusin, omitiremos los
TV (X) y FV (X), respectivamente. subndices: T (X) y F (X).
1.2.
Congruencias
Una congruencia de un lgebra una relacin de equivalencia
es (equivalentemente):
sobre
que preserva las operaciones bsicas (i.e., si
x y,
entonces
F (x) F (y)); A
que es adems una sublgebra de con
una relacin de equivalencia sobre el ncleo
A A;
ker h := {(x, y) A A : h(x) = h(y)}
un morsmo.
Las congruencias heredan la estructura reticulada del conjunto parcialmente ordenado de las relaciones de equivalencia sobre o diagonal
A. En particular, la relacin de equivalencia trivial := {(x, x) A A : x A} y la total o universal := A A son congruencias. Llamaremos Con(A) al reticulado de congruencias de un lgebra A.
Los teoremas de isomorsmo para grupos y mdulos siguen valiendo en el caso de
lgebras generales; en particular, se tiene que la imagen de isomorfa al lgebra cociente clases de equivalencia mdulo
por un morsmo
es
A/ y
(donde
:= ker h),
cuyo universo es el conjunto de
las operaciones se denen de la manera cannica.
CAPTULO 1.
Si ciertos elementos
estn relacionados por una congruencia Con(A), escribiremos indistintamente (a, b) , a b a b. Esta notacin se
a, b
de un lgebra
generaliza a tuplas, viz.
ab
signicar
(ai , bi )
para todo
i.
implica
Denicin 1.
I I
es nito.
Una congruencia
es compacta si
iI
iI
donde
Equivalentemente, las congruencias compactas son exactamente las generadas por un A n conjunto nito. Para A V , a, b A , Cg (a, b) denotar la congruencia generada por el conjunto
{(ak , bk ) : 1 k n}1 . Como caso particular, cuando una congruencia puede
generarse con un solo par, se la denomina principal .
Denicin 2. Se dice que dos congruencias y permutan si x y z implica que existe

un
tal que
x y z.
y
Es decir, los productos relacionales permuten, se da
coinciden.
En el caso que
= .
Denicin 3.
es factor si existe complemento de aqulla y ambas permutan. En tal caso se dice que y son un par de congruencias factor complementarias y lo denotaremos por = .
Las congruencias factor son exactamente los ncleos de las proyecciones cannicas en productos directos.
1.3.
Productos Directos
El nuestro es un estudio sobre las descomposiciones de un lgebra en producto directo. Se obtiene la mxima utilidad de una tal descomposicin cuando uno puede conseguir algn resultado relativo a la unicidad de la misma. Esta idea se remonta al teorema de Wedderburn y R. Remak, y luego generalizado por Krull y Schmidt, que prueban unicidad de descomposiciones en producto directo a ms de isomorsmo para grupos (nitos los primeros, innitos con condiciones de cadenas en subgrupos los segundos). Como primer paso, tenemos que determinar cules seran los elementos ltimos de una descomposicin:
Denicin 4.
Un lgebra
se dir directamente indescomponible si es no trivial y no
es isomorfa al producto directo de dos lgebras no triviales. En particular, toda lgebra nita cuyo cardinal es igual a un entero primo, es directamente indescomponible. Dada una variedad directamente indescomponibles que pertenezcan
V , denotaremos a V.
con
VDI
a las lgebras
1 I.e., la menor congruencia que contiene a dicho conjunto.
CAPTULO 1.
ntimamente relacionadas con la unicidad de factorizaciones, se encuentran diversas nociones de renamiento. Diremos que
iI
A/i =
tiene la propiedad de renamiento si
A =
jJ
A/j
(con
nitos), entonces existen
Dij
tales que
A/i =
jJ
Dij
A/j =
iI
Dij .
B. Jnsson y A. Tarski [8] probaron que todo grupoide con identidad cuyo subgrupo central (i.e., el mayor subgrupo abeliano cuyos elementos conmutan y asocian con todos los elementos del grupoide) es nito tiene la propiedad de renamiento y luego tiene a lo sumo una representacin como un producto directo de grupoides directamente indescomponibles. Tambin notaron que si el centro es trivial se satisface la propiedad de renamiento
2 estricto (SRP) : si
se descompone de dos maneras
A/i
A/j
entonces
j =
iI
j i .
Esta propiedad es la de poder renar descomposiciones en producto directo a nivel con-
gruencial, y por ende implica la propiedad de renamiento. En [15] se muestra que la

SRP es equivalente a que los subgrupoides factor formen un poset Booleano con respecto a la inclusin. Varios aos ms tarde, C. C. Chang, Jnsson y Tarski [1] generalizaron las deniciones de SRP al marco de lgebras arbitrarias (y aun a estructuras relacionales), mostraron que varias clases de estructuras que tienen SRP y probaron que SRP es equivalente a la propiedad que consta en la siguiente denicin.
Denicin 5.
Un lgebra
conjunto de congruencias de congruencias. Diremos
A tiene Congruencias Factor Booleanas (BFC) si y slo si el factor de A es un sub-reticulado distributivo de su reticulado que V tiene BFC si cada una de sus lgebras tiene BFC. A =
Por ltimo, podemos mencionar la propiedad de Fraser-Horn-Hu (FHP) : si
i A/i
entonces
=
iI
para
Con(A),
no necesariamente factor. Inmediatamente observamos que FHP im-
plica BFC. Los anillos con unidad y las variedades de congruencias distributivas son los ejemplos paradigmticos de variedades con la FHP. Utilizaremos la siguiente notacin relativa a productos directos. La suprandice
i-sima
proyec-
cin cannica en un producto directo i Ai ser llamada i () o ms brevemente, con el i: ai := i (a). De este modo, si a A0 A1 entonces a = (a0 , a1 ).
2 Como convencin, utilizaremos las siglas de la terminologa en ingls para mantener coherencia con
la literatura; v.g.,
i i si = i i y para todos ai otro modo, el sistema de ecuaciones en congruencias (x, ai )
3 Decimos que
SRP
se corresponde con
Strict Renement Property.
A existe a A tal que (a, ai ) i . Dicho de i siempre tiene solucin nica mdulo .
CAPTULO 1.
1.4.
Elementos Centrales
En este contexto algebraico-universal en el que estamos movindonos, uno de los conceptos claves necesarios para profundizar el estudio de las representaciones en producto directo es el de elemento central. Los elementos centrales son una generalizacin de los elementos centrales idempotentes en anillos con identidad y los elementos neutrales complementados en reticulados acotados. En estos casos, los elementos centrales concentran
la informacin relativa a las representaciones en producto directo. En el ejemplo de los

anillos, una descomposicin en producto directo de un anillo
R R1 R2 =
R R R queda totalmente determinada por el elemento e := (0 1 , 1 2 ), donde 0 1 es el cero de R1 y 1R2 la identidad de R2 ; as, se tiene que la descomposicin anterior es exactamente
R = (1 e)R eR.
Ms aun, se puede determinar si dos elementos
x, y
del anillo tienen su segunda compo-
nente igual si y slo si xe = ye, y un anillo es indescomponible si y slo si satisface la 2 sentencia e : (e = e x : xe = ex) (e = 0 e = 1). Notemos que todo morsmo Esta propiedad nos conduce al
h de anillos que cumpla h(0) = h(1) tiene imagen trivial. concepto de variedades con 0 & 1 (que sern precisadas
ms tarde), cuyas lgebras poseen anlogos a la identidad (elemento mximo) y al elemento nulo (mnimo) como en anillos (reticulados), y esto alcanza para denir elementos centrales. Pero para obtener las mismas propiedades que uno tiene en los casos conocidos, es necesario suponer hiptesis ms fuertes sobre la variedad: hemos construido ejemplos (ver la seccin 3.4) de variedades con
0 & 1 sobre un lenguaje nito en las que ni siquiera
VDI
es denible en primer orden. Como resultado positivo, D. Vaggione mostr en [22]
que en variedades con
&
que tienen la propiedad de Fraser-Horn-Hu, los elementos
centrales tienen propiedades anlogas a las del prrafo anterior. Es natural entonces formular la siguiente pregunta: Cul es el contexto ms general en el cual los elementos centrales en una variedad jugarn tal rol? Antes de dar algunas respuestas posibles, que sern desarrolladas en el captulo 2, necesitaremos poner algn rigor en las deniciones que acabamos de bosquejar.
Denicin 6.
unarios
0 & 1 es una variedad V 01 (w), . . . , 0l (w), 11 (w), . . . , 1l (w) tales que

Una variedad con
en la cual existen trminos
V |= 0(w) = 1(w) x = y,
donde
0 = (01 , . . . , 0l )
1 = (11 , . . . , 1l ). 0 y 1: para todas A, B V

y todo
Esta generalizacin incluye propiamente a los ejemplos ya nombrados, y rescatamos la relacin existente entre morsmos y nuestros nuevos
A,
se da
CAPTULO 1.
10
Si
f : A B es un morsmo tal que f (0i ()) = f (1i ()) para todo i, entonces f (A) es trivial. 0
&
La siguiente proposicin rene otras nociones que resultan equivalentes a tener
1.
Proposicin 7.
1. 2.
Cada una de las siguientes implica las otras dos:
V V
tiene
&
1; V
tiene una sublgebra no trivial;
es semidegenerada: ningn lgebra no trivial de
3. la congruencia universal de cada lgebra en Demostracin. Ver J. Kollar [10] y Vaggione [20].
es compacta.
En este marco se puede generalizar tambin la nocin de elemento central.
Denicin 8.
e = (e1 , . . . , el ) Al es un elemento -central de A si existe un isomorsmo A A1 A2 tal que (1 , 2 ) y ej 0j (1 ), 1j (2 ) para todo j . Si para a Al y b Al , escribimos [a, b] en lugar de 1 2 l ((a1 , b1 ), . . . , (al , bl )) A1 A2 , podemos resumir lo anterior con
Si
AV
entonces diremos que
e [0(1 ), 1(2 )].

Dos elementos
-centrales e, f sern A A1 A2 tal que (1 , 2 ) y
llamados complementarios si existe un isomorsmo
e [0(1 ), 1(2 )] f [1(1 ), 0(2 )].

Los elementos mos
-centrales
fueron introducidos por Vaggione en el trabajo [17]. Usare-
Z (A)
para denotar el conjunto de elementos
-centrales
de
A,
el centro.
1.5.
Condiciones de Mal'cev
Veremos con un ejemplo la nocin de una propiedad tipo Mal'cev de una variedad. Los grupos satisfacen la siguiente propiedad:
G, H G , a, b, c G y f, g : G H tales g(b) = g(c), existe b tal que g(a) = g(b ) y f (b ) = f (c)

Para todos
que
f (a) = f (b)
CAPTULO 1.
11
Esta propiedad es equivalente a la permutabilidad de congruencias en toda la variedad 1 (ver denicin 2). La prueba es extremadamente simple, basta tomar b := a b c, es decir,
es un trmino valuado en
a, b
c.
Resulta que en el caso general, reemplazando
por una variedad arbitraria en la propiedad anterior, se puede ver que dicha propiedad
es equivalente a la existencia de un trmino ternario
que cumpla
p(a, b, b) p(b, b, a) a.
Luego, una propiedad tipo Mal'cev es una propiedad equivalente a la existencia de trminos que satisfagan ciertas ecuaciones, y una condicin de Mal'cev es una presentacin de dichos trminos y ecuaciones. Para formalizar estas nociones, glosamos la compilacin que R. Willard [24] extrae de G. Grtzer [7], W. Taylor [16] y W. D. Neumann [13]. Sea
una propiedad atribuible a variedades. Una presentacin nita (para variedades) es un
par formado por un conjunto nito nito
{f1 , . . . , fr }
de smbolos de operacin y un conjunto
{1 1 , . . . , k k } V
de leyes ecuacionales en variables y estos smbolos. Una
condicin de Mal'cev fuerte para

una variedad arbitraria
P es una presentacin nita (como arriba) tal que P si y slo si hay trminos t1 , . . . , tr en el lenguaje de V los cuales, al ser substituidos por f1 , . . . , fr hacen las ecuaciones en verdaderas en todo miembro de V . Se dice tambin que P est denida por . Una condicin de Mal'cev para P es una sucesin numerable 0 , 1 , . . . de presentaciones nitas que denen propiedades P0 , P1 , respectivamente, tales que
satisface 1. 2.
Pi P
implica
Pi+1
para cada
i 0,
es equivalente a la disyuncin de las
Pi 's. P. 0
&
Finalmente,
es una propiedad tipo Mal'cev si existe una condicin de Mal'cev para
Un ejemplo de propiedad de Mal'cev es la de tener
1.
Una condicin de Mal'cev
explcita para ella est dada por las ecuaciones (2.52). Otra propiedad de tipo Mal'cev es la de tener congruencias factor compactas (ver la seccin 3.1 y all el Lema 41). Mediante un teorema de existencia, S. Burris y S. Bigelow [2] probaron que BFC es de Mal'cev; recin en 2000 Willard halla una condicin de la cual se puede extraer una condicin de Mal'cev para BFC, pero que no se dio en manera explcita. En la seccin 2.4 se da una condicin de Mal'cev explcita y se prueba que para el caso de variedades, BFC es equivalente a (*) en el trabajo de Willard [24].
1.6.
Un resultado de Preservacin
La Teora de Preservacin tuvo su origen en un resultado de G. Birkho, el cual caracteriza de una manera algebraica a las variedades. Llamemos tivamente, de modelos de una clase
H(K), S(K)
P(K)
las clases de todas las imgenes homomrcas, submodelos y productos directos, respec-
K.
Para
O = H, S, P
y otros operadores que sean
CAPTULO 1.
12
introducidos posteriormente, diremos que una sentencia de primer orden por
es preservada
si y slo si para toda clase (Birkho, [3])
tal que
K |= ,
se da
O(K) |= . H,
Teorema 9
S
y
Una clase de lgebras y
es axiomatizable por identidades si
y slo si es cerrada bajo
H, S
P.
En particular, si una sentencia es preservada por
P,
entonces es equivalente a una conjuncin nita de identidades.
Es decir, este resultado muestra como se pueden extraer, a partir de la forma de los axiomas que denen una clase de modelos posibilidad de obtener una tal axiomatizacin. Nuestro estudio, aunque esencialmente algebraico, hace uso intensivo de estas herramientas de preservacin. Buscando deniciones en lenguaje de primer orden de los objetos que nos interesan, podemos deducir qu propiedades tienen en funcin de la estructura de las deniciones halladas. Ejemplos clsicos de preservacin, que embeben nuestro trabajo, son los siguientes:
K,
conclusiones acerca de las propiedades
de clausura de dicha clase. Ms aun, arma que estas propiedades son equivalentes a la
Teorema 10
1.
(Lyndon)
Sea
una clase de primer orden. Son equivalentes:
K K
admite un conjunto de axiomas positivos (i.e., en los que slo ocurren los conec-
tivos 2.
). H. B |= )
si y slo si es equivalente a una frmula existencial.
es cerrado por
Teorema 11.
A |=
y
Una frmula de primer orden es preservada al tomar extensiones (i.e., implica
AB
Una frmula de Horn es una frmula de primer orden tal que su matriz es de la forma
kj
k
donde cada que
kj
es atmica o negacin de atmica y para cada
hay a lo sumo un
tal
kj
es atmica.
Lema 12 (Horn).
Toda frmula de Horn es preservada por productos directos.
Requeriremos un resultado muy tcnico de preservacin (Teorema 17), relativo a fac-
A es un lgebra A1 tal que existe A2 satisfaciendo A1 A2 . Diremos que una frmula es preservada por factores directos si cada vez A= que A |= se da B |= para todo factor directo B de A; en este caso, escribiremos es preservada por F.
tores directos . Un factor directo de
El Teorema 17 mostrar que las frmulas de cierto tipo son preservadas por productos y factores directos. Un resultado relacionado se encuentra en Willard [24, Lemma 1.2], donde se prueba que la clase de frmulas
K-factorables
cumple con esta propiedad. En
CAPTULO 1.
13
nuestro caso, las frmulas que surgen en el desarrollo del Captulo 2 no parecen responder a exactamente el mismo esquema que las frmulas demostrar la preservacin necesaria. Por el resto de la seccin,
K-factorables, pero igualmente se pudo
ser un nmero natural par.
Lema 13.
sea
en el alfabeto {1, . . . , N } de longitud no mayor que N , = (x, y, z, x1 , y1 , . . . , xn , yn ) una frmula preservada por productos directos y por
Para toda palabra
F.
Dena:
Em :=
m||N || par
Om :=
m||N || impar
Luego, 1. Para
preservada por
2 m N , m par, si y1 x1 . . . yn xn Em x1 y1 . . . xn yn Om+1 F, tambin lo es y1 x1 . . . yn xn Em x1 y1 . . . xn yn Om1 .
es
2. Para
preservada por
4 m N , m par, si y1 x1 . . . yn xn Em x1 y1 . . . xn yn Om1 F, tambin lo es y1 x1 . . . yn xn Em2 x1 y1 . . . xn yn Om1 .
es
N , as que debera ser leda como { : = y || N }. = Por esto, si m N , Om = true (conjuncin vaca) y EN = ||=N . Tambin, recuerde i que la i-sima componente de un elemento a en un producto directo i Ai se llama a . El caso que nos interesar en las aplicaciones es en el cual las frmulas son atmicas,
Note que todo subndice vara sobre palabras de longitud menor o igual a una expresin de la forma as que el lector puede hacer tal suposicin sin perder generalidad. Ahora enunciaremos y probaremos dos lemas que sern de ayuda para probar el Lema 13. En lo siguiente supondremos que la tupla
tiene longitud igual a 1, ya que las
pruebas son exactamente las mismas y esta simplicacin las hace ms fciles de leer.
m un entero par, A0 , A1 V y c, d, e, a1 , . . . , a2n A0 A1 tales que 2 m N , A0 A1 |= Em (c, d, e, a1 , . . . , a2n ) y A1 |= Om+1 (c1 , d1 , e1 , a1 , . . . , a1 ). 1 2n 0 0 0 0 0 Entonces A0 |= Em (c , d , e , a1 , . . . , a2n ) y si tiene longitud m entonces
Sea
Lema 14.
A0 |=
=
(c0 , d0 , e0 , a0 , . . . , a0 ) A0 A1 |= 1 2n
(c, d, e, a1 , . . . , a2n ).
(1.1)
CAPTULO 1.
14
Demostracin. Por induccin en

una conjuncin de frmulas
m. Si m = N , la primera parte es inmediata pues EN es preservadas por F y por esto preservada por F. La segunda m tal que 2 m < N
y suponga el lema est
parte est contenida en las hiptesis. Para hacer la prueba ms legible, omitiremos la cadena de parmetros. Tome un entero par probado para
m + 2.
Suponga Note que:
A0 A1 |= Em ; A1 |= Om+1
Em = Em+2
||=m
(1.2)
Om+1 = Om+3
||=m+1
(1.3)
Por la primera parte de la hiptesis inductiva tenemos
A0 |= m,
||=m
. Suponga ahora que
A0 |= Em+2 . Tenemos que ver que para alguna palabra de longitud

(1.4)
A0 |=
=
En particular, para cada
i, j N
tenemos
A0 |=
Probaremos que
ij .
A0 |=
y la segunda parte del lema ser probada en el camino. Por la
segunda parte de la hiptesis inductiva (i.e., (1.1)) obtenemos, para todo
j,
A0 A1 |=
ij
o, dicho de otro modo,
A0 A1 |=
=
i .
Como esta ltima frmula es preservada por
F,
tenemos (1.5)
A1 |=
=
Usando (1.3) (observe que con (1.5) implica que
i .
A1 |=
|i| = m + 1), tenemos A1 |= i para todo i. = . Ahora aplicamos (1.4), obteniendo A0 A1 |=

=
Esto, junto
Aplicando (1.2),
A0 A1 |= .
Las ltimas dos frmulas conjuntamente dicen
A0 A1 |=
(1.6)
CAPTULO 1.
15
Hemos probado (1.4)(1.6), que es la segunda conclusin. Como obtenemos
es preservada por
F,
A0 |= ,
que es la primera conclusin.
Lema 15. Sea m un entero par, A0 , A1 V y c, d, e, a1 , . . . , a2n A0 A1 tales que 2 m N , A0 A1 |= Om1 (c, d, e, a1 , . . . , a2n ) y A1 |= Em (c1 , c1 , e1 , a1 , . . . , a1 ). Luego 1 2n A0 |= Om1 (c0 , d0 , e0 , a0 , . . . , a0 ) y si tiene longitud m 1 entonces 1 2n
A0 |=
=
(c0 , d0 , e0 , a0 , . . . , a0 ) A0 A1 |= 1 2n
(c, d, e, a1 , . . . , a2n ).
Demostracin. Por induccin en
m.
Si
m = N, =
las hiptesis son:
A0 A1 |= ON 1 A1 |= EN
Suponga que para alguna palabra
||=N 1
(1.7)
=
||=N
. N 1, i ,
i
(1.8)
de longitud
A0 |=
=
Usando (1.8) y preservacin por productos directos, tenemos
A0 A1 |=
i
Por (1.7) tenemos
i .
A0 A1 |= ,
obteniendo as
A0 A1 |=
. A0
obtenemos la primera parte.
Hemos probado la segunda parte del lema. Pasando a Ahora tome un entero par
tal que
2m<N
y suponga el lema est probado para
m + 2.
Suponga
A0 A1 |= Om1 A1 |= Em
Por hiptesis inductiva tenemos prueba del Lema 14.
= Om+1
||=m1
(1.9)
= Em+2
||=m
(1.10)
A0 |= Om+1 .
El resto del argumento es paralelo a la
CAPTULO 1.
16
Prueba del Lema 13. Para ver (1), suponga
A0 A1 |=
y1 x1 . . . yn xn Em x1 y1 . . . xn yn Om1 F1 , . . . , F n
tales que
(c, d, e).
y
As tenemos funciones (de Skolem)
Fi
es
(i 1)-aria
A0 A1 |= yOm1 (c, d, e, F1 , y1 , . . . , Fn (y1 , . . . , yn1 ), yn ).

Como
Om1
implica
Om+1 ,
tenemos
A0 A1 |=
y1 x1 . . . yn xn Em x1 y1 . . . xn yn Om+1 F,
por hiptesis,
(c, d, e).
Y luego, como esta frmula es preservada por
A0 |= y1 x1 . . . yn xn Em (c0 , d0 , e0 ) A1 |= y1 x1 . . . yn xn Em (c , d , e ).
As tenemos funciones
(1.11) (1.12)
G1 , . . . , Gn
tales que
A1 |= xEm (c1 , d1 , e1 , x1 , G1 , . . . , xn , Gn (x1 , . . . , xn1 )).

Ahora, para
j = 1, . . . , n
dena funciones
j -arias pj = pj (a1 , . . . , aj )
de
A0
A0 A1 :
p1 := (a1 , G1 ) 1 p2 := (a2 , G2 (F1 ))

1 pj := (aj , Gj F1 , F2 (p1 )1 , . . . , Fj1 (p1 , . . . , pj2 )1 ).
El lector puede vericar que esta seleccin asegura, para cada
a An , 0
A0 A1 |= Om1 c, d, e, F1 , p1 , . . . , Fn (p1 , . . . , pn1 ), pn

1 A1 |= Em c1 , d1 , e1 , F1 , p1 , . . . , Fn (p1 , . . . , pn1 )1 , p1 . 1 n
Podemos aplicar el Lema 15 y obtenemos
0 A0 |= Om1 c0 , d0 , e0 , F1 , p0 , . . . , Fn (p1 , . . . , pn1 )0 , p0 . 1 n

Equivalentemente,
0 A0 |= Om1 c0 , d0 , e0 , F1 , a1 , F2 (p1 )0 , a2 , . . . , Fn (p1 , . . . , pn1 )0 , an .

Ahora, deniendo
Hj : Aj1 A0 0
como sigue:
0 H1 := F1 H2 (y1 ) := F2 (p1 (y1 ))0 Hj (y1 , . . . , yj1 ) := Fj (p1 (y1 ), . . . , pj1 (y1 , . . . , yj1 ))0 ,
CAPTULO 1.
17
vemos que
A0 |= yOm1 c0 , d0 , e0 , H1 , y1 , . . . , Hn (y1 , . . . , yn1 ), yn ,

y luego
A0 |= x1 y1 . . . xn yn Om1 (c0 , d0 , e0 ).
Esto, junto con (1.11), prueba este caso. La parte (2) es enteramente anloga a la anterior y se prueba usando el Lema 14. El siguiente lema es una generalizacin del resultado relativo a frmulas de Horn, y en palabras dice que si en la denicin de una frmula de Horn reemplazamos las frmulas atmicas por frmulas preservada por productos y factores directos, obtenemos la misma preservacin. La prueba es enteramente anloga al caso de las frmulas de Horn.
Lema 16.
Sea
una frmula de la forma
Q1 u1 . . . Qn un
k j
kj
Qi = , , cada kj es preservada por P y F o es la negacin de una tal frmula y para cada k hay a lo sumo un j tal que kj no est negada. Entonces es preservada por P.
donde
Teorema 17.
(Mismas hiptesis que en el Lema 13.) La frmula
y1 x1 . . . yn xn E2 x1 y1 . . . xn yn O1
es preservada al tomar factores directos y productos directos. Demostracin. Primero observe que
(1.13)
y1 x1 . . . yn xn EN x1 y1 . . . xn yn ON +1 = y1 x1 . . . yn xn
||=N
es preservada por factores directos. Esto es inmediato pues la conjuncin y la cuanticacin de frmulas preservadas por
son nuevamente preservadas por
F.
Luego de aplicar
sucesivas veces el Lema 13 podremos concluir que (1.13) es preservada por Lema 16.
F.
La prueba de que (1.13) es preservada por productos directos es el contenido del
Captulo 2 Variedades con Congruencias Factor Denibles
A
2.1.
factor. directo
Introduccin
travs de este captulo supondremos que trminos
es una variedad con
0 & 1 tal que los
0 y 1 son cerrados. Esto puede ser conseguido cuando el lenguaje tiene
una constante. Haremos esta suposicin para simplicar y claricar nuestro tratamiento; sin embargo, las pruebas permanecen vlidas en el caso general.
En trabajos de D. Vaggione [18, 19, 21, 22] y en ltimo lugar en un trabajo en con-
junto con el autor [23], se han utilizado los elementos centrales para relacionar diversas propiedades de una variedad. Como ejemplo, en [21] se prueba que toda variedad de con-
gruencias modulares con
&
tiene la propiedad de Fraser-Horn-Hu. En estos trabajos,
un punto clave es conseguir una descripcin en primer orden del centro
Z(), y
dicha des-
cripcin est indisolublemente ligada a una caracterizacin anloga de las congruencias Hasta el trabajo [23] se consideraba que el contexto ms general en el cual los elementos centrales en una variedad con
&
codicaran la informacin relativa a congruencias
factor era el de variedades con congruencias factor compactas (cf. seccin 3.1) y, en la prctica, variedades tales que la congruencia principal
AB
igualara al ncleo de la proyeccin cannica
Cg (0, 0), (0, 1) en un producto A B A. La frase entre
comillas se puede interpretar de diversas maneras; una de ellas es la siguiente: para
A V,
el mapeo nico
(, )
(e, f ) Al Al
satisfaciendo
0 e 1
1 f 0
es una biyeccin entre el conjunto de pares de congruencias , Con(A) tales que = y el conjunto de pares de elementos centrales complementarios de
A.
18
CAPTULO 2.
V ARIEDADES CON CONGRUENCIAS F ACTOR DEFINIBLES
19
Pero luego de notar que en el caso de una variedad arbitraria con
0 & 1 y BFC1
se obtena
el mismo poder expresivo de los elementos centrales, se decidi invertir el punto de vista y preguntarse qu conclusin puede extraerse de la sola hiptesis de denibilidad en primer orden de las congruencias factor con elementos centrales como parmetros, es decir: existe una frmula primer orden todo
A, B V ,
(x, y, z, w) en el lenguaje de V a, c A, b, d B ,
si y slo si
tal que para
A B |= (a, b), (c, d), [0, 1], [1, 0]
a = c.
La conclusin de esta lnea de trabajo puede condensarse en el siguiente teorema.
Teorema 18.
1.
Sea
una variedad con
&
1.
Las siguientes son equivalentes:
tiene la Propiedad de Determinacin Dbil (DP Dbil): para
A V,
el mapeo
(, )
de 2.
nico
(e, f ) Al Al
satisfaciendo
0 e 1
1 f 0 A.
es una biyeccin entre el conjunto de pares de congruencias factor complementarias
y el conjunto de pares de elementos centrales complementarios de
tiene la Propiedad de Determinacin (DP): para
A V,
el mapeo
(, )
de 3.
nico
e Al
satisfaciendo
0 e 1 A.
es una biyeccin entre el conjunto de pares de congruencias factor complementarias
y el conjunto de elementos centrales de
V tiene Congruencias Factor Denibles (DFC): existe una frmula de primer orden (x, y, z) en el lenguaje de V tal que para todo A, B V , y a, c A, b, d B , A B |= (a, b), (c, d), [0, 1]
si y slo si
a = c. V
tal que para
4. Existe una frmula de primer orden todo
(x, y, z, w)
en el lenguaje de
A, B V ,
a, c A, b, d B ,
si y slo si
A B |= (a, b), (c, d), [0, 1], [1, 0]

5.
a = c.
tiene BFC.
Ms aun, cuando estas condiciones equivalentes valen, la frmula todo
en (3) puede ser
elegida de manera que sea preservada por productos y factores directos. Por ltimo, para
A V,
el mapeo
1 En la seccin 3.4 se dene una variedad

factor compactas.
que satisface estas dos hiptesis y no tiene congruencias
CAPTULO 2.
20
e A (, , e )
es una biyeccin entre el conjunto de elementos centrales y el lgebra de Boole de congruencias factor de
A.
2
que se-
Ahora describiremos brevemente los contenidos de cada parte de este captulo. En la seccin 2.2 damos una condicin de Mal'cev para una Propiedad Intermedia r denida all; esta condicin es enteramente anloga a una condicin de Mal'cev para BFC. Los trminos obtenidos en esta parte son los constituyentes ltimos de nuestras construcciones de denibilidad. La seccin 2.3 provee una frmula explcita
satisfacien-
do (3) del Teorema 18. Esta frmula es construida de tal manera que es preservada por productos directos y factores directos; esta ltima armacin usa el resultado probado en la seccin 1.6. En la seccin 2.5 caracterizamos en primer orden los (pares de) elementos centrales (complementarios) en una variedad con DFC y mostramos que las coordenadas (en una representacin por producto directo) de un elemento central son elementos centrales. Estos resultados y los obtenidos en las secciones previas permitirn nalizar la prueba del Teorema 18. En 2.6 damos una frmula ptima para el caso de una variedad de semi-reticulados con
&
1.
2.2.
Una Propiedad de Mal'cev Intermedia
Usaremos la siguiente Propiedad Intermedia (IP): para todo 0 e 1 y
A V , e Al y , , , Con(A), 0 e 1, entonces = .
IP
si
= , = ,
No es difcil ver las implicaciones DP condicin de Mal'cev para la IP. Sean
DP Dbil. En lo que sigue, daremos
deniciones y lemas que nos encaminen al Teorema 24, el cual nos proporcionar una
si , ti
trminos
(2i + l)-arios
(en el lenguaje de
V)
para cada
i = 1, . . . , n
y sea
un lgebra en el lenguaje de V (no necesariamente en V ). Para (c, d, e, a1 , b1 , . . . , an , bn ) A2+l+2n , denimos (c, d, e, a1 , b1 , . . . , an , bn ) como la tupla (x, y, z, x1 , y1 , . . . , xn , yn ) dada por la siguiente recursin:
x := c y := c z := 0
Denimos
xj := sj (x, y, z, x1 , y1 , . . . , xj1 , yj1 ) yj := bj
, ,
anlogamente.
Left Determining Property ).
2 En el trabajo [14] se cambi este nombre por el de Propiedad de Determinacin de la izquierda
CAPTULO 2.
21
(c, d, e, a1 , b1 , . . . , an , bn ) := (x, y, z, x1 , y1 , . . . , xn , yn ) x := c y := d z := 1 (c, d, e, a1 , b1 , . . . , an , bn ) := (x, y, z, x1 , y1 , . . . , xn , yn ) x := c y := d z := 0 (c, d, e, a1 , b1 , . . . , an , bn ) := (x, y, z, x1 , y1 , . . . , xn , yn ) x := c y := d z := 1
donde:
xj := tj (x, y, z, x1 , y1 , . . . , xj1 , yj1 ) yj := bj
donde:
xj := aj yj := sj (x, y, z, x1 , y1 , . . . , xj1 , yj1 )
donde:
xj := aj yj := tj (x, y, z, x1 , y1 , . . . , xj1 , yj1 )
Primero enunciaremos sin prueba un lema que involucra estas funciones.
Lema 19.
dades:
Para todo
(c, d, e, a1 , b1 , . . . , an , bn ) A2+l+2n ,
tenemos las siguientes identi-
Cg(c, d) Cg(e, 0)
i
Cg(ai , si (c, d, e, a1 , b1 , . . . , ai1 , bi1 )) = = Cg((c, d, e, a1 , b1 , . . . , an , bn ), (c, d, e, a1 , b1 , . . . , an , bn ))
Cg(e, 1)
i
Cg(ai , ti (c, d, e, a1 , b1 , . . . , ai1 , bi1 )) = = Cg((c, d, e, a1 , b1 , . . . , an , bn ), (c, d, e, a1 , b1 , . . . , an , bn ))
Cg(e, 0)
i
Cg(bi , si (c, d, e, a1 , b1 , . . . , ai1 , bi1 )) = = Cg((c, d, a1 , b1 , e, . . . , an , bn ), (c, d, e, a1 , b1 , . . . , an , bn ))
Cg(e, 1)
i
Cg(bi , ti (c, d, e, a1 , b1 , . . . , ai1 , bi1 )) = = Cg((c, d, e, a1 , b1 , . . . , an , bn ), (c, d, e, a1 , b1 , . . . , an , bn )).
CAPTULO 2.
22
En las pruebas que siguen, repetidamente buscaremos elementos en un lgebra que resuelvan ecuaciones congruenciales de la forma
a x b
cuando
= .
Usando las funciones
, ,
recin denidas, podremos sacar
conclusiones de la manera en que los elementos como
fueron construidos. Esto es el
contenido de las siguientes consecuencias inmediatas del Lema 19:
Corolario 20.
todo
ai
c, d A, e Al bi (i = 1, . . . , n) tales que
Dados
, Con(A)
tales que
0 e 1
c d,
para
s1 (c, d, e ) a1 t1 (c, d, e ) s2 (c, d, e, a1 , b1 ) a2 t2 (c, d, e, a1 , b1 ) ... sj+1 (c, d, e, a1 , b1 , . . . , aj , bj ) aj+1 tj+1 (c, d, e, a1 , b1 , . . . , aj , bj )
tenemos

(2.1)
t((c, d, e, a1 , b1 , . . . , an , bn )) t(c, d, e, a1 , b1 , . . . , an , bn ) t( (c, d, e, a1 , b1 , . . . , an , bn ))

(2.2)
para todo trmino
(2n + l + 2)-ario t
en el lenguaje de
V.
El siguiente resultado es enteramente anlogo.
Corolario 21. Supongamos que c, d A, e Al y , Con(A) son tales que 0 e 1.

Si
ai
bi (i = 1, . . . , n)
satisfacen
s1 (c, d, e ) b1 t1 (c, d, e ) ... sj+1 (c, d, e, a1 , b1 , . . . , aj , bj ) bj+1 tj+1 (c, d, e, a1 , b1 , . . . , aj , bj ),

obtenemos

(2.3)
t((c, d, e, a1 , b1 , . . . , an , bn )) t(c, d, e, a1 , b1 , . . . , an , bn ) t( (c, d, e, a1 b1 , . . . , an , bn ))

(2.4)
para todo trmino
(2n + l + 2)-ario t
en el lenguaje de
V.
Tambin necesitaremos la siguiente versin (debida a Grtzer) de la observacin clave de Mal'cev sobre congruencias principales y su corolario.
CAPTULO 2.
23
Lema 22.
u Am
Sea
cualquier lgebra y sean
si y slo si existen trminos tales que:
a, b A, a, b An . Entonces (a, b) CgA (a, b) (n + m)-arios p1 (x, u), . . . , pk (x, u), donde k es impar y, a = p1 (a, u)
pi (b, u) = pi+1 (b, u), i impar pi (a, u) = pi+1 (a, u), i par pk (b, u) = b
Corolario 23.
Usaremos
(F (a), F (b)) (F (a), F (b)).
Para todo homomorsmo B
F : A B,
si
(a, b) A (a, b),
entonces
|| para denotar la longitud de una palabra y denotar la palabra vaca.

trminos
Teorema 24.
N = 2k || = N
y
n,
en el alfabeto
0 & 1. V tiene la IP si y slo si existen enteros (2i + l)-arios si y ti para cada i = 1, . . . , n, y para toda palabra {1, . . . , N }, de longitud no mayor a N , hay trminos L , R tales que
Sea una variedad con
L ((X)) R ((X)) L ( (X)) R ( (X)) || = 0 x L (X) y R (X) L ((X)) L1 ((X)) Rj ((X)) Lj+1 ((X)) RN ((X)) R ((X)) 0 < || < N
Si si
(2.5)
(2.6)
(2.7)
1j N 1
(2.8) (2.9)
||
es par entonces
L ((X)) L1 ((X)) Rj ((X)) L(j+1) ((X)) Rk ((X)) R ((X)) L ( (X)) L(k+1) ( (X)) Rj ( (X)) L(j+1) ( (X)) RN ( (X)) R ( (X))
si

(2.10)
si
1j k1
(2.11) (2.12)
k+1j N 1
(2.13)
CAPTULO 2.
24
Si
||
es impar entonces
L ((X)) L1 ((X)) Rj ((X)) L(j+1) ((X)) Rk ((X)) R ((X)) L ( (X)) L(k+1) ( (X)) Rj ( (X)) L(j+1) ( (X)) RN ( (X)) R ( (X))
donde si si
1j k1
(2.14)
k+1j N 1
(2.15)
X = (x, y, z, x1 , y1 , . . . , xn , yn ) y , , y
estn denidos respecto a
si , ti , sobre
TV (X).
Demostracin. () Suponga la existencia de los trminos, y suponga
, 0 e 1, 0 e 1,
c d.
Queremos ver que
c d.
Existen
= , = nicos ai , bi satisfaciendo
las siguiente relaciones
s1 (c, d, e ) a1 t1 (c, d, e ) s1 (c, d, e ) b1 t1 (c, d, e ) ... sj+1 (c, d, e, a1 , b1 , . . . , aj , bj ) aj+1 tj+1 (c, d, e, a1 , b1 , . . . , aj , bj ) sj+1 (c, d, e, a1 , b1 , . . . , aj , bj ) bj+1 tj+1 (c, d, e, a1 , b1 , . . . , aj , bj )
Note que esta denicin combina los esquemas de los Corolarios 20 y 21. Luego, por las ecuaciones (2.2) y (2.4) tenemos, tomando
(2.16)
t := L , R :
L ((c, d, e, a1 , b1 , . . . , an , bn )) L (c, d, e, a1 , b1 , . . . ) L ( (c, d, e, a1 , b1 , . . . , an , bn )) L ((c, d, e, a1 , b1 , . . . , an , bn )) L (c, d, e, a1 , b1 , . . . ) L ( (c, d, e, a1 , b1 , . . . , an , bn ))

(2.17)
R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . ) R ( (c, d, e, a1 , b1 , . . . , an , bn )) R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . ) R ( (c, d, e, a1 , b1 , . . . , an , bn ))

(2.18) para toda
Probaremos inductivamente que
L (c, d, e, a1 , b1 , . . . , an , bn ) = R (c, d, e, a1 , b1 , . . . , an , bn )
(2.19)
CAPTULO 2.
25
para toda
= .
Tome
tal que
|| = N ;
luego por ecuaciones (2.17) usando identidades (2.5) por ecuaciones (2.18)
L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) = R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn )

Y,
L (c, d, e, a1 , b1 , . . . , an , bn ) L ( (c, d, e, a1 , b1 , . . . , an , bn )) = R ( (c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn )

Luego
por ecuaciones (2.17) usando identidades (2.5) por ecuaciones (2.18)
L (c, d, e, a1 , b1 , . . . , an , bn ), R (c, d, e, a1 , b1 , . . . , an , bn ) = y entonces L (c, d, e, a1 , b1 , . . . , an , bn ) = R (c, d, e, a1 , b1 , . . . , an , bn ). Tome = de longitud impar

y suponga
Lj (c, d, e, a1 , b1 , . . . , an , bn ) = Rj (c, d, e, a1 , b1 , . . . , an , bn )
para todo
j = 1, . . . , N .
Se verica que
L (c, d, e, a1 , b1 . . . , an , bn ) R (c, d, e, a1 , b1 , . . . , an , bn ) : L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) = L1 ((c, d, e, a1 , b1 , . . . , an , bn )) L1 (c, d, e, a1 , b1 , . . . , an , bn ) = R1 (x, x, z, a1 , b1 , . . . , an , bn ) R1 ( (c, d, e, a1 , b1 , . . . , an , bn )) = Rk ((c, d, e, a1 , b1 , . . . , an , bn )) = R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ),
dem para
por las ecuaciones (2.17) por las identidades (2.14) por las ecuaciones (2.17) por hiptesis inductiva por las ecuaciones (2.18) usando (2.14) e iterando
usando (2.14)
por las ecuaciones (2.17) por las identidades (2.15) por las ecuaciones (2.17) por hiptesis inductiva
L (c, d, e, a1 , b1 , . . . , an , bn ) L ( (c, d, e, a1 , b1 , . . . , an , bn )) = L1 ( (c, d, e, a1 , b1 , . . . , an , bn )) L1 (c, d, e, a1 , b1 , . . . , an , bn ) = R1 (c, d, e, a1 , b1 , . . . , an , bn )
CAPTULO 2.
26
R1 ( (c, d, e, a1 , b1 , . . . , an , bn )) = Rk ( (c, d, e, a1 , b1 , . . . , an , bn )) = R ( (c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn )

Entonces son
por las ecuaciones (2.18) usando (2.15) e iterando
usando (2.15) por las ecuaciones (2.18) y luego
L (c, d, e, a1 , b1 , . . . , an , bn ), R (c, d, e, a1 , b1 , . . . , an , bn ) = , iguales. Si = tiene longitud par, las relaciones
L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) = L1 ((c, d, e, a1 , b1 , . . . , an , bn )) L1 (c, d, e, a1 , b1 , . . . , an , bn ) = R1 (c, d, e, a1 , b1 , . . . , an , bn ) R1 ((c, d, e, a1 , b1 , . . . , an , bn )) = Rk ((c, d, e, a1 , b1 , . . . , an , bn )) = R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn )

prueban
por las ecuaciones (2.17) por identidad (2.10) por las ecuaciones (2.17) por hiptesis inductiva por las ecuaciones (2.18) usando (2.11) e iterando
usando la identidad (2.12) por las ecuaciones (2.18) y
L (c, d, e, a1 , b1 , . . . , an , bn ), R (c, d, e, a1 , b1 , . . . , an , bn ) ,
L (c, d, e, a1 , b1 , . . . , an , bn ) L ( (c, d, e, a1 , b1 , . . . , an , bn )) = L1 ( (c, d, e, a1 , b1 , . . . , an , bn )) L1 (c, d, e, a1 b1 , . . . , an , bn ) = R1 (c, d, e, a1 , b1 , . . . , an , bn ) R1 ( (c, d, e, a1 , b1 , . . . , an , bn )) = Rk ( (c, d, e, a1 , b1 , . . . , an , bn )) = R ( (c, de, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn )
completan este caso. Finalmente, tenemos
por las ecuaciones (2.17) por identidades (2.13) por las ecuaciones (2.17) por hiptesis inductiva por las ecuaciones (2.18) usando (2.13) e iterando
usando (2.12) por las ecuaciones (2.18)
c = L ((c, d, e, a1 , b1 , . . . , an , bn )) = L1 ((c, d, e, a1 , b1 , . . . , an , bn ))
usando las identidades (2.6) por identidad (2.7)
CAPTULO 2.
27
L1 (c, d, e, a1 , b1 , . . . , an , bn ) = R1 (c, d, e, a1 , b1 , . . . , an , bn ) R1 ((c, de, a1 , b1 , . . . , an , bn )) = RN ((c, d, e, a1 , b1 , . . . , an , bn )) = R ((c, d, e, a1 , b1 , . . . , an , bn )) =d

Esto prueba
por las ecuaciones (2.17) por (2.19) por las ecuaciones (2.18) usando ecuaciones (2.8) e iterando. . .
usando la identidad (2.9) usando las identidades (2.6)
(c, d) . Y,
dena
() Para cada conjunto de variables
Y := Y {xp,q : p, q T (Y )} {yp,q : p, q T (Y )} Y 0 := Y Y (n+1) := (Y n ) Y :=

n1
son nuevas variables. Tome Dena el ndice de p T (Z ) como ind(p) = donde
Y n
Z := {x, y, z1 , . . . , zl } y F := F (Z ). m n{j : p T (Z j )}; es evidente que si ind(xp,q ) ind(xr,s ), ni p ni q pueden ser trminos que dependan de xr,s . Lo mismo vale cuando ind(xp,q ) ind(yr,s ) y simtricamente, y cuando ind(yp,q ) ind(yr,s ). Tome las siguientes congruencias en F : xp,q
y
yp,q
:= Cg(0, z) Cg(x, y) := Cg(1, z) := Cg(0, z) := Cg(1, z)
{Cg(p, xp,q ) : p, q F }
0 =
:= F
n)
{Cg(xp,q , q) : p, q F } {Cg(p, yp,q ) : p, q F } {Cg(yp,q , q) : p, q F }
n+1 := (
n+1
n)
:= ( n ) ( n ) n =
n0 n0 n
:=
Por construccin,
= = F , 0 z 1, 0 z 1, y x y . Observe que si (a, b) ( ) ( ) entonces existe un n 0 tal que (a, b) ( n ) ( n ). Pero esta congruencia es exactamente n+1 , as que (a, b) n+1 . Podemos concluir ( ) ( ) = . Lo mismo sucede con y ; por esto, ( )/ ( )/ =
en
( )/ ( )/ =
F/ . Entonces, por la IP tenemos (x/ , y/ ) ( )/ y luego (x, y) . 2N N N Podemos encontrar un entero par N = 2k tal que (x, y) N , donde N es el
CAPTULO 2.
28
resultado de reemplazar cada ocurrencia de en la denicin de
N por N , el producto relacional iterado N veces. Deniremos inductivamente trminos L y R , para una palabra de longitud a lo sumo N en el alfabeto {1, . . . , N } tal que: x = L (L , L1 )
N (Li , Ri ) N (Ri , L(i+1) )
Para si si
y = R (RN , R ) 1iN 1 i N 1.
(2.20) (2.21) (2.22) (2.23)
tal que
|| < N
es un entero impar,
(L , L1 ) (L , L(k+1) ) (Li , Ri )
N N ||
si si
(Rk , R ) (RN , R ) 1iN 1ik1 si k + 1 i N 1
(2.24) (2.25) (2.26) (2.27) (2.28)
(Ri , L(i+1) ) (Ri , L(i+1) )

y para
tal que
|| < N
es un entero par:
(L , L1 ) (L , L(k+1) ) (Li , Ri )
N N ||
si si
(Rk , R ) (RN , R ) 1iN 1ik1 si k + 1 i N 1

denimos
(2.29) (2.30) (2.31) (2.32) (2.33)
(Ri , L(i+1) ) (Ri , L(i+1) )

Tomamos
N L := x y R := y . Como sabemos (x, y) 2N N , i = 1, . . . , N como trminos satisfaciendo N N N x L1 N R1 L2 N LN N RN y
Li , Ri
para
(2.34)
Note que estos trminos satisfacen (2.20)(2.33) siempre que puedan ser vericadas. Suponga que hemos denido los trminos correspondientes a palabras con longitud menor o igual
y que satisfacen las ecuaciones entre (2.20)(2.33) que involucran palabras de
longitud
o menor. Entonces deniremos trminos correspondientes a palabras con lon-
gitud igual a
j+1
tales que la totalidad de trminos denidos satisfagan las ecuaciones
entre (2.20)(2.33) que involucran palabras de longitud
j +1 o menor. Tenemos dos casos: Caso 1: j impar. Tome tal que || = j . Tenemos L y R y por (2.31), satisfacen N (L , R ) N j+1 = ( N N j ) ( N N j ). Denimos Li y Ri para i = 1, . . . , N N N
tales que:
L L1 L L(k+1)
N N N j R1 L2 R(k1) Lk N j Rk R N N N j R(k+1) L(k+2) LN N j RN R .
(2.35)
CAPTULO 2.
29
Las ecuaciones entre (2.20)(2.33) que involucran trminos
tales que
|| = j + 1
son (2.24)(2.28). Todas ellas pueden ser inferidas de (2.35). tal que || = j . Denimos Li y Ri para i = 1, . . . , N . N Por (2.26) y por la denicin de N j+1 podemos denir nuestros trminos satisfaciendo: Tome
Caso 2: j par.
N N L L1 N j R1 L2 R(k1) Lk N j Rk R N L L(k+1) N j R(k+1) L(k+2) RN R .

De esto inmediatamente concluimos (2.29)(2.33). Sea
(2.36)
V Z
un conjunto nito de variables tal que si reemplazamos
, ,
respectivamente, por las siguientes congruencias compactas:
0 := Cg(0, z) Cg(x, y) 0 := Cg(1, z) 0 := Cg(0, z) 0 := Cg(1, z)

conjunto unin de
{Cg(p, xp,q ) : xp,q V }
{Cg(xp,q , q) : xp,q V } {Cg(p, yp,q ) : yp,q V } {Cg(yp,q , q) : yp,q V } V0
an obtenemos las relaciones congruenciales (2.20)(2.33). Es claro que si agrandamos el
V V
a un nuevo conjunto
X,
las propiedades enumeradas an valdrn. Sea
la
y el conjunto (nito) de variables que ocurren en los trminos
L , R ,
donde
es una palabra. Dena:
Vn+1 := Vn
Luego, para algn
{V ar(p), V ar(q) : xp,q Vn VM = VM +1 ;

denamos
or
yp,q Vn }
tendremos
X := VM {xp,q : yp,q VM } {yp,q : xp,q VM } \{x, y, z1 , . . . , zl }.

Ordene
totalmente de manera que
predecesor inmediato de
yp,q ,
y agregue
ind : X sea no decreciente y xp,q x, y, z1 , . . . , zl al principio. Tenemos
sea el
X = (x, y, z, xs1 ,t1 , ys1 ,t1 , . . . , xsn ,tn , ysn ,tn ) = (x, y, z, x1 , y1 , . . . , xn , yn ).
Entonces podemos considerar
L = L (X) y lo mismo para R , y por los comentarios que seguan a la denicin de Z , podemos suponer si = si (x, y, z, x1 , y1 , . . . , xi1 , yi1 ) y lo mismo para ti . Finalmente, dena , , , sobre el lgebra de trminos T (X) con respecto a si , ti . Armamos que estos L , R , s y t satisfacen la condicin de Mal'cev. Veriqumoslo para identidad (2.10). Tome tal que su longitud sea un entero par entre 0 y N estrictamente. Por Lema 19 tenemos = Cg(X, (X)).
CAPTULO 2.
30
Como tenemos para alguna
L L1 por la ecuacin tupla u, F satisface
(2.29), el Lema 22 nos da trminos
pi
tales que
L = p1 X, u p1 (X), u = p2 (X), u p2 X, u = p3 X, u pm (X), u = L1

Como los elementos de la tupla u = u(X, Y ) pueden ser pensados como miembros de T (Z ), obtenemos las siguientes leyes para V :
L (X) p1 X, u(X, Y ) p1 (X), u(X, Y ) p2 (X), u(X, Y ) p2 X, u(X, Y ) p3 X, u(X, Y ) pm (X), u(X, Y ) L1 (X)
Reemplazando
por
(X)
en todos lados y notando que
((X)) = (X),
tenemos
L (X) p1 (X), u((X), Y ) p1 (X), u((X), Y ) p2 (X), u((X), Y ) p2 (X), u((X), Y ) p3 (X), u((X), Y ) pm (X), u((X), Y ) L1 (X)
y por transitividad,
V |= L (X) L1 (X) ,
que es lo que estbamos buscando. Las otras identidades pueden ser obtenidas similarmente. La prueba del teorema previo sigue la lnea de una prueba para una condicin de Mal'cev para BFC. Una condicin tal paralela a la nuestra nos fue comunicada personalmente por R. Willard. En los siguientes resultados, conservamos la notacin del Teorema 24.
CAPTULO 2.
31
Corolario 25.
trminos (2i
Una variedad con
&
tiene la IP si y slo si existen enteros
n,
+ l)-arios si y ti , , , Con(A) se da
para cada
i = 1, . . . , n
tales que para toda
AV
y todo
Cg(X, (X)) Cg(X, (X)) Cg(X, (X)) Cg(X, (X))

para todo
(x, y) N .
(2.37)
x, y, z, x1 , y1 , . . . , xn , yn
en
A. , , , Con(A)
son tales que
Demostracin. () Supongamos que
= =
y
0 z 1 0 z 1
(x, y) . Como se vio en la primera parte de la prueba del Teorema 24, las ecuaciones congruenciales implcitas en el antecedente de (2.37) en las incgnitas a1 , b1 , . . . , an , bn tienen solucin (que adems es nica; ver ecuaciones (2.16)). Como = = , asimismo N = para todo N , y concluimos (x, y) . Con esto queda probado que la
variedad tiene la IP. () Supongamos que dada por
tiene la IP. Los enteros
n y los trminos son los provistos
por el Teorema 24. Gracias al Corolario 23, basta vericar la armacin en la instancia
A = F (X) = F (x, y, z, x1 , y1 , . . . , xn , yn ) = Cg(X, (X)) = Cg(X, (X))
y las congruencias
= Cg(X, (X)) = Cg(X, (X)). (x, y)

a
Ahora bien, la parte () de la prueba del Teorema 24 (pgina 24) muestra exactamente que los trminos
L , R
atestiguan la pertenencia de
N ,
con lo que queda
demostrado el corolario.
Proposicin 26.
= ,
0z
Sea A en una variedad con la IP y sean 1. Entonces x y si y slo si A satisface
, Con(A)
tales que
x1 y1 . . . xn yn CgA (X, (X)) CgA (X, (X)) = A

Demostracin. () Tome
(2.38)
x1
tal que
s1 (x, y, z) x1 t1 (x, y, z)
y suponiendo
xi
ya ha sido elegido y
yi
est dado, sea
si+1 (x, y, z, x1 , y1 , . . . , xi , yi ) xi+1 ti+1 (x, y, z, x1 , y1 , . . . , xi , yi ).
(2.39)
CAPTULO 2.
32
Mediante este procedimiento, y teniendo en cuenta el Corolario 20, podemos concluir que CgA (X, (X)) y CgA (X, (X)) . Como = A , tenemos (2.38). () Supongamos que vale (2.38). Tome
y1
tal que
s1 (x, y, z) y1 t1 (x, y, z).

Sea y que
x1 dado por el cuanticador existencial exterior de xi es el correspondiente testigo para (2.38), sea

(2.38). Suponiendo
yi
ya elegido
si+1 (x, y, z, x1 , y1 , . . . , xi , yi ) yi+1 ti+1 (x, y, z, x1 , y1 , . . . , xi , yi ).

El Corolario 21 nos asegura que Tomemos en el Corolario 25
CgA (X, (X))
CgA (X, (X)) . := := = = A

y lo mismo
:= Cg(X, (X)) := Cg(X, (X))

De esta manera obtenemos (x, y) N . Como A sucede con , , tenemos N = y luego (x, y) = .
La Proposicin 26 nos da una caracterizacin de la pertenencia a una de las congruencias asociadas al central
z.
Aunque esta frmula (2.38) no es de primer orden,
corresponde a una frmula de la lgica innitaria L+ (aqu es el cardinal del lenA A A guaje de V ), puesto que el fragmento Cg (X, (X)) Cg (X, (X)) = se puede reemplazar por una conjuncin innita de cuasi-identidades. Esto puede verse considerando frmulas de congruencias principales (PCF). Se sabe que si lgebra
A,
entonces existe una conjuncin de ciertas ecuaciones
(x, y) Cg(a, b) en un (x, y, a, b, u ) tal que

(2.40)
A |= u (x, y, a, b, u ).
Luego, se puede expresar Cg(a, b)
=
de la siguiente manera :
x, y u (x, y, a, b, u ) x = y.
PCF
Del mismo modo,
x, y u , v : x, y, X, (X), u x, y, X, (X), v
, PCF
es equivalente a Cg
x = y,
(X, (X)) CgA (X, (X)) = A .
En la siguiente seccin (ver el Teorema 28) veremos que efectivamente se puede conseguir una frmula de primer orden con la misma estructura que satisfaga con la conclusin de la Proposicin.
3 Hablando estrictamente, la PCF es la frmula existencial que aparece en (2.40), pero nos tomamos
esta licencia para no detenernos demasiado en esto.
CAPTULO 2.
33
2.3.
Una Forma Cannica de DFC
Supondremos en esta parte que
tiene la Propiedad de Determinacin. Como la DP
implica la IP, podemos denir las siguientes frmulas en el lenguaje de
(ver Teorema 24):
m :=
||=m =
L (X) = R (X)
L (X) = R (X) N ; as una = R : =

anula.)
donde cada subndice se mueve sobre palabras de longitud menor o igual a expresin de la forma
|| N }.
Luego
L = R debera ser leda como {L N = ||=N L (X) = R (X) . (El antecedente se
=
Las frmulas
sern el esqueleto de una caracterizacin en primer orden de la
pertenencia a una de las congruencias asociadas a un elemento central
e, como se anunci
ms arriba. Especcamente, daremos una frmula 2 con (2 + l) variables libres tal que si A V y , Con(A) satisfacen = y 0 e 1, se tiene c d si y slo si
A |= 2 (c, d, e ).
Pero para que esta frmula se pueda aplicar al estudio de las descomposiciones directas (y en particular para la prueba del Teorema 18), necesitaramos ver que dicha frmula es preservada por productos y factores directos. Esto no necesariamente va a ser cierto en general, pero en el contexto de toda la variedad tal que Teorema 17. El lema que sigue dene
V s lo es. Esto es, hay una frmula 1 (c, d, e ) vlida en 1 2 es preservada, puesto que tiene la forma prescrita por el 1
y prueba su validez en
V.
que
Lema 27.
Sea
Entonces para
A V , y sean , Con(A) y e Al tales todo c, d A, A satisface 1 (c, d, e ), donde

k
= ,
0 e 1.
1 (x, y, z) := y1 x1 . . . yn xn
m=1
2m
(2.41)
y los enteros
son los dados por el Teorema 24.
Demostracin. Probaremos la validez de

para los cuanticadores existenciales. El testigo para
1 explicando una estrategia para hallar testigos

tal que
y1
ser el nico
b1 A
s1 (c, d, e ) b1 t1 (c, d, e ).
Suponiendo que
bi
ha sido ya elegido y
ai
est dado (por el cuanticador
xi ),
dena
bi+1
tal
si+1 (c, d, e, a1 , b1 , . . . , ai , bi ) bi+1 ti+1 (c, d, e, a1 , b1 , . . . , ai , bi ).
(2.42)
CAPTULO 2.
34
La construccin de los (2.4) implica que
bi
corresponde entonces a las ecuaciones en el Corolario 21. Luego,
satisface
L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ) R ((c, d, e, a1 , b1 , . . . , an , bn )) L (c, d, e, a1 , b1 , . . . , an , bn ) L ( (c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ) R ( (c, d, e, a1 , b1 , . . . , an , bn )).

para toda
(2.43)
stas, junto con las ecuaciones (2.5), implican que para cada
tal que
|| = N , L (c, d, e, a1 , b1 , . . . , an , bn ) R (c, d, e, a1 , b1 , . . . , an , bn ) L (c, d, e, a1 , b1 , . . . , an , bn ) R (c, d, e, a1 , b1 , . . . , an , bn ).

Como
= , esto implica A |= N (c, d, e, a1 , b1 , . . . , an , bn ). Tome no vaca tal que || es un entero par menor que N y suponga A |=
=
L (c, d, e, a1 , b1 , . . . , an , bn ) = R (c, d, e, a1 , b1 , . . . , an , bn ).
Usando las ecuaciones (2.10), (2.11) y (2.12) podemos ver que
L (c, d, e, a1 , b1 , . . . , an , bn ) R (c, d, e, a1 , b1 , . . . , an , bn )
como sigue:
L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) = L1 ((c, d, e, a1 , b1 , . . . , an , bn )) L1 (c, d, e, a1 , b1 , . . . , an , bn ) = R1 (c, d, e, a1 , b1 , . . . , an , bn ) R1 ((c, d, e, a1 , b1 , . . . , an , bn )) = = = Rk ((c, d, e, a1 , b1 , . . . , an , bn )) = R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn )

por la ecuacin (2.43) por la identidad (2.10) por la ecuacin (2.43) por hiptesis por la ecuacin (2.43) usando ecuaciones (2.11), (2.43) e iterando. . .
usando la identidad (2.12) por la ecuacin (2.43)
CAPTULO 2.
35
Puede ser probado en una manera enteramente anloga (por las ecuaciones (2.13)) que L (c, d, e, a1 , b1 , . . . , an , bn ) R (c, d, e, a1 , b1 , . . . , an , bn ), de lo que se deduce
A |= L (c, d, e, a1 , b1 , . . . , an , bn ) = R (c, d, e, a1 , b1 , . . . , an , bn ),
y hemos probado el lema.
Teorema 28.
0 e 1.
Sea
Entonces
A V, c d si y
y sean slo si
, Con(A) y e Al tales que = , y A |= 1 (c, d, e ) 2 (c, d, e ) donde 1 est dada por

k
la frmula (2.41) en el Lema 27, y
2 (x, y, z) := x1 y1 . . . xn yn
m=1
2m1
(2.44)
Demostracin. Slo tenemos que preocuparnos por

() Suponga tal que
2 (c, d, e ). a1
c d.
En casi el mismo modo que en la prueba del Lema 27, dena
s1 (c, d, e ) a1 t1 (c, d, e );
y suponiendo
ai
ya ha sido elegido y
bi
est dado, sea
si+1 (c, d, e, a1 , b1 , . . . , ai , bi ) ai+1 ti+1 (c, de, a1 , b1 , . . . , ai , bi ).

Esta eleccin concuerda con el patrn del Corolario 20, as que obtenemos
(2.45)
L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ) R ((c, d, e, a1 , b1 , . . . , an , bn )) L (c, d, e, a1 , b1 , . . . , an , bn ) L ( (c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ) R ( (c, d, e, a1 , b1 , . . . , an , bn )).

por las ecuaciones (2.2). Si suponemos ahora que
(2.46)
(2.47)
A |=
=
para algn
L (c, d, e, a1 , b1 , . . . , an , bn ) = R (c, d, e, a1 , b1 , . . . , an , bn ) || < N

impar, podremos probar
tal que
L (c, d, e, a1 , b1 , . . . , an , bn ) = R (c, d, e, a1 , b1 , . . . , an , bn )
mostrando (del mismo modo que en el Lema 27) que:
CAPTULO 2.
36
usando (2.14) y (2.46)), y
(esto puede ser logrado
() Suponga
(por (2.15) y (2.47)).
A |= 2 (c, d, e ).
Tome
b1
tal que
s1 (c, d, e ) b1 t1 (c, d, e ).
Sea que
a1 dado por el cuanticador existencial ai es el correspondiente testigo para 2 ,
exterior de sea
2 .
Suponiendo
bi
ya elegido y
si+1 (c, d, e, a1 , b1 , . . . , ai , bi ) bi+1 ti+1 (c, d, e, a1 , b1 , . . . , ai , bi ).

Esta seleccin concuerda con el esquema del Corolario 21 (con satisface la matriz de respectivamente,
(2.48) y
:=
:= )
1 ,
como fue visto en la prueba del Lema 27. Luego tenemos,
L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ) R ((c, d, e, a1 , b1 , . . . , an , bn ))

para toda
(2.49)
A |=
m=1
m (c, d, e, a1 , b1 , . . . , an , bn ). m ,
puede ser deducido que
(2.50)
A partir de una fcil inspeccin de la forma de
A |=
j=1
Por esto,
Lj (c, d, e, a1 , b1 , . . . , an , bn ) = Rj (c, d, e, a1 , b1 , . . . , an , bn ).
(2.51)
c = L (c, d, e, a1 , b1 , . . . , an , bn ) L ((c, d, e, a1 , b1 , . . . , an , bn )) = L1 ((c, d, e, a1 , b1 , . . . , an , bn )) L1 (c, d, e, a1 , b1 , . . . , an , bn ) = R1 (c, d, e, a1 , b1 , . . . , an , bn ) R1 ((c, d, e, a1 , b1 , . . . , an , bn ))

por identidades (2.6) por ecuaciones (2.49) por la identidad (2.7) por las ecuaciones (2.49) por (2.51) por las ecuaciones (2.49)
CAPTULO 2.
37
= L2 ((c, d, e, a1 , b1 , . . . , an , bn )) = RN ((c, d, e, a1 , b1 , . . . , an , bn )) = R ((c, d, e, a1 , b1 , . . . , an , bn )) R (c, d, e, a1 , b1 , . . . , an , bn ) =d

En conclusin,
por las identidades (2.8) usando las ecuaciones (2.8), (2.51) e iterando. . . y usando ecuacin (2.9):
por ecuaciones (2.49) por las identidades (2.6)
c d.
La frmula
Teorema 29.
1 2
del Teorema 28 es preservada al tomar factores y
productos directos. Demostracin. Aplicar el Teorema 17: basta tomar
como L (X)
= R (X),
que es
una frmula preservada por productos y factores directos
2.4.
Una Condicin de Mal'cev para Congruencias Factor Booleanas
Hacemos un breve alto en el desarrollo de la IP y los elementos centrales para atender al problema de construir una condicin de Mal'cev para BFC. Incluimos este resultado en este punto pues sta es totalmente anloga a la condicin de Mal'cev para la IP. De hecho, basta agregar una variable la tupla X y redenir las funciones , , y :
(a, b, c, d, a1 , b1 , . . . , an , bn ) x := a y := b z := a
(x, y, z, w, x1 , y1 , . . . , xn , yn )
donde
w := b xj := sj (x, y, z, w, x1 , y1 , . . . , xj1 , yj1 ) yj := bj

donde:
(a, b, c, d, a1 , b1 , . . . , an , bn ) = (x, y, z, w, x1 , y1 , . . . , xn , yn ) x := a y := a z := c
w := d xj := tj (x, y, z, w, x1 , y1 , . . . , xj1 , yj1 ) yj := bj
CAPTULO 2.
38
(a, b, c, d, a1 , b1 , . . . , an , bn ) = (x, y, z, w, x1 , y1 , . . . , xn , yn ) x := a y := b z := c
donde:
w := c xj := aj yj := sj (x, y, z, w, x1 , y1 , . . . , xj1 , yj1 )

donde:
(a, b, c, d, a1 , b1 , . . . , an , bn ) = (x, y, z, w, x1 , y1 , . . . , xn , yn ) x := a y := b z := c
w := d xj := aj yj := tj (x, y, z, w, x1 , y1 , . . . , xj1 , yj1 )
La prueba de la condicin de Mal'cev es enteramente paralela a la anterior; basta ver que por las deniciones de , , y se cumplen las condiciones necesarias para aplicar BFC. As, por ejemplo, las congruencias que se denen en la prueba de la implicacin directa del anlogo al Teorema 24 son las siguientes
:= Cg(x, z) Cg(y, w) := Cg(x, y) := Cg(z, w) :=

y
{Cg(p, xp,q ) : p, q F }
{Cg(xp,q , q) : p, q F } {Cg(p, yp,q ) : p, q F }
{Cg(yp,q , q) : p, q F }
es la misma que antes. Se obtiene
( )/ ( )/ =
en
( )/ ( )/ =
y luego
F/ ,
y por BFC tenemos
(x/ , y/ ) ( )/ ,
y
(x, y) .
El
resto del razonamiento es igual. Deniendo las anlogas a
(que ahora sern frmulas con 4 variables libres)
podemos comprobar las siguientes propiedades:
Lema 30. Lema 31. Lema 32.

mulas
Sea Sea Sea
V V
con BFC. Entonces con BFC. Entonces
V |= 1 (x, y, z, w). V |= 2 (x, y, x, y) A

satisface y
V |= 2 (x, x, z, w).
entonces
a, b, c A V
con BFC. Si
2 (a, b, c, c),
a = b.
Demostracin. En todos los casos basta ver que gracias a los cuanticadores de las frse pueden construir tuplas D := (a, b, c, d, a1 , b1 , . . . , an , bn ) que satisfagan, res pectivamente, D = (D), D = (D), D = (D) y D = (D).
CAPTULO 2.
39
Teorema 33.
1.
Sea
una variedad. Las siguientes son equivalentes:
satisface la propiedad (*): existe una frmula de primer orden
(x, y, z, w)
en el
lenguaje de
a) b) c)
que es preservada por factores directos y productos directos, y tal que:
V |= (x, x, z, w) V |= (x, y, x, y) V |= (x, y, z, z) x = y
2.
tiene BFC.
Demostracin. () Ver el trabajo de Willard [24].

() La frmula
(x, y, z, w) := 1 (x, y, z, w) 2 (x, y, z, w)
satisface las tres propie-
dades gracias a los lemas anteriores, y es preservada al tomar factores directos y productos directos por el Teorema 17.
2.5.
Elementos Centrales en una Variedad con la DP
Retomamos aqu a los elementos centrales bajo la DP. Recordemos que los Teoremas 28 y 29 prueban que la frmula
1 2
dene la congruencia asociada a un elemento central
y es preservada al tomar factores y productos directos.
Lema 34. Suponga que V tiene la DP. Entonces existe un conjunto de frmulas de primer
orden
tal que para todo
complementarios si y slo
A V , e, f Al tenemos que e y f si A |= (e, f ) para todo . Ms V
son elementos centrales aun,
es preservado al
tomar productos y factores directos. Demostracin. Las siguientes frmulas en el lenguaje de

necesarias para forzar que complementarias asociadas armarn las propiedades
(, , e ) a e y f.
(, , f )
l i=1
denan el par de congruencias factor
CAN (e, f ) =
l i=1
(0i , ei , e ) e
(1i , fi , e ) 0
y
Esta frmula dice que
est relacionado con
con
va
(, , e ).
P ROD(e, f ) = x, yz (x, z, e ) (z, y, f )

El producto relacional de
(, , e )
(, , f )
es la congruencia universal.
IN T (e, f ) = x, y (x, y, e ) (x, y, f ) x = y

Su interseccin es
CAPTULO 2.
40
REF (e, f ) = x (x, x, e ) (, , e )

es reexiva.
SY M (e, f ) = x, y, z (x, y, e ) (y, z, e ) (z, x, f ) z = x T RAN S(e, f ) = x, y, z, u (x, y, e )(y, z, e )(x, u, e )(u, z, f ) u = z
El lector puede vericar que estas dos frmulas (en conjuncin con las anteriores) dicen que
(, , e )
es simtrica y transitiva.
Para cada smbolo de funcin
m-ario F,
dena:
P RESF (e, f ) = u1 , v1 , . . . , um , vm (uj , vj , e )

j
(F (u1 , . . . , um ), z, e ) (z, F (v1 , . . . , vm ), f ) z = F (v1 , . . . , vm )
Estas frmulas aseguran que
(, , e )
es preservada por las operaciones bsicas de
V.
Finalmente, dena intercambiar
con
CAN , REF , SY M , T RAN S y P RESF como el resultado de f en CAN, REF, SY M, T RAN S y P RESF , respectivamente, y sea
la unin de los siguientes dos conjuntos
{CAN, P ROD, IN T, REF, SY M, T RAN S, CAN , REF , SY M , T RAN S }, {P RESF , P RESF : F

Ahora es inmediato vericar que satisfacen todas las frmulas en un smbolo de funcin
}.
son elementos centrales complementarios si
Para ver la recproca, note que si
centrales complementarios, hay un isomorsmo
[0, 1], [1, 0],
respectivamente, y el Teorema 28
e y f son elementos A A0 A1 tal que e, f corresponden a garantiza que valdr.
es preservado por factores directos, notemos primero que cada una de CAN , CAN P ROD, P ROD , REF y REF es obtenida mediante cuanticacin de una frmula preservada por F (usar el Teorema 29). En segundo lugar, el resto de los axiomas en son de la forma x ( (e, f , x) xi = xj ) donde P ROD(e, f ) x (e, f , x) es vlida en V , y basta observar que x ( (e, f , x) xi = xj ) x (e, f , x) es preservada por F (siempre que (e, f , x) sea preservada por P y F). Por ltimo, cada frmula de es preservada por P por el Lema 16, y tenemos el resultado.
Para ver que
Corolario 35.
de
Suponga que
tiene la DP. Entonces, si
A0 A1 ,
entonces
ei
es un elemento central de
[e0 , e1 ] Ai , i = 0, 1.
es un elemento central
CAPTULO 2.
41
Demostracin. Inmediato por el lema previo.

Recordemos que
VDI
denota la clase de miembros directamente indescomponibles de
V.
Corolario 36.
Si
es una variedad sobre un lenguaje nito y tiene la DP entonces
VDI
es denible en primer orden. Demostracin. El conjunto

Luego
= (e, f ) (e, f )
en el Lema 34 es nito si el lenguaje es nito.
0 = 1 e, f
junto con los axiomas de
(e = 0 f = 1) (e = 1 f = 0) ,
V,
dene
VDI .
Lema 37.
DP implica BFC.
Demostracin. Teniendo en cuenta los lemas bsicos de Bigelow y Burris [2], slo necesitamos vericar que si
A = A0 A1 ,
es una congruencia factor sobre y
A,
entonces
{((a, b), (c, b)) : b A1

Sea e = [e0 , e1 ] el elemento (x, y, e ). Tenemos
a , c (a, a ) (c, c )} . ,
de manera que x y est denido por
central asociado a
(a, a ) (c, c )
Por el Teorema 17, esto implica
sii
A0 A1 |= ((a, a ), (c, c ), [e0 , e1 ]).
A0 |= (a, c, e0 ).
Ahora el Corolario 35 asegura que
e1
es central en
A1 ,
y luego
A1 |= (b, b, e1 ).
Como
es preservada por productos directos, obtenemos
A0 A1 |= ((a, b), (c, b), [e0 , e1 ]),

y luego
(a, b) (c, b).
Podemos ahora compilar todos los resultados que conseguimos en la prueba del teorema central (valga la redundancia) de nuestro trabajo.
Prueba del Teorema 18. (5)(2) Suponga que tenemos un par de congruencias factor
complementarias Luego
0 e 1.
y tales que 0 e 1. Suponga ahora tambin 0 ( ) 1 y de aqu = . As que tenemos ( ) = .
que
CAPTULO 2.
42
Por BFC obtenemos = .
y entonces
Por simetra, obtenemos
(25) Ver el Lema 37. (23) Teorema 28. (34) Obvio. (41) Inmediato. (12) Dena
i 0
i 1
con
i = 1, . . . , 2l
en el siguiente modo:
(1 , . . . , 2l ) := (01 , . . . 0l , 11 , . . . 1l ), 0 0 (1 , . . . , 2l ) := (11 , . . . 1l , 01 , . . . , 0l ). 1 1
Puede ser vericado fcilmente (usando la DP Dbil) que con estos DP. est probada en el Teorema 29 y por ltimo, la A conjuncin de 2 y 3 aseguran que el mapeo e (, , e ) es biyectivo. La propiedad de preservacin de
i 0
i 1
tenemos la
2.6.
Ejemplo: Expansiones de Semi-Reticulados
V es una variedad con 0 & 1 para la cual existe un A trmino binario tal que para todo A V , es una operacin de semi-reticulado sobre A. Mantendremos la suposicin de que el lenguaje de V tiene al menos una constante. F Primero, observamos que por el Lema 22 junto con la observacin que (x, y) = F Cg (0, 1) (donde F V es el lgebra libre libremente generada por {x, y}), obtenemos trminos (2 + l)-arios ui (x, y, z), i = 1, . . . , k, tales que las siguientes identidades valen en V:
En esta seccin, supondremos que
x u1 (x, y, 0) ui (x, y, 1) ui+1 (x, y, 1) ui (x, y, 0) ui+1 (x, y, 0) uk (x, y, 1) y

De hecho, considerando a para para
i i
impar par
(2.52)
como parmetros, esto es una condicin de Mal'cev para
&
en el caso de haber una constante.
Cuando una frmula de primer orden Teorema 18 para la variedad
con
(2 + l)
variables libres satisfaga (3) del
V,
diremos que
atestigua DFC para
V.
Si tiene
(2 + 2l)
variables libres y satisface (4) del mismo teorema, diremos que atestigua DFC dbilmente .
Proposicin 38.
La frmula
k
(x, y, z) = u
i=1
ui (x, y, 0) u = ui (x, y, z) u
xu=yu
atestigua DFC para
V.
CAPTULO 2.
43
Demostracin. Sean
A, B V , a A
b, d B .
Primero probaremos que
A B |= (a, b), (a, d), [0, 1]

Suponga que para algn
(u, v)
tenemos
A B |=
i=1
Luego
ui (a, b), (a, d), [0, 0] (u, v) = ui (a, b), (a, d), [0, 1] (u, v).
B |=
i=1
ui (b, d, 0) v = ui (b, d, 1) v.
Pero las ecuaciones de arriba en combinacin con (2.52) producen
bv =dv
y luego
(a, b) (u, v) = (a, d) (u, v).

Ahora suponga
A B |= (a, b), (c, d), [0, 1] . u = a, probado que a c = a, y similarmente con u = c, luego a = c.
El lector puede vericar que considerando mejorada para el caso general.
k i=1 k i=1
ui (b, d, 0) ui (b, d, 1) puede ser ui (b, d, 0) ui (b, d, 1) y a c = c,

no puede ser
En la seccin 3.4 se ver que la complejidad de la frmula encontrada
Captulo 3 Una Jerarqua de Denibilidad
obtener resultados sobre la estructura de
D
3.1.
ada una variedad
con DFC, tenemos un parmetro lgico de las propiedades
algebraicas de la misma, que viene dado por la frmula de primer orden Teora de Preservacin, el estudio detenido de la forma de
Hablamos de un parmetro puesto que gracias a los resultados disponibles de
nos permitir
V.
Existen diversos criterios segn los cuales uno puede ordenar las frmulas de primer
orden. Una clasicacin natural en niveles de complejidad viene dada por la alternancias de cuanticadores. El estrato ms bajo est constituido por las frmulas abiertas, es decir, sin cuanticadores; el segundo escaln en complejidad de cuanticadores se da en frmulas existenciales () y universales (); luego las frmulas
y las
y as sucesivamente.
De acuerdo con este esquema, se obtienen frmulas cada vez ms expresivas, as que es una direccin natural de organizacin del estudio. Como se ver ms adelante, se puede llamar (abusando un poco del signicado del trmino) trivial al caso existencial (que incluye al caso de frmulas abiertas) puesto que si se consigue una tal
se la puede
simplicar para obtener una frmula existencial y positiva. Inversamente, toda variedad con DFC que tiene una frmula testigo positiva (de cualquier complejidad) se reduce al caso trivial, tal como lo implica el Teorema 43. En lo que sigue, los nombres de las secciones indicarn el tipo de frmula frmulas universales se aparta del comportamiento que llamamos trivial.
con el
que se est trabajando. En particular, en la ltima seccin se muestra que el caso de las
Positiva: Congruencias Factor Compactas
Diremos que
tiene congruencias factor compactas (CFC) si toda congruencia factor
de cada lgebra en
es compacta.
Muchas variedades conocidas tienen CFC, pero desde el punto de vista de la denibilidad de congruencias factor son triviales: estas ltimas se reducen a la congruencia
44
CAPTULO 3.
UNA JERARQUA DE DEFINIBILIDAD
45
compacta
Cg(0, e )
(donde
es el central asociado) y se pueden denir con frmulas a la
vez existenciales y positivas. En esta seccin nos ocuparemos del desarrollo de variedades con CFC, que se incluye en el trabajo [23]. Como la congruencia universal es siempre factor en toda lgebra, toda variedad con CFC tiene
0 & 1, pero se puede hacer que dichos trminos tengan propiedades ms fuertes:
Supongamos que
Lema 39.
. . . , 0l (w), 11 (w), . . . , 1l (w)
tales que para toda lgebra
satisface CFC. Entonces existen trminos unarios A = A1 A2 V , (1 , 2 )
01 (w), A,
ker 1 = CgA [0(1 ), 0(2 )], [0(1 ), 1(2 )] ker 2 = CgA [1(1 ), 1(2 )], [0(1 ), 1(2 )] A = F (X)F (X), donde X es un conjunto innito de variables. Como ker 1 es compacta, existen B, C, D T (X)M tales que ker 1 = CgA [B, C], [B, D]
Demostracin. Notemos que por el Corolario 23 podemos suponer que
Observe que haciendo crecer
M,
podemos suponer
B = C.
As tenemos
ker 1 = CgA [C, C], [C, D]

Sea
wX
una variable que no ocurra en
C, D.
Probaremos que (3.1)
ker 1 = CgA [C(w, w), C(w, w)], [C(w, w), D(w, w)]
Tome Sea
p, q, r F (X). Sean x, y, z X {w} variables distintas que no h : F (X) F (X) el homomorsmo dado por las prescripciones h(x) = p h(z) = r h(y) = q h(u) = w,
ocurran en
C, D.
para cada
u X {x, y, z} : F (X) F (X) F (X) F (X), el homomorsmo inducido coordenada a Sea h A coordenada por h. Como ((x, y), (x, z)) ker 1 = Cg ([C, C], [C, D]), el Corolario 23 ((p, q), (p, r)) CgA [C(w, w), C(w.w)], [C(w, w), D(w, w)]
dice que
y as hemos probado (3.1). Si tomamos
0(w) = C1 (w, w), . . . , CM (w, w), D1 (w, w), . . . , DM (w, w) 1(w) = D1 (w, w), . . . , DM (w, w), C1 (w, w), . . . , CM (w, w) ,
CAPTULO 3.
46
podemos vericar prontamente que
ker 1 = CgA ([0(w), 0(w)], [0(w), 1(w)]) ker 2 = CgA ([1(w), 1(w)], [0(w), 1(w)]).
La propiedad clave de los elementos centrales en una variedad con CFC es la siguiente consecuencia inmediata del Lema 39.
Lema 40.
entre
Sea
A V.
El mapeo
e CgA (0(), e ), CgA (1(), e )
es una biyeccin
Z (A)
y el conjunto de pares de congruencias factor complementarias de
A.
El siguiente lema muestra que tener CFC es una propiedad de Mal'cev, dando una condicin para ella.
Lema 41. V
Pi (i = 1, . . . , k), U = (U1 , . . . , Um ), V = (V1 , . . . , Vm ), Qi (i = 1, . . . , k), S = (S1 , . . . , Sm ) y T = (T1 , . . . , Tm ) tales que las siguientes identidades valen en V
tiene CFC si y slo si existen trminos
x Pi (0(w), U (w, x)), x P1 (0(w), V (w, x, y)) Pi (1(w), V (w, x, y)) Pi+1 (1(w), V (w, x, y)), Pi (0(w), V (w, x, y)) Pi+1 (0(w), V (w, x, y)), Pn (1(w), V (w, x, y)) y,
i = 1, k i i
impar par
x Qi (1(w), S(w, x)), x Q1 (1(w), T (w, x, y)), Qi (0(w), T (w, x, y)) Qi+1 (0(w), T (w, x, y)), Qi (1(w), T (w, x, y)) Qi+1 (1(w), T (w, x, y)), Qk (0(w), T (w, x, y)) y.
Demostracin. () Por el Lema 39 tenemos que
i = 1, k i i
impar par
((x, x), (x, y)) CgF (x,w)F (x,y,w) ([0(w), 0(w)], [0(w), 1(w)]) ((x, x), (y, x)) CgF (x,y,w)F (x,w) ([1(w), 1(w)], [0(w), 1(w)]).
Ahora los trminos pueden ser obtenidos aplicando el Lema 22. La parte () es inmediata, considerando que los trminos atestiguan las dos pertenencias a congruencias que constan arriba.
CAPTULO 3.
47
Sea
L(w, x, y, z, x)
la frmula dada por
x = P1 (0, x)
1ik1, i impar
Pi (z, x) = Pi+1 (z, x)

1ik1, i par
Pi 0, x = Pi+1 0, x
Pn (z, x) = y
Sea
R(w, x, y, z, x)
la frmula dada por
x = Q1 (1, x)
Qi (z, x) = Qi+ (z, x)

1ik1, i impar
Qi 1, x = Qi+1 1, x
1ik1, i par
Qk (z, x) = y
Lema 42.
1. 2.
Sea
en
V
sii sii
con CFC. Para
e Z (A)
tenemos
(a, b) A 0(), e (a, b) A 1(), e
A |= x L(, a, b, e, x) A |= x R(, a, b, e, x) (a, b) Cg(0 , e ). Para i = 1, . . . , N , sean ci A tales que (ci , Ui (, a)) Cg(0(), e ) (ci , Vi (, a, b)) Cg(1(), e )
Demostracin.
1. Suponga
El lector puede usar el Lema 41 para ver que
Cg(0(), e )
y mdulo
Cg(1(), e ),
as que
L(, a, b, e, c ) vale en A, mdulo A |= x L(, a, b, e, x ). La recproca se
sigue del Lema 22. 2. Igual a la prueba anterior.
Teorema 43.
2.
Sea
una variedad con una constante
en su lenguaje. Son equivalentes:
1. Existe una frmula positiva
que atestigua DFC dbilmente para
V,
tiene congruencias factor compactas.
CAPTULO 3.
48
Demostracin. () El Lema 42 nos asegura que podemos tomar la frmula positiva
(x, y, z, w) := x L(c, x, y, z, x )
() Sea
A V . Probaremos que si = , 0 e 1 y 1 f 0, entonces = Cg(0, e ) Cg(1, f ), y luego es compacta. Llame = Cg(0, e ) Cg(1, f ). Trivialmente, . Suponga x y ; como atestigua DFC dbilmente, obtenemos A |= (x, y, e, f ). Como es positiva, es preservada por imgenes homomrcas y entonces A/ |= (x/, y/, e/, f /).
Equivalentemente,
A/ |= (x/, y/, 0/, 1/),

y obtenemos
x/ = y/. Esto implica (x, y) , luego , y tenemos el resultado.
3.2.
Abierta
En el caso de las frmulas abiertas, se pudo extender el tratamiento a cualquier clase de modelos
K que sea cerrada por productos directos. Las deniciones del centro Z() y de (x, y, z) en el lenguaje de K tal que para a = c.
DFC siguen siendo exactamente las mismas; repetimos esta ltima aqu para referencia: existe una frmula de primer orden todo
A, B K,
a, c A, b, d B ,
si y slo si (3.2)
A B |= (a, b), (c, d), [0, 1]
Nuevamente, para aligerar la notacin tomaremos sin prdida de generalidad decir, las tuplas
l = 1,
es
tendrn longitud 1.
Supongamos adems que
es una frmula abierta:
(x, y, z) :=
iI j
donde
ij (x, y, z)
(3.3)
ij (x, y, z)
es atmica o atmica negada. Probaremos en esta seccin que bajo
estas condiciones, se puede encontrar una frmula satisfaga (3.2). Si de la seccin 3.1.
abierta y positiva que tambin
fuera una variedad, deduciramos que tiene CFC por los resultados
Lema 44.
Si
satisface (3.2),
xk , yk Ak
zk Z(Ak )
entonces
(zk )k Z(k Ak )
k Ak |= ((xk )k , (yk )k , (zk )k )
CAPTULO 3.
49
Demostracin. Obvio.
Lema 45.
Para cada
iI
existe
tal que
ij (x, y, z)
es atmica.
Demostracin. Por (3.2), tenemos

modelo trivial esto fallar.
(tal modelo
K |= (x, x, 0), en particular A |= (x, x, 0) para todo existe en K puesto que corresponde al producto directo de
una familia vaca). Pero si un conjugando es la disyuncin de frmulas atmicas negadas,
El siguiente lema provee una manera de eliminar redundancias de la frmula (3.3).
Lema 46.
Para todo
hI
existe
k Jh /
tal que para todo
x, y A K
z Z(A),
A |= (x, y, z) hk (x, y, z),

donde
Ji = {j : ij (x, y, z) hk (x, y, z) =
es negada} y
ij (x, y, z) hk (x, y, z)
i=h j jJh
hj (x, y, z) .
Demostracin. Claramente tenemos

nemos que ver suponga que
A |= hk (x, y, z) (x, y, z) para todo h, k . TeA |= (x, y, z) hk (x, y, z). En busca de una contradiccin, je h y para todo k Jh existe Ak K, xk , yk Ak y zk Z(Ak ) tales que / Ak |= (xk , yk , zk ) hk (xk , yk , zk ).
Esto es equivalente a
k :
Como
Ak |= (xk , yk , zk ) hk (xk , yk , zk )
jJh
hj (xk , yk , zk ).
(3.4)
zk Z(Ak ),
pasa al producto directo por el Lema 44:
k Ak |= (, y , z ) x
donde
x = (xk )k
y lo mismo con los otros dos. En particular,
k Ak |=
j
Pero considerando
hj (, y , z ). x
(3.5)
Ak |=
jJh
hj (xk , yk , zk ),
CAPTULO 3.
50
y como esta frmula es preservada por productos directos (cuando equivalente a una frmula atmica), tenemos
j Jh , hj
es
k Ak |=
jJh
y usando (3.5),
hj (, y , z ), x
k Ak |=
j Jh /
Luego existe
hj (, y , z ). x
frmula atmica,
j Jh /
tal que
obtenemos por preservacin
k Ak |= hj (, y , z ). Como hj es una x Aj |= hj (xj , yj , zj ), contradiciendo (3.4). i , ij
Lema 47.
Existen frmulas atmicas
tales que la siguiente frmula

(3.6)
(x, y, z) :=
iI jJi
ij (x, y, z) i (x, y, z)
satisface (3.2). Demostracin. Aplicando repetidas veces el Lema 46 a

el
obtenemos una frmula tal que ij = ij .
i-simo
conjugando tiene exactamente una frmula atmica. Renombre esta frmula
atmica como i ; las frmulas restantes tienen la forma
Para no recargar demasiado las frmulas, omitiremos el Ji de ahora en adelante.
Lema 48.
La frmula
(x, y, z) =
iI1 j
ij (x, y, z) i (x, y, z) ,
(3.7)
donde
I1 := {i I : K |= x, y
j
ij (x, y, 1)},
satisface 1. 2.
(x, y, 1), (x, x, 0)
valen en
K.
.
K |= x, y (x, y, 0) x = y
Demostracin. La primera asercin es heredada de

parte para uso futuro:
Reescribimos su primera aqu
K |= xy
iI1 j
ij (x, y, 1) i (x, y, 1) .
(3.8)
CAPTULO 3.
51
A continuacin haremos algunos clculos previos necesarios para establecer la segunda asercin. Para cada
i I1 , /
tome
Ai K, xi , yi Ai Ai |=
j
tales que
ij (xi , yi , 1). y.
Considerando que para cada
Sea
:= iI1 Ai , x = (xi )i /
y anlogamente
algn
conjugando debe ser falso, obtenemos
|=
j
para cada
ij (, y , 1), x
arbitrarios y considere
(3.9)
i I1 . Ahora tome A K, a, b A / (b, y ), e := (0, 1) A . Tenemos, por (3.9): A |=

j
Esto conduce a
c := (a, x), d :=
ij (c, d, e).
A |=
j
para todo
ij (c, d, e) i (c, d, e)
i I1 . /
En conclusin:
A |=
iI1 /
Tambin sabemos de (3.8) que
ij (c, d, e) i (c, d, e) .
j
(3.10)
|=
iI1 j
ij (, y , 1) i (, y , 1) . x x A |= (a, b, 0).
(3.11)
Vamos ahora a la demostracin en s. Suponga ahora que mente,
Explcita-
A |=
iI1 j
ij (a, b, 0) i (a, b, 0) .
(3.12)
Como (3.11) y (3.12) son frmulas de Horn, tenemos preservacin por productos directos:
A |=
iI1
Usando ahora (3.10), tenemos
ij (c, d, e) i (c, d, e) .
j
A |=
i j
ij (c, d, e) i (c, d, e) .
CAPTULO 3.
52
Como puede verse,
A |= (c, d, e)
y, por el Lema 47, esto implica
a = b.
Hemos obtenido entonces: (3.13)
K |= (x, y, 0) x = y
Lema 49.
La siguiente frmula
(x, y, z) =
iI0 I2
i (x, y, z)
(3.14)
donde
I0 := {i I1 : K |= x, y,
j
ij (x, y, 0)} ij (x, y, 0) ,

j
I2 := i I1 \ I0 : K |= x, y,
hI0
h (x, y, 0)
satisface (3.2). Demostracin. Primero probaremos que

Como
satisface ambas conclusiones del Lema 48.
(x, y, 1)
vale en
K,
tenemos (en particular)
K |=
iI0 I2
Pero por denicin de
ij (x, y, 1) i (x, y, 1) .
j
I1 ,
tenemos
K |=
iI0 I2
as que
ij (x, y, 1),
j
K |=
iI0 I2
y por denicin,
i (x, y, 1)
K |= (x, y, 1).
Anlogamente,
(x, x, 0)
vale en
y entonces
K |=
iI0 I2 j
ij (x, x, 0) i (x, x, 0) .
(3.15)
CAPTULO 3.
53
Por denicin de
I0
obtenemos
K |=
iI0 j
A partir de esto conseguimos
ij (x, x, 0).
K |=
iI0
y considerando la denicin de
i (x, x, 0),
(3.16)
I2 ,
obtenemos
K |=
iI2 j
Usando (3.15) nuevamente,
ij (x, x, 0).
K |=
iI2
i (x, x, 0),
Poniendo esto junto con (3.16), obtenemos:
K |=
iI0 I2
que es, por denicin,
i (x, x, 0)
K |= (x, x, 0)
Veriquemos que
satisface la segunda conclusin del Lema 48. Trabajamos con (3.13).
K |= (x, y, 0) x = y K |=
iI1 j
ij (x, y, 0) i (x, y, 0) ij (x, y, 0) i (x, y, 0)

iI1 j
x=y x=y
K |=
Distribuyendo
con respecto a
,
jl (x, y, 0) j l
Esto conduce a:
K |=
donde
x = y,
jl es de la forma
ij K |=
i .
jl (x, y, 0) j l
x=y .
CAPTULO 3.
54
I.e., para todo
tenemos
K |=
l
Ahora elija
jl (x, y, 0)
x=y l
tal que
k tal que para todo i I0 I2 i I1 \ (I0 I2 ). Como puede verse, K |=

iI0 I2
Sean
hay
kl
= i
kl es negada para
i (x, y, 0)
iI0 I2 /
ik (x, y, 0) x = y
(3.17)
a, b A K
arbitrarios, y suponga que
A |=
iI0 I2
Para cada
i (a, b, 0).
tal que
(3.18)
i I0 I2 , /
tome
Ai K, xi , yi Ai
Ai |=
hI0
As obtenemos
h (xi , yi , 0)
j
ij (xi , yi , 0).
A |=
iI0 I2
donde
i (x, y, 0)
j
ij (x, y, 0),
:= iI0 I2 Ai , x = (a, (xi )i ), y = (b, (yi )i ). /
De esto y (3.17) inferimos
A |= x = y,
y luego
a = b,
la cual es la segunda conclusin en el Lema 48.
Ahora tome
A, B K
a, c A, b, d B , A B |=
y suponga que
(a, b), (c, d), (0, 1) .
Por denicin,
A B |=
iI0
si y slo si
i (a, b), (c, d), (0, 1)
A |=
iI0
i (a, c, 0)
B |=
iI0
i (b, d, 1),
por preservacin. Por los resultados previos, esto nalmente equivale a
a = c,
as que
satisface (3.2).
CAPTULO 3.
55
Hemos probado entonces que por la frmula abierta positiva sola hiptesis que nuestra clase anterior:
dada por la denicin (3.2) puede ser reemplazada
(que es incluso una conjuncin de atmicas), bajo la sea cerrada por productos directos.
Volviendo ahora al reino del lgebra, podemos enunciar la conclusin obvia del lema
Teorema 50.
Luego
Suponga que existe una frmula abierta
que atestigua DFC para
V.
tiene CFC.
Demostracin. La frmula
CFC.
del Lema 49 es positiva, as que por el Teorema 43 tenemos
Este resultado se puede anar de la siguiente manera:
Teorema 51.
2. Sea
Sea
una variedad con
&
1.
Son equivalentes:
1. Existe una frmula abierta
que atestigua DFC para generada por
V. x := (x, x), y := (x, y)

y
B la sublgebra de F (x) F (x, y) e := [0, 1]. Entonces (, y ) CgB (0, e). x F (x, y, z)
se da
3. En
(x, y) Cg(0, z)
Cg(0, z) Cg(x, y) Cg(1, z) . (x, y, e )

tal que para todo
4. Existe una conjuncin de ecuaciones
e Al
(donde
A V ),
si
Cg(0, e ) Cg(1, e ) =
si y slo si
se tiene
A |= (x, y, e)
5. Existen trminos
(x, y) Cg(0, e).

en el lenguaje de
(2+l)-arios p1 , . . . , pk , q1 , . . . , qk
que satisfacen
V |= p(x, y, 1) q(x, y, 1),
V |= p(x, y, 0) = q(x, y, 0) x = y
Demostracin. (15) Es el contenido del Lema 49, pues las frmulas atmicas en el
lenguaje de
coinciden con las ecuaciones.
(54) La frmula p = q sirve. Si A |= p(x, y, e) = q(x, y, e), obtenemos A/Cg(0, e ) |= p(x, y, e)/Cg(0, e) = q(x, y, e)/Cg(0, e ) por preservacin por imgenes homomrcas. Equivalentemente,
A/Cg(0, e ) |= p(x/Cg(0, e ), y/Cg(0, e ), 0) = q(x/Cg(0, e ), y/Cg(0, e), 0).

En conclusin,
x/Cg(0, e ) = y/Cg(0, e )
y esto es
(x, y) Cg(0, e ).
CAPTULO 3.
56
Por otro lado, si suponemos
A/Cg(0, e ) y y/Cg(0, e ) y en consecuencia

de
Cg(0, e )Cg(1, e ) = , resulta A un producto subdirecto A/Cg(1, e ). Luego, si vale (x, y) Cg(0, e ), tenemos x/Cg(0, e ) =
A/Cg(0, e ) |= p(x/Cg(0, e ), y/Cg(0, e ), 0 )) = q(x/Cg(0, e ), y/Cg(0, e ), 0 )),

y equivalentemente
A/Cg(0, e ) |= p(x, y, e)/Cg(0, e) = q(x, y, e)/Cg(0, e ).

Como adems
A/Cg(1, e ) |= p(x, y, e)/Cg(1, e) = q(x, y, e)/Cg(1, e )

(puesto que
p(x, y, 1) q(x, y, 1) es cierta en toda la variedad) obtenemos A |= p(x, y, e) = q(x, y, e), pues la frmula p = q es preservada por productos subdirectos. (45) Escribamos a la conjuncin de ecuaciones como p = q . Sea A V arbitrario y tomemos e = 1. Como Cg(0, 1) Cg(1, 1) = y para todo x, y A, (x, y) Cg(0, 1),
obtenemos
A |= p(x, y, 1) q(x, y, 1).

Por otro lado, si
e = 0,
tenemos
Cg(0, 0) Cg(0, 1) =
y adems
A |= p(x, y, 0) = q(x, y, 0) x = y.
puesto que
Cg(0, 0) = . Como lo probado vale para todo A en V , obtenemos 5. (23) Llamemos a la congruencia Cg(0, z) Cg(x, y) Cg(1, z). Probaremos primero que B es isomorfa a F (x, y, z)/ . Sea h : F (x, y, z) B el homomorsmo dado
por las restricciones
h(x) = x,
Basta ver que Luego
h(y) = y ;
h(zi ) = (0i , 1i ), i = 1, . . . , l.
de
ker h = . (t1 , t2 ) ker h si y
Sean slo
tj := tj (x, y, z) con j = 1, 2 dos elementos si h(t1 ) = h(t2 ), o equivalentemente:
F (x, y, z).
F (x) F (x, y) |= t1 (h(x), h(y), h(z)) = t2 (h(x), h(y), h(z)).

Esto viene a ser lo mismo que
F (x) |= t1 (x, x, 0) = t2 (x, x, 0)
F (x, y) |= t1 (x, y, 1) = t2 (x, y, 1).
Se observa fcilmente que lo ltimo equivale a que
(x = y z = 0) t1 (x, y, z) = t2 (x, y, z)
z = 1 t1 (x, y, z) = t2 (x, y, z)
CAPTULO 3.
57
sean ciertas en la variedad. En ltima instancia, esto es igual a que simultneamente se den
(t1 , t2 ) Cg(z, 0) Cg(x, y) (t1 , t2 ) .
(t1 , t2 ) Cg(z, 1),
que es lo mismo que decir que
Con esto obtenemos inmediatamente la equivalencia entre las armaciones segunda y B tercera, pues la congruencia Cg (0, e) corresponde a Cg(0, z) . (52) Supongamos dados los trminos y denotemos rando las propiedades de
F := F (x) F (x, y).
Conside-
q,
obtenemos
F |= p(, y , e) = q(, y , e), x x

por preservacin por productos directos. Pasando a la sublgebra
B,
(3.19)
B |= p(, y , e) = q(, y , e). x x

Considerando las inclusiones
CgB (0, e) CgF (0, e) ker 1 CgB (1, e) CgF (1, e) ker 2
obtenemos
CgB (0, e) CgB (0, e) = . (x, y) CgF (0, z) ,
hiptesis de 4, concluimos por (3.19) que (35) Como tales que
Como sabemos que (54), y estamos bajo las (, y ) CgB (0, e). x
donde
F := F (x, y, z),
existen trminos
v1 , . . . vk
v1 = x CgF (0, z) v2 v3 CgF (0, z) CgF (0, z) vk1 vk = y

Luego, obtenemos las siguientes leyes de
V:
para todo
x vi (x, x, 0) x v1 (x, y, 0) vi (x, y, 1) vi+1 (x, y, 1) vi (x, y, 0) vi+1 (x, y, 0) vk (x, y, 1) y

De estos trminos podemos extraer los
para para
i i
impar par
como sigue:
pi := v2i1 ,
qi := v2i .
CAPTULO 3.
58
3.3.
Existencial
Habiendo observado los resultados obtenidos en las dos secciones anteriores: positiva abierta
existencial positiva,
existencial positiva,
es natural conjeturar que si
es una frmula existencial, obtengamos la misma conclusin.

que atestigua DFC para
Felizmente, la conjetura resulta correcta y es fcil de probar.
Teorema 52.
Luego
Suponga que existe una frmula existencial
V.
tiene CFC.
Demostracin. Para verlo, probaremos que podemos reemplazar a

positiva. Podemos suponer que
por una frmula
es de la forma
(x, y, z) := w
i
donde cada
ij (x, y, z, w)
j
(3.20)
ij (x, y, z, w)
Existe
es atmica o atmica negada. Sea
i = {j : ij
es atmica}.
Armacin.
tal que
(x, y, z) := w
jk
kj (x, y, z, w)
(3.21)
atestigua DFC para para
V.
satisface DFC, se tiene
Prueba de la Armacin. Puesto que
F (x) F (x, y) |= w
jk
Luego existe
kj ((x, x), (x, y), [0, 1 ], w)

y
[u(x), v(x, y)]
en
F (x) F (x, y)
tales que
F (x) F (x, y) |=
j
kj (x, x), (x, y), [0, 1 ], [u(x), v(x, y)]
Usando preservacin por imgenes homomrcas, obtenemos
V |=
jk
kj (x, x, 0, u(x))
(3.22)
V |=
jk
kj (x, y, 1, v(x, y))
CAPTULO 3.
59
Ahora probaremos que para este () Tome directos,
k , la frmula (3.21) atestigua DFC para V . a A, b, c B , A, B V . Usando (3.22) y preservacin por A B |=

jk
productos
kj ((a, b), (a, c), [0, 1 ], [u(a), v(b, c)]).
Luego
A B |= w
jk
y por denicin,
kj ((a, b), (a, c), [0, 1 ], w),
A B |= ((a, b), (a, c), [0, 1 ])

() Ahora suponga homomrcas, tenemos
A B |= ((a, b), (c, d), [0, 1 ]). A |= (a, c, 0); tome w tal que A |=
jk
Por preservacin por imgenes
kj (a, c, 0, w).
Considerando
F (x) F (x, y) |=
jk
obtenemos
kj ((x, x), (x, y), [0, 1 ], [u(x), v(x, y)])
A F (x) F (x, y) |=
j
kj a, (x, x) , c, (x, y) , 0, [0, 1 ] , w, [u(x), v(x, y)] .
Equivalentemente, por el isomorsmo obvio
A F (x) F (x, y) |=
j
De esto se deduce, tomando,
kj (a, x), x , (c, x), y , [0, 0 ], 1 , [w, u(x)], v(x, y) . a := (a, x), c = (c, x), 0 = [0, 0 ] = 0AF (x) ,
A F (x) F (x, y) |= ((a, x), (c, x), [0, 1 ])

y como
satisfaca DFC,
A F (x) |= a = c.
I.e.
(a, x) = (c, x).
Podemos concluir
a = c,
como desebamos.
Notemos que esta misma prueba permite obtener la conclusin del Teorema 50 de manera igualmente inmediata; reiteramos que la prueba que se dio all se aplica en un contexto de mucho mayor generalidad. Otra observacin es que las pruebas de esta seccin y la anterior son igualmente vlidas en el caso de frmulas que atestigen DFC dbilmente.
CAPTULO 3.
60
3.4.
Universal
Como se anticip, las frmulas universales se apartan del caso trivial. Para verlo, podemos considerar el ejemplo de la seccin 2.6 relativo a semi-reticulados. All se obtuvo una frmula place a
universal y no positiva. La Armacin 1 probar que cierta variedad de
semi-reticulados no tiene CFC, y luego no hay frmula ni positiva ni existencial que reem-
por ello decimos que dicha
es ptima, desde el punto de vista proposicional
y de los cuanticadores. Como primer paso, construiremos un ejemplo que atestigua que La variedad
con lenguaje
{+ , , 0, 1} +
dada por el siguiente
0 & 1 no implica BFC. conjunto de ecuaciones :
x+0x x+1x1 x00

tiene
1. En lo L := , + , , 0, 1 +
&
que sigue deniremos varias lgebras en , donde
L.
En primer lugar tome
0 + 1 := 0 1 + 1 := 1 x + 0 := x
para todo
0 1 := 0 1 1 := 1 x 0 := 0 z y := 2
z + y := 2,
para todo de sublgebra de
z, y no considerados previamente. Para cada n 2, Ln denotar la L con universo n = {0, 1, . . . , n 1}. Ahora dena Dn como la sublgebra L2 L con universo (2 n) {(1, n)}. Dena los siguientes subconjuntos de 2 : P0 := {(0, j) | 3 j} P1 := {(1, j) | 3 j}
Luego todo
2 = (2 3) P0 P1 . x, y P1 tenemos:
Note que para todo
z (2 ) \ {(0, 0), (1, 0)}
y para
x+z =y+z z+x=z+y xz =yz z x = z y.
(3.23)
CAPTULO 3.
61
Lema 53.
B P1
Toda funcin parcial inyectiva
f : Dn (L2 Ln )
que ja
(2 3) P0
es un
isomorsmo parcial entre
Dn
L2 Ln . P1 , entonces (2 3) P0 B
y
Demostracin. De manera directa se puede ver (usando las ecuaciones (3.23)) que si
y
es cualquier permutacin de
(2 3) P0 (B)
son sublgebras de
L2 L
(x) :=
es un isomorsmo entre ellas. Como
x x (2 3) P0 (x) x B, ,
es un isomorsmo parcial.
es una restriccin de un tal isomorsmo
Lema 54.
Sea
una variedad. Si
VDI
es denible en primer orden, entonces es nita-
mente axiomatizable relativa a
V.
un
Demostracin. Primero note que un ultraproducto de lgebras directamente descomponibles es nuevamente descomponible (usar operaciones de descomposicin ). Sea conjunto de sentencias de primer orden que axiomaticen diccin, suponga que
VDI . En busca de una contraVDI no es nitamente axiomatizable relativa a V . Luego, para cada 0 nito existe A0 V \ VDI satisfaciendo 0 . Ahora es fcil construir un ultraproducto U de estas lgebras descomponibles de tal manera que U satisfaga , un
absurdo.
Teorema 55. (L)DI
no es denible en primer orden.
Demostracin. Primero probaremos que el jugador tiene una estrategia ganadora

para el juego back-and-forth (de Ehrenfeucht) de longitud estrategia es como sigue: si
n 3 entre Dn
L2 Ln . La
elige un elemento en
(2 3) P0
(en cualquier lgebra),
elegir el mismo
elemento en la otra lgebra. si
elije un elemento en P1 , elegir un elemento en la parte P1

elementos en
de la otra lgebra,
que no haya sido elegida hasta este punto. Hay
n3
movimientos. Llamemos Ahora suponga que
P1 (L2 Ln ), as que estas instrucciones andan hasta n 3 g a la funcin parcial denida por este juego. Por el Lema 53, g
es una sentencia tal que
es un isomorsmo parcial y hemos probado nuestra primera armacin. arriba tenemos que para todo
(L)DI |= . Por la estrategia de ms n sucientemente grande, Dn |= si y slo si L2 Ln |= . Tomando n tal que 2n+1 = (cardinal de Dn ) es un nmero primo, obtenemos Dn (L)DI . Concluimos que hay lgebras descomponibles satisfaciendo , y de aqu que (L)DI no
puede ser denida por una sola sentencia de primer orden. Usando el Lema 54 tenemos nuestro resultado.
CAPTULO 3.
62
Corolario 56. L no tiene DFC. En particular, 0 & 1 no implican DFC ni BFC.

Demostracin. Como DFC es equivalente a DP, basta considerar el Corolario 36 y el
Teorema 55 en conjunto para obtener una contradiccin. Una indicacin de que
(L)DI
podra no ser denible fue descubierta usando el progra-
ma Universal Algebra Calculator [6], diseado por Ralph Freese y Emil Kiss. Sea
la variedad con lenguaje
{+ , , 0, 1, } +
denida por los axiomas de
identidades diciendo que
es un operacin de semi-reticulado para la cual
L ms 0 1 = 0.
Estudiando este ejemplo se ver que la complejidad de la frmula no puede ser mejorada para el caso general.
en la Proposicin 38
Armacin 1. L
Demostracin. Si
para toda
no tiene CFC. En particular, DFC no implica CFC.

tales que
L tuviera CFC, existiran 01 (w), . . . 0l (w), 11 (w), . . . 1l (w) 1 2 lgebra A = A1 A2 V , ( , ) A, ker 1 = CgA [0(1 ), 0(2 )], [0(1 ), 1(2 )] ker 2 = CgA [1(1 ), 1(2 )], [0(1 ), 1(2 )] ,
por el Lema 39. Como el lenguaje contiene constantes, podemos reemplazar estos nuevos
0i
1i
por trminos cerrados, y luego
ker 1 = CgA [0, 0], [0, 1] ker 2 = CgA [1, 1], [0, 1] .
Ahora, vericando los axiomas de L , concluimos que todo trmino cerrado t en el len guaje de L es constantemente igual a 0 a 1 sobre L , as que deberamos tener
ker 1 = CgA (0, 0), (0, 1) CgA (1, 0), (1, 1) .

Pero el lector puede vericar que si tomamos igualdad, y es claramente diferente de
A = L5 L2 ,
la relacin equivalencia
dibujada en la Figura 3.1 es una congruencia que contiene al derecho lado de la ltima
ker 1 . L .
Proposicin 57. Proposicin 58.
No existe una frmula positiva que atestige DFC dbilmente para
Demostracin. Inmediato por la Armacin 1. No existe una frmula existencial que atestige DFC dbilmente para
L .
CAPTULO 3.
63
(0,0) ? GFE ? @ ?? ? ? ? ? ??? ? ? ??? ? (1,0) ? ? ABC ? GFE ? @ ?? ? D ? ?? ? (0,1) ? ??? ? ? ?? ? (2,0) ? ? ABC ? ? GFE @ ? ? ? ? ? D ? ? ? ?? ? (1,1) (3,0) ? ??? ? 89:; ?>=< ?? ? ABC ? ? ? D ?? (4,0) ?? (2,1) ?? 89:; ?>=< ? ?? ? 89:; ?>=< ?? ?? ?? (3,1) ? 89:; ?>=< (4,1)
Figura 3.1: Una congruencia en
L5 L2 .
L2 , L4 y L5 tales que stas resulten totalmente ordenadas con el orden dado por 0 > 1 > 2 > 3 > 4. Suponga que atestigua DFC dbilmente para L , y considere L5 L2 . Los puntos sombreados en la Figura 3.2 forman una sublgebra de L5 L2 ; llmela L. El lector puede vericar que F : L4 L2 L, donde
Demostracin. Dena operaciones de semi-reticulado (tipo join ) sobre
F (x) =
es un isomorsmo. Como
x x = (3, 1) (4, 1) x = (3, 1) L ,

tenemos
atestigua DFC dbilmente para
L4 L2 |= ((3, 0), (3, 1), (0, 1), (1, 0)).

Aplicando
en todos lados, se deduce
L |= ((3, 0), (4, 1), (0, 1), (1, 0)).

Si tuviramos una frmula
existencial, obtendramos
L5 L2 |= ((3, 0), (4, 1), (0, 1), (1, 0)),

pues
es un sublgebra de
L5 L2 .
Luego concluiramos
3 = 4,
un absurdo.
Comentario. La Proposicin 58 tambin podra haber sido probada usando el Teorema 52

y la Armacin 1.
CAPTULO 3.
64
??? ?? (1,0) ? ??? (0,1) (2,0) ? ? ??? (1,1) (3,0) ? ? ??? (2,1) (4,0) ? ? ?? (3,1) ??
(0,0)
(4,1)
Figura 3.2: La estructura de semi-reticulado de
L5 L2 .
Captulo 4 Eplogo
U
abierto.
n punto muy interesante del desarrollo de DFC y las propiedades equivalentes bajo la hiptesis de tener
&
(especialmente BFC y la DP) es que las pro-
piedades de primer orden surgen como la herramienta natural a ser utilizada. Esto puede ser explicado en base a la Teora de Preservacin, que provee de
una correlacin estrecha entre propiedades elementales y estructurales. Sin embargo, dada la naturaleza exclusivamente algebraica de la DP y BFC, uno esperara que sea posible dar una prueba ms semntica de la equivalencia entre los dos conceptos, sin tener que utilizar articios sintcticos. De hecho, la prueba de la implicacin BFCDP es elemental y se basa simplemente en la estructura de reticulado distributivo de congruencias factor. Es la implicacin inversa la que plantea las mayores dicultades. Observemos que la similitud entre las respectivas condiciones de Mal'cev permitiran reducir la equivalencia a un juego ecuacional; de hecho, el Teorema de Completitud de Birkho asegura que existe tal prueba ecuacional. Pero esto no signica que tal prueba nos d una verdadera profundizacin en las razones ltimas de la equivalencia entre BFC y la DP bajo
&
1:
la inspeccin de casos particulares indica que la prueba ecuacional
puede ser extremadamente compleja. Es la Lgica de primer orden el nico camino para poder manejar tal complejidad? Esta pregunta constituye el primer problema que dejamos
Problema 1.
Dar una prueba estructural de la equivalencia entre BFC y la
Propiedad de Determinacin bajo la hiptesis de
&
1.
Tambin es interesante preguntarse si estas herramientas desarrolladas pueden aplicarse bajo hiptesis ms dbiles; especcamente, eliminando o relajando la hiptesis de &
0 1. Como ejemplo de esto podemos mencionar la solucin del problema de la equivalen-
cia entre BFC y la propiedad (*). En una charla con el autor (durante la Conference in Universal Algebra and Lattice Theory, realizada en Szeged en 2005), Ross Willard arm que mediante los trminos de la condicin de Mal'cev para BFC se poda probar dicha equivalencia. Inmediatamente despus se obtuvo el resultado de la seccin 2.4, utilizando
65
CAPTULO 4.
EPLOGO
66
virtualmente la misma frmula frmula
que surga de nuestro trabajo. La construccin de la
fue anunciada en 2004 durante el II Encuentro Nacional de lgebra realizado
en La Falda (Crdoba) y posteriormente en la conferencia de Szeged (Hungra). Prosiguiendo con las propiedades de la caracterizacin
de la congruencia asociada
a un elemento central, muchas preguntas surgen de los resultados ms generales de la seccin 3.2, donde se amplia el estudio a una clase arbitraria de modelos cerrada bajo la operacin de tomar productos directos. En primer lugar, debera tener directos cuando
(x, y, z )
las
mismas propiedades preservacionales? Es obvio que siempre es preservada por productos
es un elemento central, pero todo lo dems es conjetural. Sea
K una clase de modelos cerrada por P con DFC. Decidir si existe una frmula (x, y, z) que atestige DFC para K y que sea preservada por F siempre que z sea central.
Esto ltimo es cierto cuando ya tenemos una frmula positiva y la preservacin por (pues
Problema 2.
abierta, pues podemos conseguir una
es un caso particular de la preservacin por
F(K) H(K)
para toda clase Sea
K).
Problema 3.
por
existe una frmula
K una clase de modelos cerrada por P con DFC. Decidir si (x, y, z) que atestige DFC para K y que sea preservada
y por
F.
Creemos que esto es cierto en general, pero no vemos modo de demostrarlo. Una pregunta mucho ms fcil de Teora de Preservacin es la siguiente, y su respuesta junto con una positiva al problema anterior sera una prueba inmediata para el caso existencial en clases generales (incluyendo, obviamente, al caso abierto).
Problema 4.
y por
Probar que toda frmula existencial que sea preservada por
es equivalente a una frmula positiva.
Esto no se puede mejorar ms (digamos, a frmulas universales), por lo que atestiguan los ejemplos de la seccin 3.4. No slo es importante el tipo de preservacin que tiene la frmula la familia de frmulas que denen al centro
sino tambin
Z()
de un lgebra en una variedad con
DFC. Abundan ejemplos en los que el estudio de tal preservacin ha sido de utilidad. Vaggione [21] mostr que en variedades de congruencias modulares con
&
el centro
es denible mediante frmulas positivas, y luego se obtiene la FHP; por otro lado, junto con el autor [23], probaron inicialmente que CFC implicaba BFC viendo que preservado por
Z()
era
F,
y utilizando la frmula
existencial positiva se puede conseguir una
caracterizacin de
Z()
de complejidad
Problema 5.
Decidir si una variedad con DFC tal que el centro es denible
por frmulas universales-existenciales () tiene CFC.
CAPTULO 4.
EPLOGO
67
Un resultado interesante a ser aplicado aqu para obtener una prueba estructural es el siguiente: Una teora consistente es preservada por uniones de cadenas de modelos si
y slo si es axiomatizable por sentencias universales-existenciales. Y quiz este tipo de

argumentos conduzcan a la solucin de nuestro primer problema (viz., demostrar por separado que DP y BFC equivalen a que completitud, es el siguiente.
Z()
sea preservado por
F).
El ltimo problema, que casi no hace falta enunciar pero que dejamos sentado por
Problema 6.
para
Estudiar la parte no trivial de la jerarqua de complejidades
En particular, determinar qu propiedades algebraicas especiales se
obtienen en los casos
. 0
&
De hecho, hay que observar que la mayora de los ejemplos conocidos de variedades con DFC (viz., la familia de variedades con
que tienen la FHP, que es amplia) tienen
CFC y por ende caen en el caso trivial. No hemos construido ejemplos que nos permitan dilucidar si la parte no trivial de la jerarqua se reduce al caso universal, pero creemos que sta contiene todos los niveles de complejidad de cuanticadores.
Apndice: lgebras Locas

En este captulo (incluido solamente en esta nueva edicin) adjuntamos parte del trabajo realizado mediante el uso de la computadora. Con el mismo pudimos encontrar los ejemplos de la seccin 3.4. La variedad el programa mismo.
fue propuesta por Vaggione durante el estudio de la propiedad CFC.
Usando el programa UACalc se probaron casos al azar, automatizando la tarea mediante
simulr escrito en Pascal. A continuacin hacemos una breve exposicin del
program simular; uses dos; var code : word; card1, card2, cant, card_fc : integer ; hash1, hash2 : string; procedure ranperf(card : integer; salida : string; var nombre : string); const digitos : array [0..24] of string[1] = ( '0','1','2','3','4','5','6', '7','8','9','A','B','C','D', 'E','F','G','H','I','J','K', 'L','M','N','O'); var perf : text; cad : string; c2,c1,azar, checksum, nuevo : integer; BEGIN assign(perf,salida+'.per'); rewrite(perf); writeln(perf,card); checksum:= 0;
68
CAPTULO 4.
EPLOGO
69
nombre:=''; for c1 := 1 to 2*card-3 do BEGIN for c2 := 0 to card-1 do BEGIN azar:=random(card); nuevo := checksum * card + azar; if nuevo > 21 then BEGIN nombre := digitos[checksum] + nombre; checksum := 0; END else checksum:= nuevo; write(perf,azar); END; writeln(perf,''); END; close(perf); str(card,cad); nombre := cad+'_'+digitos[checksum mod 21]+nombre; END;
Esta primera rutina crea el perl de un lgebra loca al azar. Dicho perl es un archivo que contiene las partes de la tabla de sumar y multiplicar que no estn impuestas por los axiomas. As, el lgebra L4 (su reducto a L) tiene el perl loca_4.per como se observa a continuacin:
loca_4.per:
+L4
0 1 2 3
0 0 1 2 3
1 2 2 2 2
2 2 2 2 2
3 2 2 2 2
L4
0 1 2 3
0 0 0 0 0
1 2 2 2 2
2 2 2 2 2
3 2 2 2 2
4 2222 2222 2222 2222 2222
La primera lnea contiene el cardinal del lgebra, y las otras cinco corresponden a las tres ltimas columnas de la tabla de +L4 y las ltimas dos de la tabla de L4 (puesto que la segunda columna de sta coincide con la segunda de aqulla). El nombre del perl generado al azar codica con un hash su tabla de multiplicar.
procedure pertoalg(perfil, algebra : string) ; var
CAPTULO 4.
EPLOGO
70
alg,perf cad,unopor cont,c1,card code
: : : :
text; string; integer; word;
BEGIN assign(perf,perfil+'.per'); assign(alg,algebra+'.alg'); rewrite(alg); reset(perf); readln(perf,cad); val(cad,card,code); writeln(alg,card); { Escribo el CARDinal del lgebra} writeln(alg,'0'); { La primera constante... } writeln(alg,'0'); { es el 0 } writeln(alg,'0'); { Segunda constante } writeln(alg,'1'); { es el 1 } writeln(alg,'2'); { funcion binaria: el "ms" } for cont := 0 to card-1 do { x + 0 = x } writeln(alg, cont); readln(perf,cad); { x + 1 } unopor := cad; for c1 := 1 to card do writeln(alg, copy(cad,c1,1)); {Fin x + 1} for cont := 0 to card-3 do {El resto del +} BEGIN readln(perf,cad); for c1 := 1 to card do writeln(alg, copy(cad,c1,1)); END; writeln(alg,'2'); { El "por"} for c1 := 1 to card do writeln(alg, 0); { x.0 = 0 } for c1 := 1 to card do BEGIN writeln(alg, copy(unopor,c1,1)); END; for cont := 0 to card-3 do BEGIN readln(perf,cad); for c1 := 1 to card do writeln(alg, copy(cad,c1,1)); END;
CAPTULO 4.
EPLOGO
71
close(perf); close(alg); END;
Esta rutina transforma el archivo perl (ms manejable) en un archivo de lgebras en el formato del programa UACalc. Esencialemente, completa las tablas y pone cada resultado en una lnea independiente. As, el archivo loca_4.alg obtenido tiene 39 lneas, cada una con un nico nmero.
function cont_fact(con : string) : integer; var esfactor arch_con congr card,cont1,factores,num_con cuenta code : : : : : : boolean; text; string; integer; array[0..25] of integer; word;
BEGIN assign(arch_con,con+'.con'); reset(arch_con); readln(arch_con,congr); factores:=0; val(copy(congr,1,pos(',',congr)-1),card,code); while not EOF(arch_con) do BEGIN readln(arch_con,congr); for cont1:= 0 to card-1 do cuenta[cont1] := 0 ; for cont1 := 1 to card-1 do BEGIN congr := copy(congr,pos(',',congr)+1,length(congr)); val(copy(congr,1,pos(',',congr)-1),num_con,code); cuenta[num_con] := cuenta[num_con] + 1; END; congr := copy(congr,pos(',',congr)+1,length(congr)); val(congr,num_con,code); cuenta[num_con] := cuenta[num_con] + 1; esfactor:= true; cont1:=1; while (cont1*cuenta[0] < card) and esfactor do BEGIN esfactor:= ( cuenta[cont1] = cuenta[0] ) and esfactor ; {
CAPTULO 4.
EPLOGO
72
%%% Aqui se podria poner alguna cosa que pruebe casos en los no se de la regla que se asignan iterativamente 0,1,...,etc. Viz., ,5,0,5,0 ,5,2,5,2 no son "factor". El primer caso se soluciona escribiendo esfactor:= ( (cuenta[cont1] = cuenta[0]) or ( cuenta[cont1] = 0 ) ) and esfactor ; %%% } cont1:=cont1+1; END; if esfactor then factores := factores + 1; END; close(arch_con); cont_fact := factores; END;
Aunque el nombre de esta rutina induce a pensar que cuenta la cantidad de congruencias factor, cuenta cuntas congruencias uniformes hay, es decir, congruencias cuyas clases de equivalencia tienen todas el mismo cardinal.
BEGIN writeln('simular v20060723, by pedro'); randomize; if paramstr(3) = '' then BEGIN Writeln('Error: Faltan argumentos:'); writeln('Uso: simular { CARD1 | ALG } CARD2 TAMANIO-MUESTRA'); halt(1); END; hash1:= paramstr(1); val(hash1,card1,code); if card1 = 0 then pertoalg (hash1,'factor1');
Es posible determinar un primer factor jo, e indicarlo en la lnea de comandos.

val(paramstr(2),card2,code); val(paramstr(3),cant,code); while cant > 0 do BEGIN if card1 > 0 then
CAPTULO 4.
EPLOGO
73
BEGIN ranperf(card1,'factor1',hash1); pertoalg ('factor1','factor1'); END; ranperf(card2,'factor2',hash2); pertoalg ('factor2','factor2'); swapvectors; exec ('freese.sh','factor1 factor2 1por2');
Hasta este punto, se generaron dos (o una solamente si se especic la primera) lgebras, y el script freese.sh usa la parte no interactiva de UACalc para generar su producto directo (1por2), y calcular sus congruencias.
swapvectors; writeln(cant, ' ',hash1,'x',hash2); card_fc:=cont_fact('1por2'); if (card_fc > 4) and (card_fc < 8) then BEGIN writeln (hash1,'x',hash2,' es un contraejemplo a BFC!!!! con ', card_fc,' congruencias factor'); cant:=0; END; cant:=cant - 1 ; END; writeln('Fin de la simulacion'); END.
El objetivo de esta simulacin era encontrar un lgebra con 0&1 que no tuviera BFC. En una primera instancia se prob al azar en ambos factores, sin xito. Pero luego de observar que la funcin no poda ser suryectiva, se decidi jar el primer factor con el lgebra L4 . Una vez determinado esto, se prob con un segundo factor tirado al azar de cardinal 4, y se consigui con xito un lgebra con 5 congruencias factor. Se pudo disminuir el cardinal del otro factor hasta 2, para lo cual hay una nica lgebra que hace que esto suceda. Es nuestra L2 . Sigue un ejemplo de salida del programa, para un factor al azar de cardinal 3.
$ simular loca4 3 100 simular v20060723, by pedro 100 loca4x3_CA 99 loca4x3_08L 98 loca4x3_EE 97 loca4x3_38E 96 loca4x3_0787 95 loca4x3_0C7 94 loca4x3_0A
CAPTULO 4.
EPLOGO
74
93 loca4x3_58D 92 loca4x3_0EJ 91 loca4x3_38I 90 loca4x3_377 loca4x3_377 es un contraejemplo a BFC!!!! con 5 congruencias factor Fin de la simulacion $
El programa mostr_fact muestra las supuestas congruencias factor encontradas para asegurarse que son efectivamente factor:
$ mostr_fact 1por2 mostr_fact v20060723, by pedro 0 : ,0,1,2,3,4,5,6,7,8,9,10,11 2 : ,0,1,2,0,1,2,0,1,2,0,1,2 3 : ,0,0,0,0,0,0,0,0,0,0,0,0 28 : ,0,0,0,1,1,1,2,2,2,3,3,3 47 : ,0,0,0,1,2,1,3,3,3,2,1,2 5 congruencias factor $
Obsrvese que las congruencias numeradas con 0 y 3 corresponde a y , respectivamente, y la 2 y la 28 son las congruencias factor correspondientes a la descomposicin directa de la cual surge el lgebra 1por2. La congruencia 47, como puede observarse, es factor, as que no hay BFC. Cabe destacar que la primera vez que se encontr un contraejemplo, se hizo usando una mquina Pentium MMX de 200Mhz, corriendo con 32MB de memoria. El uso de estas herramientas posibilit descubrir que LDI no era denible en primer orden, y ms adelante estas mismas lgebras probaron ser tiles tambin como contraejemplos a otras preguntas. A continuacin se analiza el producto directo de las lgebras L5 y L2 , y se dejan sentados los clculos realizados para conocer las congruencias que se utilizan al nal de la prueba de la Armacin 1.
$ pra loca_5.5 loca_2 loca_5.5x2 UNIVERSAL ALGEBRA CALCULATOR --- batch version --Creating a direct product. < The number read is 2. [ Reading algebra `loca_5.5.alg'. ] End of reading algebra. [ Reading algebra `loca_2.alg'. ] End of reading algebra. < The output file is `loca_5.5x2.alg'.
[ . . . . . .
CAPTULO 4.
EPLOGO
75
. . . ] o $
< The output file is `loca_5.5x2.uni'. o Writing algebra to `loca_5.5x2.alg'. o Writing vector(s) to `loca_5.5x2.uni'. End of creating a direct product. Calculation terminated succesfully.
Su universo se guarda inicialmente en el archivo loca_5.5x2.uni:

$ cat loca_5.5x2.uni 10,2 0, 0, 1, 1, 2, 2, 3, 3, 4, 4, $ 0 1 0 1 0 1 0 1 0 1
el archivo pares.br:
2,2 0,1 2,3
Generamos la congruencia por los pares (primera tupla; tercera tupla) y (segunda tupla; cuarta tupla):
$ cg loca_5.5x2 pares UNIVERSAL ALGEBRA CALCULATOR --- batch version --Generating a congruence. [ Reading algebra `loca_5.5x2.alg'. ] End of reading algebra. [ Reading vectorlist file `pares.br'. WARNING: Vectorlist file longer than expected. ] End of reading vectors. < The output file is `pares.cg'. [ Generating the congruence. ] End of generating the congruence. > RESULT: |0-1|2-3|4-5|6|7|8|9| ( 7 block(s)) o Writing congruence(s) to `pares.cg'. End of generating a congruence. Calculation terminated succesfully.
[ . . . ! . . . . . . ] o $
CAPTULO 4.
EPLOGO
76
Es decir, la congruencia Cg (0, 0); (0, 1) Cg (1, 0); (1, 1) (dada por la particin {{0, 1}, {2, 3}, {4, 5}, {6}, {7}, {8}, {9}}) no es factor, luego no hay CFC. Por ltimo, el programa slat2has busca una operacin de semireticulado en el archivo de lgebra dado y retorna el conjunto de relaciones de cubrimiento (covers ), que puede ser utilizado por el mdulo hasse.jar para dibujar posets. El cdigo est discretamente comentado.
program slat2has; uses dos,strings; type tablas = ^integer; elementos = 0..255; conjunto = set of elementos; var otro_parm : byte; dual : boolean; code : word; diagrama, nombre : string; function potencia(base, ex: integer): integer; begin if ex = 0 then potencia := 1 else potencia:=potencia(base,ex-1)*base; end; { potencia } function slat_check(card : integer ; tabla : tablas) : boolean; var i,j,k : integer ; check : boolean; begin check := True; for i := 0 to card-1 do check:= check and (tabla[i*card+i] = i ); {chequea si es idempotente} {Notar que i v j = tabla^[j*card+i]} for i := 0 to card-2 do for j := i+1 to card-1 do check:= check and (tabla[j*card+i] = tabla[i*card+j] ); { chequea si es conmutativo} for i := 0 to card-2 do
CAPTULO 4.
EPLOGO
77
for j := i+1 to card-1 do for k := 0 to card-2 do check:= check and (tabla[tabla[k*card+j]*card + i] = tabla[k*card + tabla[j*card+i]] ); {chequea si es asociativo, i v (j v k) = (i v j) v k} slat_check:=check; end; { slat_check } function escribir_cover(covers : conjunto) : string; var cont : integer; aux : string; begin escribir_cover := '('; for cont := 0 to 255 do if covers - [cont] <> covers then begin str(cont,aux); escribir_cover:= escribir_cover + ' '+ aux; end; escribir_cover:= escribir_cover + ')'; end; { escribir_cover } procedure crear_hasse (card : integer; tabla : tablas ; algebra,nombre: string ); var has : text; covers : set of 0..255; i,j,k : integer; BEGIN assign(has,nombre); rewrite(has); writeln(has,'("',algebra,'"'); for i := 0 to card-1 do begin write(has,' (',i,' '); covers:=[ ]; for j := 0 to card-1 do covers:= covers + [tabla[i*card+j]]; { Pongo en "covers" } { todos los mayores } covers := covers - [i]; {... estrictamente mayores que i} for j := 0 to card-1 do
CAPTULO 4.
EPLOGO
78
if covers -[j] <> covers then {Para los bichos en covers...} for k:= 0 to card - 1 do if (k = tabla[k*card+j]) and (k<>j) then covers :=covers -[k]; {... si algo es mayor } { estricto y est, } { los saco } writeln(has,escribir_cover(covers),')'); end; writeln(has,')'); close(has); END; { crear_hasse } procedure crear_hasse_dual (card : integer; tabla : tablas ; algebra,nombre: string ); var has : text; covers : set of 0..255; i,j,k : integer; BEGIN assign(has,nombre); rewrite(has); writeln(has,'("',algebra,'"'); for i := 0 to card-1 do begin covers:=[ ]; write(has,' (',i,' '); for j := 0 to card-1 do if (i = tabla[i*card+j]) and (i<>j) then covers :=covers +[j]; {Pongo en "covers" todos los mayores estrictos que i (pienso al semilattice como un meet-(...)} for j := 0 to card-1 do if covers -[j] <> covers then {Para los bichos en covers...} for k:= 0 to card - 1 do if (j = tabla[j*card+k]) and (k<>j) then covers :=covers -[k]; {... si algo es mayor estricto y est, los saco} writeln(has,escribir_cover(covers),')'); end; writeln(has,')'); close(has);
CAPTULO 4.
EPLOGO
79
END; { crear_hasse_dual } procedure extraer_slat(algebra, hasse : string ; es_dual : boolean); var alg : text; cad : string; card,aridad,dato,cont : integer; join : tablas; BEGIN assign(alg,algebra); reset(alg); readln(alg,cad); val(cad,card,code); getmem(join,card*card*Sizeof(integer)); { Esto va a copiar la tabla de multiplicar de un posible join} while not EOF(alg) do begin readln(alg,cad); val(cad,aridad,code); if aridad <> 2 then for cont := 1 to potencia(card,aridad) do readln(alg,cad) else begin for cont := 0 to card*card-1 do begin readln(alg,dato); join[cont]:=dato end; if slat_check(card,join) then if dual then crear_hasse_dual(card,join,algebra,hasse) else crear_hasse(card,join,algebra,hasse); end; end; freemem(join,card*card*Sizeof(integer)) end; { extraer_slat } BEGIN otro_parm:=0; dual := false; if paramstr(2) = '' then BEGIN
CAPTULO 4.
EPLOGO
80
Writeln('Error: Faltan argumentos:'); writeln('Uso: slat2has [-d | --dual] ALGEBRA_FILE COVER_FILE'); halt(1); END; if copy(paramstr(1),1,1) ='-' then begin dual:=true; otro_parm:=1; end; nombre := paramstr(1+otro_parm); diagrama := paramstr(2+otro_parm); extraer_slat(nombre,diagrama,dual); END.
La salida de este programa es la siguiente:

$ slat2has loca_5.5x2.alg diagrama.has ; cat diagrama.has ("loca_5.5x2.alg" (0 ()) (1 ( 0)) (2 ( 0)) (3 ( 1 2)) (4 ( 2)) (5 ( 3 4)) (6 ( 4)) (7 ( 5 6)) (8 ( 6)) (9 ( 7 8)) )
Bibliografa
[1] C. C. Chang, B. Jnsson y A. Tarski, Renement properties for relational structures. Fund. Math.
54 (1964): 249281.
[2] D. Bigelow y S. Burris, Boolean algebras of factor congruences. Acta Sci. Math.
54 (1990): 1120.
433454
[3] G. Birkhoff, On the structure of algebras. Proc. Cambridge Phil. Soc.
31 (1937):
[4] S. Burris y H. P. Sankappanavar, A course in universal algebra. Graduate Texts in Mathematics, Springer-Verlag, New York (1981). [5] G. A. Fraser y A. Horn, Congruence relations in direct products. Proc. Amer. Math.
26 (1970): 390394.
[6] Ralph S. Freese y Emil W. Kiss, An algebra calculator program. Sitio web:
httpXGGwwwFmthFhwiiFeduGrlphGsoftwreGuprogG
[7] G. Grtzer, Two Mal'cev type theorems in universal algebra. J. Combin. Theory
8 (1970): 334342.
[8] B. Jonsson y A. Tarski, Direct Decompositions of Finite Algebraic System. University of Notre Dame, South Bend, IN (1947). [9] R. McKenzie, G. McNulty y W. Taylor. Algebras, Lattices, Varieties, Volume 1, The Wadsworth & Brooks/Cole Math. Series, Monterey, California (1987). [10] J. Kollar, Congruences and one element subalgebras. Algebra Universalis (1979): 266267. [11] D. Lagmanovich, La elaboracin de la tesis. Ediciones del Rectorado, Univers. Nac. Tucumn, Tucumn (2006). [12] A. I. Mal'cev, On the general theory of algebraic systems (en ruso). Mat. Sb. 77 (1954): 320.
35
81
BIBLIOGRAFA
82
[13] W. D. Neumman, On Mal'cev conditions. J. Austral. Math. Soc. 384.
17 (1974): 376
[14] P. Snchez Terraf y D. Vaggione, Varieties with Denable Factor Congruences, Trans. Amer. Math. Soc, aceptado. [15] A. Tarski, Cardinal Algebras. Oxford Univ. Press, New York (1949). [16] W. Taylor, Characterizing Mal'cev conditions. Algebra univers. 397. [17] D. Vaggione, V with factorable congruences and discriminator variety. Acta Sci. Math.
(1973): 351
62 (1996): 359368.
V = Ia (VDI )
imply
is a
[18] D. Vaggione, Denability of directly indecomposable congruence modular algebras. Studia Logica
57 (1996): 239241.
[19] D. Vaggione, Varieties in which the Pierce stalks are directly indecomposable. Journal of Algebra
184 (1996): 424434.
[20] D. Vaggione, Varieties of shells. Algebra univers.
36 (1996): 483487.
[21] D. Vaggione, Modular varieties with the Fraser-Horn property. Proc. Amer. Math. Soc.
127 (1998): No 3, 701708.
[22] D. Vaggione, Central elements in varieties with the Fraser-Horn property. Advances in Mathematics
148 (1999): 193202.
[23] D. Vaggione, P. Snchez Terraf, Compact factor congruences imply Boolean factor congruences. Algebra univers.
51 (2004): 207213.
[24] R. Willard, Varieties Having Boolean Factor Congruences. J. Algebra, (1990): 130153.
132
ndice de Notacin
83

Tesis 6

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Tesis 6

Caricato da

Copyright:

Formati disponibili

Congruencias Factor Denibles

por CONICET, SECYT-UNC y ANPCYT por SECYT-UNC y ANPCYT

tiene DFC si y slo si

y Congruencias Factor Booleanas

(BFC). Tambin obtenemos una denicin explcita en primer orden

del ncleo de las

has DFC if and only if

Boolean Factor Congruences (BFC). We also obtain an explicit rst-order denition

momentum que me comunic.

Captulo 1 Introduccin y Herramientas

variedad si est denida por identidades , i.e., sentencias de la forma

etc), anillos, mdulos sobre un anillo jo y lgebras de Boole.

Para el caso de la variedad

de todos los grupos debemos especicar como opera-

ciones bsicas el producto (), tomar inversos (

) y una operacin nularia que sea

denotar siempre una variedad. Llamaremos trminos

de todos los grupos.

ser denotadas por

Salvo en caso de posible confusin, omitiremos los

TV (X) y FV (X), respectivamente. subndices: T (X) y F (X).

Una congruencia de un lgebra una relacin de equivalencia

que preserva las operaciones bsicas (i.e., si

una relacin de equivalencia sobre el ncleo

ker h := {(x, y) A A : h(x) = h(y)}

cuyo universo es el conjunto de

las operaciones se denen de la manera cannica.

generaliza a tuplas, viz.

{(ak , bk ) : 1 k n}1 . Como caso particular, cuando una congruencia puede

generarse con un solo par, se la denomina principal .

Denicin 2. Se dice que dos congruencias y permutan si x y z implica que existe

Es decir, los productos relacionales permuten, se da

se dir directamente indescomponible si es no trivial y no

1 I.e., la menor congruencia que contiene a dicho conjunto.

tiene la propiedad de renamiento si

nitos), entonces existen

se descompone de dos maneras

Esta propiedad es la de poder renar descomposiciones en producto directo a nivel con-

gruencial, y por ende implica la propiedad de renamiento. En [15] se muestra que la

conjunto de congruencias de congruencias. Diremos

Por ltimo, podemos mencionar la propiedad de Fraser-Horn-Hu (FHP) : si

no necesariamente factor. Inmediatamente observamos que FHP im-

i i si = i i y para todos ai otro modo, el sistema de ecuaciones en congruencias (x, ai )

Strict Renement Property.

la informacin relativa a las representaciones en producto directo. En el ejemplo de los

del anillo tienen su segunda compo-

0 & 1 sobre un lenguaje nito en las que ni siquiera

es denible en primer orden. Como resultado positivo, D. Vaggione mostr en [22]

que en variedades con

que tienen la propiedad de Fraser-Horn-Hu, los elementos

0 & 1 es una variedad V 01 (w), . . . , 0l (w), 11 (w), . . . , 1l (w) tales que

en la cual existen trminos

1 = (11 , . . . , 1l ). 0 y 1: para todas A, B V

La siguiente proposicin rene otras nociones que resultan equivalentes a tener

Cada una de las siguientes implica las otras dos:

es semidegenerada: ningn lgebra no trivial de

En este marco se puede generalizar tambin la nocin de elemento central.

entonces diremos que

e [0(1 ), 1(2 )].

-centrales e, f sern A A1 A2 tal que (1 , 2 ) y

llamados complementarios si existe un isomorsmo

e [0(1 ), 1(2 )] f [1(1 ), 0(2 )].

fueron introducidos por Vaggione en el trabajo [17]. Usare-

Congruencias Factor Denibles

(BFC). Tambin obtenemos una denicin explcita en primer orden

Boolean Factor Congruences (BFC). We also obtain an explicit rst-order denition

variedad si est denida por identidades , i.e., sentencias de la forma

etc), anillos, mdulos sobre un anillo jo y lgebras de Boole.

de todos los grupos debemos especicar como opera-

ciones bsicas el producto (), tomar inversos (

las operaciones se denen de la manera cannica.

Denicin 2. Se dice que dos congruencias y permutan si x y z implica que existe

tiene la propiedad de renamiento si

nitos), entonces existen

Esta propiedad es la de poder renar descomposiciones en producto directo a nivel con-

gruencial, y por ende implica la propiedad de renamiento. En [15] se muestra que la

Por ltimo, podemos mencionar la propiedad de Fraser-Horn-Hu (FHP) : si

Strict Renement Property.

0 & 1 sobre un lenguaje nito en las que ni siquiera

es denible en primer orden. Como resultado positivo, D. Vaggione mostr en [22]

llamados complementarios si existe un isomorsmo

una propiedad atribuible a variedades. Una presentacin nita (para variedades) es un

par formado por un conjunto nito nito

si y slo si para toda clase (Birkho, [3])

entonces es equivalente a una conjuncin nita de identidades.

Captulo 2 Variedades con Congruencias Factor Denibles