Zero-dimensional compact associative distributive universal algebras
HTML articles powered by AMS MathViewer
- by Tae Ho Choe
- Proc. Amer. Math. Soc. 42 (1974), 607-613
- DOI: https://doi.org/10.1090/S0002-9939-1974-0325492-2
- PDF | Request permission
Abstract:
We consider the question under which conditions a zero-dimensional compact universal algebra $\mathfrak {A}$ of finite type is profinite in the sense that the intersection of all closed congruences on $\mathfrak {A}$ 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 $\mathfrak {A}$ has generalized associativity and distributivity (see definitions in §1), then $\mathfrak {A}$ 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.References
- L. W. Anderson and R. P. Hunter, On residual properties of certain semigroups, Contributions to Extension Theory of Topological Structures (Proc. Sympos., Berlin, 1967) Deutscher Verlag Wissensch., Berlin, 1969, pp. 15–19. MR 0245711
- 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
- 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 N. Bourbaki, General topology. Part I. Hermann, Paris; Addison-Wesley, Reading Mass., 1966. MR 34 #5044a.
- George Grätzer, Universal algebra, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1968. MR 0248066
- K. W. Gruenberg, Projective profinite groups, J. London Math. Soc. 42 (1967), 155–165. MR 209362, DOI 10.1112/jlms/s1-42.1.155 S. Mac Lane, Homology, Die Grundlehren der math. Wissenschaften, Band 114, Academic Press, New York; Springer-Verlag, Berlin, 1963. MR 28 #122.
- Barry Mitchell, Theory of categories, Pure and Applied Mathematics, Vol. XVII, Academic Press, New York-London, 1965. MR 0202787
- Katsumi Numakura, Theorems on compact totally disconnected semigroups and lattices, Proc. Amer. Math. Soc. 8 (1957), 623–626. MR 87032, DOI 10.1090/S0002-9939-1957-0087032-5
Bibliographic Information
- © Copyright 1974 American Mathematical Society
- 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