Congruences and amalgamation in small lattice varieties

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.

Grantor dc:publisher.institution

Department of Mathematics and Applied Mathematics

Year dc:date.issued

1998

Author dc:creator

• Ouwehand, Peter

Advisor dc:contributor.advisor

• Rose, Henry

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/11427/9054

OAI identifier oai:identifier

oai:open.uct.ac.za:11427/9054