On the structure of equationally complete varieties. II

Pigozzi, Don

doi:10.1090/S0002-9947-1981-0603765-1

On the structure of equationally complete varieties. II
HTML articles powered by AMS MathViewer

by Don Pigozzi PDF

Trans. Amer. Math. Soc. 264 (1981), 301-319 Request permission

Abstract:

Each member $\mathcal {V}$ of a large family of nonassociative or, when applicable, nondistributive varieties has the following universal property: Every variety $\mathcal {K}$ that satisfies certain very weak versions of the amalgamation and joint embedding properties is isomorphic, as a category, to a coreflective subcategory of some equationally complete subvariety of $\mathcal {V}$. Moreover, the functor which serves to establish the isomorphism preserves injections. As a corollary one obtains the existence of equationally complete subvarieties of $\mathcal {V}$ that fail to have the amalgamation property and fail to be residually small. The family of varieties universal in the above sense includes commutative groupoids, bisemigroups (i.e., algebras with two independent associative operations), and quasi-groups.

References

P. D. Bacsich, Amalgamation properties and interpolation theorems for equational theories, Algebra Universalis 5 (1975), 45–55. MR 381984, DOI 10.1007/BF02485230
B. Banaschewski, Injectivity and essential extensions in equational classes of algebras. , Proc. Conf. on Universal Algebra (Queen’s Univ., Kingston, Ont., 1969) Queen’s Univ., Kingston, Ont., 1970, pp. 131–147. MR 0258708
George M. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), no. 2, 178–218. MR 506890, DOI 10.1016/0001-8708(78)90010-5
David M. Clark and Peter H. Krauss, Para primal algebras, Algebra Universalis 6 (1976), no. 2, 165–192. MR 422113, DOI 10.1007/BF02485828

Problem

19

Zdeněk Hedrlín and Joachim Lambek, How comprehensive is the category of semigroups?, J. Algebra 11 (1969), 195–212. MR 237611, DOI 10.1016/0021-8693(69)90054-4
Z. Hedrlín and A. Pultr, On full embeddings of categories of algebras, Illinois J. Math. 10 (1966), 392–406. MR 191858

Extensions of relational systems

Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798

The structural characterization of certain classes of algebras

120

The metamathematics of algebra systems

A. I. Mal′cev, Algebraic systems, Die Grundlehren der mathematischen Wissenschaften, Band 192, Springer-Verlag, New York-Heidelberg, 1973. Posthumous edition, edited by D. Smirnov and M. Taĭclin; Translated from the Russian by B. D. Seckler and A. P. Doohovskoy. MR 0349384
George F. McNulty, The decision problem for equational bases of algebras, Ann. Math. Logic 10 (1976), no. 3-4, 193–259. MR 432440, DOI 10.1016/0003-4843(76)90009-7
Don Pigozzi, The universality of the variety of quasigroups, J. Austral. Math. Soc. Ser. A 21 (1976), no. 2, 194–219. MR 392769, DOI 10.1017/s1446788700017791
Don Pigozzi, Universal equational theories and varieties of algebras, Ann. Math. Logic 17 (1979), no. 1-2, 117–150. MR 552418, DOI 10.1016/0003-4843(79)90023-8
Don Pigozzi, On the structure of equationally complete varieties. I, Colloq. Math. 45 (1981), no. 2, 191–201. MR 665782, DOI 10.4064/cm-45-2-191-201
J. Sichler, Testing categories and strong universality, Canadian J. Math. 25 (1973), 370–385. MR 318258, DOI 10.4153/CJM-1973-038-3
Walter Taylor, Residually small varieties, Algebra Universalis 2 (1972), 33–53. MR 314726, DOI 10.1007/BF02945005