On Axioms for Semi-Lattices
Canadian mathematical bulletin, Tome 9 (1966) no. 3, pp. 357-358

Voir la notice de l'article provenant de la source Cambridge

DOI

By a semi-lattice we mean a system <L,.> where L is a set and. is a binary operation in L that is idempotent, commutative and associative. In a recent article [2] D.H. Potts considers the problem of reducing the number of axioms for a semi-lattice. His result was that the following two axioms viz. (1) xx=x, (2) (uv)((wx)(yz)) = ((uv)(xw))(zy) are sufficient to give a semi-lattice. But the second identity contains six elements instead of the original three. In the following we give a set of two simple identities with just three elements for a semi-lattice. This improves the above mentioned result.
Padmanabhan, R. On Axioms for Semi-Lattices. Canadian mathematical bulletin, Tome 9 (1966) no. 3, pp. 357-358. doi: 10.4153/CMB-1966-046-9
@article{10_4153_CMB_1966_046_9,
     author = {Padmanabhan, R.},
     title = {On {Axioms} for {Semi-Lattices}},
     journal = {Canadian mathematical bulletin},
     pages = {357--358},
     year = {1966},
     volume = {9},
     number = {3},
     doi = {10.4153/CMB-1966-046-9},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1966-046-9/}
}
TY  - JOUR
AU  - Padmanabhan, R.
TI  - On Axioms for Semi-Lattices
JO  - Canadian mathematical bulletin
PY  - 1966
SP  - 357
EP  - 358
VL  - 9
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1966-046-9/
DO  - 10.4153/CMB-1966-046-9
ID  - 10_4153_CMB_1966_046_9
ER  - 
%0 Journal Article
%A Padmanabhan, R.
%T On Axioms for Semi-Lattices
%J Canadian mathematical bulletin
%D 1966
%P 357-358
%V 9
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1966-046-9/
%R 10.4153/CMB-1966-046-9
%F 10_4153_CMB_1966_046_9

Cité par Sources :