Zero-dimensional compact associative distributive universal algebras

Author:
Tae Ho Choe

Journal:
Proc. Amer. Math. Soc. **42** (1974), 607-613

MSC:
Primary 08A05

DOI:
https://doi.org/10.1090/S0002-9939-1974-0325492-2

MathSciNet review:
0325492

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We consider the question under which conditions a zero-dimensional compact universal algebra of finite type is profinite in the sense that the intersection of all closed congruences on with finite quotients is trivial. This is known ([**2**], [**9**]) to be the case for typical algebras such as groups, semigroups, Boolean lattices (or distributive lattices) and associative rings, but not in general. In this paper we show that if the underlying algebra of the has generalized associativity and distributivity (see definitions in §1), then is always profinite. It then follows directly from [**2**] that the two categories of all residually finite associative, distributive universal algebras of the same finite type and of all zero-dimensional compact ones are in adjoint situation. From this it is shown that all projectives in the latter category are completely characterized in terms of free algebras in the former category.

**[1]**L. W. Anderson and R. P. Hunter,*On residual properties of certain semigroups*, Contributions to Extension Theory of Topological Structures (Proc. Sympos., Berlin, 1967) Deutsch. Verlag Wissensch., Berlin, 1969, pp. 15–19. MR**0245711****[2]**B. Banaschewski,*On profinite universal algebras*, General topology and its relations to modern analysis and algebra, III (Proc. Third Prague Topological Sympos., 1971) Academia, Prague, 1972, pp. 51–62. MR**0351960****[3]**B. Banaschewski,*Projective covers in categories of topological spaces and topological algebras*, General Topology and its Relations to Modern Analysis and Algebra, III (Proc. Conf., Kanpur, 1968) Academia, Prague, 1971, pp. 63–91. MR**0284388****[4]**N. Bourbaki,*General topology*. Part I. Hermann, Paris; Addison-Wesley, Reading Mass., 1966. MR**34**#5044a.**[5]**George Grätzer,*Universal algebra*, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1968. MR**0248066****[6]**K. W. Gruenberg,*Projective profinite groups*, J. London Math. Soc.**42**(1967), 155–165. MR**0209362**, https://doi.org/10.1112/jlms/s1-42.1.155**[7]**S. Mac Lane,*Homology*, Die Grundlehren der math. Wissenschaften, Band 114, Academic Press, New York; Springer-Verlag, Berlin, 1963. MR**28**#122.**[8]**Barry Mitchell,*Theory of categories*, Pure and Applied Mathematics, Vol. XVII, Academic Press, New York-London, 1965. MR**0202787****[9]**Katsumi Numakura,*Theorems on compact totally disconnected semigroups and lattices*, Proc. Amer. Math. Soc.**8**(1957), 623–626. MR**0087032**, https://doi.org/10.1090/S0002-9939-1957-0087032-5

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
08A05

Retrieve articles in all journals with MSC: 08A05

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1974-0325492-2

Keywords:
Universal algebra,
compact topological universal algebra,
free algebra,
projectivity

Article copyright:
© Copyright 1974
American Mathematical Society