ACTA issues

## ${\cal V}$ with factorable congruences and ${\cal V}={\rm I}\Gamma ^a({\cal V}_{DI})$ imply ${\cal V}$ is a discriminator variety

Diego Vaggione

Acta Sci. Math. (Szeged) 62:3-4(1997), 359-368
6120/2009

 Abstract. We prove that if ${\cal V}$ is a variety with factorable congruences in which every member can be represented as a Boolean product of directly indecomposable algebras, then ${\cal V}$ is a discriminator variety. AMS Subject Classification (1991): 08A05, 08A30, 08A40, 08B10; 06E15 Keyword(s): Boolean product, discriminator variety, factorable congruences, Boolean factor congruences, Pierce sheaf, principal congruence formula Received January 5, 1994 and in revised form May 23, 1996. (Registered under 6120/2009.)