Congruences and amalgamation in small lattice varieties

Bibliography: pages 108-110. === When it became apparent that many varieties of algebras do not satisfy the Amalgamation Property, George Grätzer introduced the concept of an amalgamation class of a variety . The bulk of this dissertation is concerned with the amalgamation classes of residually smal...

Full description

Bibliographic Details
Main Author: Ouwehand, Peter
Other Authors: Rose, Henry
Format: Doctoral Thesis
Language:English
Published: University of Cape Town 2014
Subjects:
Online Access:http://hdl.handle.net/11427/9054
Description
Summary:Bibliography: pages 108-110. === When it became apparent that many varieties of algebras do not satisfy the Amalgamation Property, George Grätzer introduced the concept of an amalgamation class of a variety . The bulk of this dissertation is concerned with the amalgamation classes of residually small lattice varieties, with an emphasis on lattice varieties that are finitely generated. Our main concern is whether the amalgamation classes of such varieties are elementary classes or not. Chapters 0 and 1 provide a more detailed guide and summary of new and known results to be found in this dissertation. Chapter 2 is concerned with a cofinal sub-class of the amalgamation class of a residually small lattice variety, namely the class of absolute retracts, and completely characterizes the absolute retracts of finitely generated lattice varieties. Chapter 3 explores the strong connection between amalgamation and congruence extension properties in residually small lattice varieties. In Chapter 4, we investigate the closure of the amalgamation class under finite products. Chapter 5 is concerned with the amalgamation class of the variety generated by the pentagon. We prove that this amalgamation class is not an elementary class, but that, surprisingly, the class of all bounded members of the amalgamation class is a finitely axiomatizable Horn class. Chapters 6 and 7 introduce two techniques for proving that the amalgamation class of a residually small lattice variety is not an elementary class, and we give many examples. Finally, in Chapter 8, we look at the amalgamation classes of some residually large varieties, namely those generated by a finite dimensional simple lattice.