Geodesic
A Self-Dual Equational Basis for Boolean Algebras
Canadian mathematical bulletin, Tome 26 (1983) no. 1, pp. 9-12

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

DOI

The principle of duality for Boolean algebra states that if an identity ƒ = g is valid in every Boolean algebra and if we transform ƒ = g into a new identity by interchanging (i) the two lattice operations and (ii) the two lattice bound elements 0 and 1, then the resulting identity ƒ = g is also valid in every Boolean algebra. Also, the equational theory of Boolean algebras is finitely based. Believing in the cosmic order of mathematics, it is only natural to ask whether the equational theory of Boolean algebras can be generated by a finite irredundant set of identities which is already closed for the duality mapping. Here we provide one such equational basis.
DOI : 10.4153/CMB-1983-002-5
Mots-clés : 03G05, 06E99, Boolean algebras, duality principle, minimal self-dual equational basis, types of algebras 
Padmanabhan, R. A Self-Dual Equational Basis for Boolean Algebras. Canadian mathematical bulletin, Tome 26 (1983) no. 1, pp. 9-12. doi: 10.4153/CMB-1983-002-5
@article{10_4153_CMB_1983_002_5,
     author = {Padmanabhan, R.},
     title = {A {Self-Dual} {Equational} {Basis} for {Boolean} {Algebras}},
     journal = {Canadian mathematical bulletin},
     pages = {9--12},
     year = {1983},
     volume = {26},
     number = {1},
     doi = {10.4153/CMB-1983-002-5},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1983-002-5/}
}
TY  - JOUR
AU  - Padmanabhan, R.
TI  - A Self-Dual Equational Basis for Boolean Algebras
JO  - Canadian mathematical bulletin
PY  - 1983
SP  - 9
EP  - 12
VL  - 26
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1983-002-5/
DO  - 10.4153/CMB-1983-002-5
ID  - 10_4153_CMB_1983_002_5
ER  - 
%0 Journal Article
%A Padmanabhan, R.
%T A Self-Dual Equational Basis for Boolean Algebras
%J Canadian mathematical bulletin
%D 1983
%P 9-12
%V 26
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1983-002-5/
%R 10.4153/CMB-1983-002-5
%F 10_4153_CMB_1983_002_5

Cité par Sources :