Geodesic
Pure Compactifications in Quasi-Primal Varieties
Canadian journal of mathematics, Tome 28 (1976) no. 1, pp. 50-62

Voir la notice de l'article provenant de la source Cambridge University Press

We prove that is quasi-primal, then every algebra in HSPhas a pure embedding into a product of finite algebras. For a general theory of varieties for which every can be purely embedded in an equationally compact algebra , and for all notions not explained here, the reader is referred to [38; 6; or 5]. This theorem was known for Boolean algebras simply as a corollary of the Stone representation theorem and the fact that in the variety of Boolean algebras, all embeddings are pure [2]. 
Taylor, Walter. Pure Compactifications in Quasi-Primal Varieties. Canadian journal of mathematics, Tome 28 (1976) no. 1, pp. 50-62. doi: 10.4153/CJM-1976-006-0
@article{10_4153_CJM_1976_006_0,
     author = {Taylor, Walter},
     title = {Pure {Compactifications} in {Quasi-Primal} {Varieties}},
     journal = {Canadian journal of mathematics},
     pages = {50--62},
     year = {1976},
     volume = {28},
     number = {1},
     doi = {10.4153/CJM-1976-006-0},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-006-0/}
}
TY  - JOUR
AU  - Taylor, Walter
TI  - Pure Compactifications in Quasi-Primal Varieties
JO  - Canadian journal of mathematics
PY  - 1976
SP  - 50
EP  - 62
VL  - 28
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-006-0/
DO  - 10.4153/CJM-1976-006-0
ID  - 10_4153_CJM_1976_006_0
ER  - 
%0 Journal Article
%A Taylor, Walter
%T Pure Compactifications in Quasi-Primal Varieties
%J Canadian journal of mathematics
%D 1976
%P 50-62
%V 28
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1976-006-0/
%R 10.4153/CJM-1976-006-0
%F 10_4153_CJM_1976_006_0

[1] 1. Ash, C. J., On countable n-valued Post algebras, Algebra Universalis 2 (1972), 339–345. Google Scholar

[2] 2. Bacsich, P. D., Injectivity in model theory, Colloq. Math. 25 (1972), 165–176. Google Scholar

[3] 3. Banaschewski, B., Injectivity and essential extensions in equational classes of algebras, Queen's papers 25 (1970), 131–147. Google Scholar

[4] 4. Banaschewski, B., Equational compactness of G-sets, Can. Math. Bull. 17 (1974), 11–18. Google Scholar

[5] 5. Banaschewski, B., Equational compactness in universal algebra, manuscript, Prague and Hamilton, 1973. Google Scholar

[6] 6. Banaschewski, B. and Nelson, E., Equational compactness in equational classes of algebras, Algebra Universalis 2 (1972), 152–165. Google Scholar

[7] 7. Beazer, R., Post-like algebras and infective Stone algebras, Algebra Universalis 5 (1975), 16–23. Google Scholar

[8] 8. Beazer, R., Compactness in abstractions of Post algebras, Notre Dame J. Formal Logic 16 (1975), 389–396. Google Scholar

[9] 9. Bernardi, C., Su alcuni condizioni necessarie per Vindipendenza di due varietà di algèbre, Boll. Un. Mat. Ital. 6 (1972), 410–421. Google Scholar

[10] 10. Birkhoff, G., Subdirect unions in universal algebra, Bull. Amer. Math. Soc. 50 (1944), 764–768. Google Scholar

[11] 11. Burris, S., Subdirect representations in axiomatic classes, ms., Waterl∞, Ontario, 1973. Google Scholar

[12] 12. Day, A., Injectivity in equational classes of algebras, Can. J. Math. 24 (1972), 209–220. Google Scholar

[13] 13. Draskovicovâ, H., Independence of equational classes, Mat. Casopis, Sloven. Akad. Vied 23 (1973), 125–135. Google Scholar

[14] 14. Gerhard, J. A., The lattice of equational classes of idempotent semigroups, J. Algebra 15 (1970), 195–224. Google Scholar

[15] 15. Gerhard, J. A., Subdirectly irreducible idempotent semigroups, Pacific J. Math. 39 (1971), 669–676. Google Scholar

[16] 16. Grâtzer, G., Lattice theory (H. M. Freeman, San Francisco, 1971). Google Scholar

[17] 17. Grâtzer, G., Lakser, H. and Pionka, J., Joins and direct products of equational classes, Can. Math. Bull. 12 (1969), 741–744. Google Scholar

[18] 18. Hu, T.-K., Characterization of algebraic functions in equational classes generated by independent primal algebras, Algebra Universalis 1 (1971), 187–191. Google Scholar

[19] 19. Hu, T.-K. and Kelenson, P., Independence and direct factorization of universal algebras, Math. Nachr. 51 (1971), 83–99. Google Scholar

[20] 20. Jones, J. T., Pseudocomplemented semilattices, Ph.D. thesis, U.C.L.A., 1972. Google Scholar

[21] 21. Jônsson, B., Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121. Google Scholar

[22] 22. Kalman, J. A., Equational completeness and families of sets closed under subtraction, Indag. Math. 22 (1960), 402–405. Google Scholar

[23] 23. Katrinâk, T., The structure of distributive double p-algebras, Algebra Universalis 3 (1973), 238–246. Google Scholar

[24] 24. Lakser, H., Infective completeness of varieties of unary algebras: a remark on a paper of Higgs, Algebra Universalis 3 (1973), 129–130. Google Scholar

[25] 25. Lausch, H., and W., Nöbauer, Algebra of polynomials (North-Holland, Amsterdam, 1973). Google Scholar

[26] 26. Los, J., Abelian groups that are direct summands of any Abelian group which contains them as pure subgroups, Fund. Math. 44 (1957), 84–90. Google Scholar

[27] 27. Lyndon, R. C., Identities in two-valued calculi, Trans. Amer. Math. Soc. 71 (1951), 457–465. Google Scholar

[28] 28. Mitschke, A., Implication algebras are 3-permutable and 3-distributive, Algebra Universalis 1 (1971), 182–186. Google Scholar

[29] 29. Monk, D., On equational classes of algebraic versions of logic I, Math. Scand. 27 (1970), 53–71. Google Scholar

[30] 30. Mycielski, J., Some compactifications of general algebras, Colloq. Math. 13 (1964), 1–9. Google Scholar

[31] 31. Nelson, E., Semilattices do not have equationally compact hulls, ms., Hamilton, Ontario, 1974. Google Scholar

[32] 32. Pixley, A. F., Functionally complete algebras generating distributive and permutable classes, Math. Z. 114 (1970), 361–372. Google Scholar

[33] 33. Pixley, A. F., The ternary discriminator function in universal algebra, Math. Ann. 191 (1971), 167–180. Google Scholar

[34] 34. Post, E. L., Introduction to the general theory of elementary propositions, Amer. J. Math. 43 (1921), 163–185. Google Scholar

[35] 35. Quackenbush, R. W., Demi-semi-primal algebras and MaVcev-type conditions, Math. Z. 122 (1971), 166–176. Google Scholar

[36] 36. Quackenbush, R. W., Structure theory for equational classes generated by quasi-primal algebras, Trans. Amer. Math. Soc. 187 (1974), 127–145. Google Scholar

[37] 37. Sankappanavar, H. P., A study of congruence lattices of pseudo-complemented semilattices, Ph.D. thesis, Waterl∞, 1974. Google Scholar

[38] 38. Taylor, W., Residually small varieties, Algebra Universalis 2 (1972), 33–53. Google Scholar

[39] 39. Taylor, W., Products of absolute retracts, Algebra Universalis 3 (1973), 400–401. Google Scholar

[40] 40. Taylor, W., Pure-irreducible mono-unary algebras, Algebra Universalis 4 (1974), 235–243. Google Scholar

[41] 41. Taylor, W., The fine spectrum of a variety, to appear, Algebra Universalis. Google Scholar

[42] 42. Traczyk, T., An equational definition of a class of Post algebras, Bull. Pol. Acad. Sci. 12 (1964), 147–149. Google Scholar

[43] 43. Varlet, J., A regular variety of type (2, 2, 1, 1, 0, 0 ), Algebra Universalis 2 (1972), 218–223. Google Scholar

[44] 44. Banaschewski, B. and Nelson, E., B∞lean powers as algebras of continuous functions, Mimeographed, Hamilton, 1975. Google Scholar

[45] 45. Bulman-Fleming, S. and Werner, H., Equational compactness in quasi-primal varieties, Abstract 75T-A139, Notices Amer. Math. Soc. 22 (1975), A-448. Google Scholar

[46] 46. Hule, H. and Miiller, W. B., On the compatibility of algebraic equations with extensions, to appear. Google Scholar

[47] 47. Keimel, K. and Werner, H., Stone duality for varieties generated by quasi-primal algebras, Memoirs Amer. Math. Soc. 1-8 (1974), 59–85. Google Scholar

[48] 48. Macdonald, S. O. and Street, A. P., On laws in linear groups, Quart. J. Math. Oxford (2) 23 (1972), 1–12. Google Scholar

[49] 49. Neumann, H., Varieties of groups, Ergebnisse der Math., vol. 37 (Springer-Verlag, Berlin, 1967). Google Scholar

[50] 50. Ol'shanski, A. Ju., Varieties of finitely approximable groups, (Russian) Izv. Akad. Nauk S.S.S.R. Ser. Mat. 33 (1969), 915–927. Google Scholar

Cité par Sources :