16,802 research outputs found
Transferring Davey`s Theorem on Annihilators in Bounded Distributive Lattices to Modular Congruence Lattices and Rings
Congruence lattices of semiprime algebras from semi--degenerate
congruence--modular varieties fulfill the equivalences from B. A. Davey`s
well--known characterization theorem for --Stone bounded distributive
lattices, moreover, changing the cardinalities in those equivalent conditions
does not change their validity. I prove this by transferring Davey`s Theorem
from bounded distributive lattices to such congruence lattices through a
certain lattice morphism and using the fact that the codomain of that morphism
is a frame. Furthermore, these equivalent conditions are preserved by finite
direct products of such algebras, and similar equivalences are fulfilled by the
elements of semiprime commutative unitary rings and, dualized, by the elements
of complete residuated lattices.Comment: 18 page
Admissibility via Natural Dualities
It is shown that admissible clauses and quasi-identities of quasivarieties
generated by a single finite algebra, or equivalently, the quasiequational and
universal theories of their free algebras on countably infinitely many
generators, may be characterized using natural dualities. In particular,
axiomatizations are obtained for the admissible clauses and quasi-identities of
bounded distributive lattices, Stone algebras, Kleene algebras and lattices,
and De Morgan algebras and lattices.Comment: 22 pages; 3 figure
On the isomorphism problem of concept algebras
Weakly dicomplemented lattices are bounded lattices equipped with two unary
operations to encode a negation on {\it concepts}. They have been introduced to
capture the equational theory of concept algebras \cite{Wi00}. They generalize
Boolean algebras. Concept algebras are concept lattices, thus complete
lattices, with a weak negation and a weak opposition. A special case of the
representation problem for weakly dicomplemented lattices, posed in
\cite{Kw04}, is whether complete {\wdl}s are isomorphic to concept algebras. In
this contribution we give a negative answer to this question (Theorem
\ref{T:main}). We also provide a new proof of a well known result due to M.H.
Stone \cite{St36}, saying that {\em each Boolean algebra is a field of sets}
(Corollary \ref{C:Stone}). Before these, we prove that the boundedness
condition on the initial definition of {\wdl}s (Definition \ref{D:wdl}) is
superfluous (Theorem \ref{T:wcl}, see also \cite{Kw09}).Comment: 15 page
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
We study representations of MV-algebras -- equivalently, unital
lattice-ordered abelian groups -- through the lens of Stone-Priestley duality,
using canonical extensions as an essential tool. Specifically, the theory of
canonical extensions implies that the (Stone-Priestley) dual spaces of
MV-algebras carry the structure of topological partial commutative ordered
semigroups. We use this structure to obtain two different decompositions of
such spaces, one indexed over the prime MV-spectrum, the other over the maximal
MV-spectrum. These decompositions yield sheaf representations of MV-algebras,
using a new and purely duality-theoretic result that relates certain sheaf
representations of distributive lattices to decompositions of their dual
spaces. Importantly, the proofs of the MV-algebraic representation theorems
that we obtain in this way are distinguished from the existing work on this
topic by the following features: (1) we use only basic algebraic facts about
MV-algebras; (2) we show that the two aforementioned sheaf representations are
special cases of a common result, with potential for generalizations; and (3)
we show that these results are strongly related to the structure of the
Stone-Priestley duals of MV-algebras. In addition, using our analysis of these
decompositions, we prove that MV-algebras with isomorphic underlying lattices
have homeomorphic maximal MV-spectra. This result is an MV-algebraic
generalization of a classical theorem by Kaplansky stating that two compact
Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous
[0, 1]-valued functions on the spaces are isomorphic.Comment: 36 pages, 1 tabl
- …