论文信息 - A Characterization of Principal Congruences of De Morgan Algebras and its Applications

A Characterization of Principal Congruences of De Morgan Algebras and its Applications

In this paper a characterization of principal congruences of De Morgan algebras is given and from it we derive that the variety of De Morgan algebras has DPC and CEP. The characterization is then applied to give a new proof of Kalman's characterization of subdirectly irreducibles in this variety and thus to obtain the representation theorem for DeMorgan algebras first proved by Kalman and independently, using topological methods, by Bialynicki-Birula and Rasiowa. From this representation it is deduced that finite De Morgan algebras are not the only ones with Boolean congruence lattices. Finally it is shown that the compact elements in the congruence lattice of a De Morgan algebra form a Boolean sublattice.

H. P. Sankappanavar

[1] J. A. Kalman,et al. Lattices with involution , 1958 .

[2] Helena Rasiowa,et al. On constructible falsity in the constructive logic with strong negation , 1958 .

[3] Stanley Burris. Separating sets in modular lattices with applications to congruence lattices , 1975 .

[4] Alan Day,et al. A note on the congruence extension property , 1971 .

[5] John T. Baldwin,et al. The number of subdirectly irreducible algebras in a variety II , 1975 .

[6] A. Day. Injectivity in Equational Classes of Algebras , 1972, Canadian Journal of Mathematics.

[7] Helena Rasiowa,et al. On the Representation of Quasi-Boolean Algebras , 1957 .

[8] Ralph McKenzie. Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties , 1978 .

[9] Harry Lakser,et al. Principal congruences of pseudocomplemented distributive lattices , 1973 .

[10] Roberto Cignoli. Injective De Morgan and Kleene algebras , 1975 .

[11] Roberto Cignoli,et al. The lattice of global sections of sheaves of chains over Boolean spaces , 1978 .