Abstract
We investigate V-free algebras onn generators,F n =F r (V, n), where V is a discriminator variety and, more specifically, where V is a variety of relation algebras or of cylindricalgebras. Sample questions are: (a) IsF n+1 embeddable inF n ? (b) DoesF n contain an n-element set that generates it non-freely? The answer to (a) is affirmative in some varieties of relation algebras, but it is negative in every congruence extensile variety in which some nontrivial finite member is an absolute retract. The answer to (b) is affirmative in every variety of relation algebras that contains the full algebra of relations on an infinite set.
Similar content being viewed by others
References
Andréka, H.,Maddux, R. andNémeti, I. [1988]Splitting in relation algebras. Proc. Amer. Math. Soc, in print.
Berman, J. andBlok, W. J. [1987]Fraser-Horn and Apple properties. Trans. Amer. Math. Soc.302.
Blok, W. andPigozzi, D. [1982]On the structure of varieties with equationally definable principal congruences I. Algebra Universalis15, 195–227.
Comer, S. [1984]Galois-theory of cylindric algebras and its applications. Trans. Amer. Math. Soc.286, 771–785.
Henkin, L.,Monk, J. D. andTarski, A. [1971]Cylindric algebras. Part I. North-Holland.
Henkin, L.,Monk, J. D. andTarski, A. [1985]Cylindric algebras. Part II. North-Holland.
Jónsson, B. [1982]Varieties of relation algebras. Algebra Universalis15, 273–298.
Jónsson, B. andTarski, A. [1951]Boolean algebras with operators. Part I. Amer. J. Math.73, 891–939.
Jónsson, B. andTarski, A. [1952]Boolean algebras with operators. Part II. Amer. J. Math.74, 127–162.
Jónsson, B. andTarski, A. [1961]On two properties of free algebras. Math. Scand.9, 95–101.
Maddux, R. [1978]Topics in relation algebras. Ph.D. Thesis, University of California, Berkeley.
Maddux, R. [1978a]Sufficient conditions for representability of relation algebras. Algebra Universalis8, 162–172.
Maddux, R. [1982]Some varieties containing relation algebras. Trans. Amer. Math. Soc.272, 501–526.
Maddux, R. [1987]Pair-dense relation algebras. Trans. Amer. Math. Soc, accepted.
Monk, J. D. [1961]Studies in cylindric algebra. Doctoral dissertation, University of California, Berkeley, vi + 83pp.
Németi, I. [1986]Free algebras and decidability in algebraic logic. Dissertation for D.Sc. with Hung. Academy of Sciences, Budapest. Submitted.
Németi, I. [1987]Decidability of relation algebras with weakened associativity. Proc. Amer. Math. Soc.100, 340–344.
Németi, I. [1987a]On varieties of cylindric algebras with applications to logic. Annals of Pure and Applied Logic36, 235–277.
Tardos, G. [1988] Personal communication.
Tarski, A. andGivant, S. [1987]A formalization of set theory without variables. AMS Colloquium Publications 41, Providence, Rhode Island.
Thompson, R. J. [1988]Noncommutative cylindric algebras and relativization of cylindric algebras. Bulletin of Section of Logic, Lodz, Poland,17, 75–81.
Werner, H. [1978]Discriminator algebras. Akademie Verlag, Berlin.
Author information
Authors and Affiliations
Additional information
Research supported by Hungarian National Foundation for Scientific Research grant No. 1810.
Research supported by NSF grant DMS-8800290.
Rights and permissions
About this article
Cite this article
Andréka, H., Jónsson, B. & Németi, I. Free algebras in discriminator varieties. Algebra Universalis 28, 401–447 (1991). https://doi.org/10.1007/BF01191089
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01191089