Skip to main content

Getting Larders from Congruence Lattices of First-Order Structures

  • 744 Accesses

Part of the Lecture Notes in Mathematics book series (LNM,volume 2029)

Abstract

One of the main origins of our work is the first author’s paper Gillibert (Int. J. Algebra Comput. 19(1):1–40, 2009), where it is proved, in particular, that the critical point crit(A;B) between a locally finite variety A and a finitely generated congruence-distributive variety B such that \( {\rm Con_c}A \nsubseteq {\rm Con_c}B \) is always less than \(\mathfrak{N}_w \). One of the goals of the present chapter is to show how routine categorical verifications about algebraic systems make it possible, using CLL, to extend this result to relative compact congruence semilattices of quasivarieties of algebraic systems (i.e., the languages now have relations as well as operations, and we are dealing with quasivarieties rather than varieties). That particular extension is stated and proved in Theorem 4.9.4. We also obtain a version of Grätzer–Schmidt’s Theorem for poset-indexed diagrams of (V, 0)-semilattices and (V, 0)-homomorphisms in Theorem 4.7.2.With further potential applications in view, most of Chap. 4 is designed to build up a framework for being able to easily verify larderhood of many structures arising from (generalized) quasivarieties of algebraic systems. Although we included in this chapter, for convenience sake, a number of already known or folklore results, it also contains results which, although they could be in principle obtained from already published results, could not be so in a straightforward fashion. Such results are Proposition 4.2.3 (description of some weakly k-presented structures in MInd) or Theorem4.4.1 (preservation of all small directed colimits by the relative compact congruence semilattice functor within a given generalized quasivariety). The structures studied in Chap. 4 will be called monotone-indexed struc- tures. They form a category, that we shall denote by MInd. The objects of MInd are just the first-order structures. For first-order structures A and B, a morphism from A to B in MInd can exist only if the language of A is contained in the language of B, and then it is defined as a homomorphism (in the usual sense) from A to the reduct of B to the language of A.

Keywords

  • Unary Algebra
  • Canonical Projection
  • Congruence Lattice
  • Relation Symbol
  • Compact Element

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Pierre Gillibert .

Rights and permissions

Reprints and Permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gillibert, P., Wehrung, F. (2011). Getting Larders from Congruence Lattices of First-Order Structures. In: From Objects to Diagrams for Ranges of Functors. Lecture Notes in Mathematics(), vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21774-6_4

Download citation