The structure of pseudocomplemented distributive lattices. II. Congruence extension and amalgamation

Authors:
G. Grätzer and H. Lakser

Journal:
Trans. Amer. Math. Soc. **156** (1971), 343-358

MSC:
Primary 06.50

MathSciNet review:
0274359

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper continues the examination of the structure of pseudocomplemented distributive lattices. First, the Congruence Extension Property is proved. This is then applied to examine properties of the equational classes , which is a complete list of all the equational classes of pseudocomplemented distributive lattices (see Part I). The standard semigroups (i.e., the semigroup generated by the operators ** H, S**, and

**) are described. The Amalgamation Property is shown to hold iff or . For does not satisfy the Amalgamation Property; the deviation is measured by a class Amal . The finite algebras in Amal are determined.**

*P***[1]**A. H. Clifford and G. B. Preston,*The algebraic theory of semigroups. Vol. II*, Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I., 1967. MR**0218472****[2]**P. M. Cohn,*Universal algebra*, Harper & Row, Publishers, New York-London, 1965. MR**0175948****[3]**S. D. Comer and J. S. Johnson,*The standard semigroup of operators of a variety*(manuscript).**[4]**Alan Day,*Injectives in non-distributive equational classes of lattices are trivial*, Arch. Math. (Basel)**21**(1970), 113–115. MR**0274357****[5]**George Grätzer,*Universal algebra*, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1968. MR**0248066****[6]**Bjarni Jónsson,*Extensions of relational structures*, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 146–157. MR**0202601****[7]**Bjarni Jónsson,*Sublattices of a free lattice*, Canad. J. Math.**13**(1961), 256–264. MR**0123493****[8]**H. Lakser,*The structure of pseudocomplemented distributive lattices. I. Subdirect decomposition*, Trans. Amer. Math. Soc.**156**(1971), 335–342. MR**0274358**, 10.1090/S0002-9947-1971-0274358-7**[9]**K. B. Lee,*Equational classes of distributive pseudo-complemented lattices*, Canad. J. Math.**22**(1970), 881–891. MR**0265240****[10]**D. Pigozzi,*On some operations on classes of algebras*, Notices Amer. Math. Soc.**13**(1966), 829. Abstract #639-1.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
06.50

Retrieve articles in all journals with MSC: 06.50

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9947-1971-0274359-9

Keywords:
Distributive lattice,
pseudocomplemented,
congruence,
amalgamation,
free product,
standard semigroup,
amalgamation class

Article copyright:
© Copyright 1971
American Mathematical Society