Regular identities in lattices

Author:
R. Padmanabhan

Journal:
Trans. Amer. Math. Soc. **158** (1971), 179-188

MSC:
Primary 06.30

DOI:
https://doi.org/10.1090/S0002-9947-1971-0281661-3

MathSciNet review:
0281661

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: An algebraic system is called a quasilattice if the two binary operations + and are semilattice operations such that the natural partial order relation determined by + enjoys the substitution property with respect to and vice versa. An identity ``'' in an algebra is called regular if the set of variables occurring in the polynomial is the same as that in . It is called -ary if the number of variables involved in it is at the most . In this paper we show that the class of all quasilattices is definable by means of ternary regular lattice identities and that these identities span the set of all regular lattice identities and that the arity of these defining equations is the best possible. From these results it is deduced that the class of all quasilattices is the smallest equational class containing both the class of all lattices and the class of all semilattices in the lattice of all equational classes of algebras of type and that the lattice of all equational classes of quasilattices is distributive.

**[1]**G. Birkhoff,*Lattice theory*, 2nd rev. ed., Amer. Math. Soc. Colloq. Publ., vol. 25, Amer. Math. Soc., Providence, R. I., 1948. MR**10**, 673. MR**0029876 (10:673a)****[2]**G. Grätzer,*Universal algebra*, The University Series in Higher Math., Van Nostrand, Princeton, N. J., 1968.**[3]**B. Jónsson,*Algebras whose congruence lattices are distributive*, Math. Scand.**21**(1967), 110-121. MR**38**#5689. MR**0237402 (38:5689)****[4]**R. Padmanabhan,*Studies in the axiomatics of groups and lattices*, Doctoral Dissertation, Madurai University, 1967.**[5]**-,*Link-laws in lattice theory*, Madurai Univ. J.**1**(1970).**[6]**J. Plonka,*On distributive quasi-lattices*, Fund. Math.**60**(1967), 191-200. MR**36**#85. MR**0216990 (36:85)****[7]**-,*On a method of construction of abstract algebras*, Fund. Math.**61**(1967), 183-189. MR**37**#1294. MR**0225701 (37:1294)****[8]**-,*Some remarks on sums of direct systems of algebras*, Fund. Math.**62**(1968), 301-308. MR**38**#2073. MR**0233752 (38:2073)**

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

Retrieve articles in all journals with MSC: 06.30

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1971-0281661-3

Keywords:
Bi-semilattices,
quasilattices,
Birkhoff systems,
regular identities,
compatibility property,
partition function,
equational class,
types of algebras,
strictly consistent,
base

Article copyright:
© Copyright 1971
American Mathematical Society