Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-12-05T23:40:37.558Z Has data issue: false hasContentIssue false

The subdirect decomposition theorem for classes of structures closed under direct limits

Published online by Cambridge University Press:  09 April 2009

Xavier Caicedo
Affiliation:
Department of Mathematics, Universidad de los Andes, Apartado Aéreo 4976, Bogotá, D. E., Colombia
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

By a theorem of G. Birkhoff, every algebra in an equationally defined class of algebras K is a subdirect product of subdirectly irreducible algebras of K. In this paper we show that this result is true for any class of structures. not necessarily algebraic, closed under isomorphisms and direct limits. Quasivarieties in the sense of Malcev are examples of such classes of structures. This includes Birkhoffs result as a particular case.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1980

References

Birkhoff, G. (1944), ‘Subdirect unions in universal algebra’, Bull. Amer. Math. Soc. 50, 764768.CrossRefGoogle Scholar
Chang, C. C. and Keisler, H. J. (1973), Model theory (North Holland, Amsterdam).Google Scholar
Cohn, P. M. (1965), Universal algebra (Harper and Row, New York).Google Scholar
Eklof, P. M. (1975), ‘Categories of local functions’, Model theory and algebra, pp. 91116 (Lecture Notes in Mathematics 498, Springer-Verlag, New York).CrossRefGoogle Scholar
Grätzer, G. (1968), Universal algbra (Van Nostrand, New York).Google Scholar
Halmos, P. R. (1962), Algebraic logic (Chelsea, New York).Google Scholar
Malcev, A. I. (1971), The metamathematics of algebraic systems (North Holland, Amsterdam).Google Scholar
Pierce, R. S. (1968), Introduction to the theory of abstract algebras (Holt, Rinehart and Winston, New York).Google Scholar
Rasiowa, H. (1974), An algebraic approach to non-classical logics (North Holland, Amsterdam).Google Scholar