Abstract
It is known that a categoryV-Rel ofadmissible relations can be formed for any variety of algebrasV, such that morphismsA→B correspond to subalgebras ofA x B. We adapt the relation category construction of Hilton and Wu to categoriesC with finite limits and colimits and an image factorization system. The existence ofC-Rel and a dualcograph constructionC-Cogr are proved equivalent to certain stability properties of pullbacks or pushouts forC. For algebraic varietiesV,V -Cogr exists iffV satisfies the amalgamation property (AP) and the congruence extension property (CEP). MorphismsA→B inV-Cogr correspond to congruences on the coproductA + B. It is showed that congruence permutability (CP), the intersection property for amalgamations (IPA), the Hamiltonian property, and the property that congruences 6 are determined by the equivalence class θ[0] can be given characterizations in terms of interlocked pullbacks and pushouts in such a categoryC. A new property IDA (intersections determine amalgamations) is defined, which is dual to CP in this context. Familiar results, such as CP implies congruence modularity, can be proved in such categories. Dually, ifV satisfies AP, CEP, IPA and IDA, it has modular lattices of subalgebras. These results are related to order duality for Su and Con. (For certain varietiesV, the subalgebras ofA are in one-one correspondence with the morphisms below 1A inV -Rel orV-Cogr, and the congruences correspond to the morphisms above 1A.) IfV is pointed (eachA in V has a smallest trivial subalgebra), then a category formulation is obtained for: CP implies the Jónsson-Tarski decomposition properties. The dual shows that pointed varieties satisfying IDA have a restricted form, with pointed unary varieties and varieties ofR-modules as special cases.
Similar content being viewed by others
References
Bergman, C. andMcKenzie, R.,On the relationship of AP, RS and CEP in congruence modular varieties. II. Proc, Amer. Math. Soc.103, (2) (1988), 335–343.
Birkhoff, G.,Lattice Theory, third ed., Amer. Math. Soc. Colloquim Publications25, Amer. Math. Soc., 1967.
Cohn, P. M.,Universal algebra, revised ed.,Mathematics and Its Applications 6, D. Reidel Publishing Co., 1981.
Csákány, B.,Abelian properties of primitive classes of universal algebras (Russian), Acta Sci. Math. (Szeged)25 (1964), 202–208.
Csákány, B.,Conditions involving universally quantified function variables, Acta Sci. Math. (Szeged)38 (1976), 7–11.
Day, A.,A characterization of modularity for congruence lattices of algebras, Canad. Math. Bull.12 (1969), 167–173.
Evans, T. andGanter, B.,Varieties with modular subalgebra lattices, Bull. Austral. Math. Soc.28 (1983), 247–254.
Fleisher, I.,A note on subdirect products, Acta Math. Acad. Sci. Hungarica6 (1955), 463–465.
Grätzer, G.,Universal Algebra, second ed., Springer Verlag, 1979.
Grätzer, G.,General Lattice Theory, Academic Press, New York, 1978.
Herrmann, C.,On varieties of algebras having complemented modular lattices of congruences, Alg. Universalis16 (1983), 129–130.
Higgs, D.,Remarks on residually small varieties, Alg. Universalis1 (1972), 383–385.
Hilton, P.,Correspondences and Exact Squares, Proc. of the Conference on Categorical Algebra, La Jolla 1965, Springer Verlag, 1966, 254–271.
Hilton, P. andWu, Y.-C.,On the addition of relations in an abelian category, Canad. J. Math.22 (1970), 66–74.
Hutchinson, G.,Representations of additive relation algebras by modules, J. Pure Appl. Algebra42 (1986), 63–83.
Isbell, J. R.,Epimorphisms and Dominions, Proc. of the Conference on Categorical Algebra, La Jolla 1965, Springer Verlag, 1966, 232–246.
Jónsson, B.,Algebras whose congruence lattices are distributive, Math. Scand.21 (1967), 110–121.
Jónsson, B. andTarski, A.,Direct Decompositions of Finite Algebraic Systems, University of Notre Dame, 1947.
Kearnes, K.,On the relationship between AP, RS and CEP, Proc. Amer. Math. Soc.105 (4) (1989), 827–839.
Kiss, E.,Injectivity and related concepts in modular varieties I–II, Bull. Austral. Math. Soc.35 (1985), 33–53.
Kiss, E. W., Márki, L., Pröhle, P. andTholen, W.,Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness and injectivity, Studia Sci. Math. Hungarica18 (1983), 79–141.
Lakser, H.,Injective completeness of varieties of unary algebras: a remark on a paper of Higgs, Alg. Universalis3 (1973), 129–130.
Leicht, J. B.,On commutative squares, Canad. J. Math.15 (1963), 59–79.
MacLane, S.,An algebra of additive relations, Proc. Nat. Acad. Sci. USA47 (1961), 1043–1051.
Manes, E. G.,Algebraic Theories, Graduate Texts in Mathematics 26, Springer Verlag, 1976.
Palfy, P. P.,Modular subalgebra lattices, Alg. Univ.27 (1990), 220–229.
Puppe, D.,Korrespondenzen in abelsche Kategorien, Math. Ann.148 (1962), 1–30.
Smith, J. D. H.,Mal'cev Varieties, Lecture Notes in Mathematics 554, Springer Verlag, 1976.
Taylor, W.,Residually small varieties, Algebra Universalis2 (1972), 33–53.
Taylor, W.,Characterizing Mal'cev conditions, Algebra Universalis3 (1973), 351–397.
Whitman, P. M.,Lattices, equivalence relations, and subgroups, Bull. Amer. Math. Soc.52 (1946), 507–522.
Wille, R.,Kongruenzklassengeometrien, Lecture Notes in Mathematics 113, Springer Verlag, 1970.
Author information
Authors and Affiliations
Additional information
Dedicated to Bjarni Jónsson on his 70th birthday ntprb
Rights and permissions
About this article
Cite this article
Hutchinson, G. Relation categories and coproduct congruence categories in universal algebra. Algebra Universalis 32, 609–647 (1994). https://doi.org/10.1007/BF01195728
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01195728