Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

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 Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

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