Archimedean atomic lattice effect algebras with complete lattice of sharp elements
We study Archimedean atomic lattice effect algebras whose set of sharp elements is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice ef fect algebras. Moreover, we prove that if such effect algebra E is separable and modular then there exists...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут математики НАН України
2010
|
| Schriftenreihe: | Symmetry, Integrability and Geometry: Methods and Applications |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/146083 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Archimedean atomic lattice effect algebras with complete lattice of sharp elements / Z. Riecanova // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — Бібліогр.: 28 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-146083 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1460832019-02-08T01:24:21Z Archimedean atomic lattice effect algebras with complete lattice of sharp elements Riecanova, Z. We study Archimedean atomic lattice effect algebras whose set of sharp elements is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice ef fect algebras. Moreover, we prove that if such effect algebra E is separable and modular then there exists a faithful state on E. Further, if an atomic lattice effect algebra is densely embeddable into a complete lattice effect algebra Eb and the compatibility center of E is not a Boolean algebra then there exists an (o)-continuous subadditive state on E. 2010 Article Archimedean atomic lattice effect algebras with complete lattice of sharp elements / Z. Riecanova // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — Бібліогр.: 28 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 06C15; 03G12; 81P10 http://dspace.nbuv.gov.ua/handle/123456789/146083 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
We study Archimedean atomic lattice effect algebras whose set of sharp elements
is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice ef fect algebras. Moreover, we prove that if such effect algebra E is separable and modular then there exists a faithful state on E. Further, if an atomic lattice effect algebra is densely embeddable into a complete lattice effect algebra Eb and the compatibility center of E is not a Boolean algebra then there exists an (o)-continuous subadditive state on E. |
| format |
Article |
| author |
Riecanova, Z. |
| spellingShingle |
Riecanova, Z. Archimedean atomic lattice effect algebras with complete lattice of sharp elements Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Riecanova, Z. |
| author_sort |
Riecanova, Z. |
| title |
Archimedean atomic lattice effect algebras with complete lattice of sharp elements |
| title_short |
Archimedean atomic lattice effect algebras with complete lattice of sharp elements |
| title_full |
Archimedean atomic lattice effect algebras with complete lattice of sharp elements |
| title_fullStr |
Archimedean atomic lattice effect algebras with complete lattice of sharp elements |
| title_full_unstemmed |
Archimedean atomic lattice effect algebras with complete lattice of sharp elements |
| title_sort |
archimedean atomic lattice effect algebras with complete lattice of sharp elements |
| publisher |
Інститут математики НАН України |
| publishDate |
2010 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/146083 |
| citation_txt |
Archimedean atomic lattice effect algebras with complete lattice of sharp elements / Z. Riecanova // Symmetry, Integrability and Geometry: Methods and Applications. — 2010. — Т. 6. — Бібліогр.: 28 назв. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT riecanovaz archimedeanatomiclatticeeffectalgebraswithcompletelatticeofsharpelements |
| first_indexed |
2025-07-10T23:07:18Z |
| last_indexed |
2025-07-10T23:07:18Z |
| _version_ |
1837303180940017664 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 6 (2010), 001, 8 pages
Archimedean Atomic Lattice Effect Algebras
with Complete Lattice of Sharp Elements?
Zdenka RIEČANOVÁ
Department of Mathematics, Faculty of Electrical Engineering and Information Technology,
Slovak University of Technology, Ilkovičova 3, SK-812 19 Bratislava, Slovak Republic
E-mail: zdenka.riecanova@stuba.sk
Received September 29, 2009, in final form January 04, 2010; Published online January 06, 2010
doi:10.3842/SIGMA.2010.001
Abstract. We study Archimedean atomic lattice effect algebras whose set of sharp elements
is a complete lattice. We show properties of centers, compatibility centers and central atoms
of such lattice effect algebras. Moreover, we prove that if such effect algebra E is separable
and modular then there exists a faithful state on E. Further, if an atomic lattice effect
algebra is densely embeddable into a complete lattice effect algebra Ê and the compatiblity
center of E is not a Boolean algebra then there exists an (o)-continuous subadditive state
on E.
Key words: effect algebra; state; sharp element; center; compatibility center
2010 Mathematics Subject Classification: 06C15; 03G12; 81P10
1 Introduction, basic definitions and some known facts
The classical (Kolmogorovian) probability theory is assuming that every two events are simultan-
iously measurable (as every two elements of a Boolean algebra are mutually compatible). Thus
this theory cannot explain events occuring, e.g., in quantum physics, as well as in economy and
many other areas.
Effect algebras generalize orthomodular lattices (including noncompatible pairs of elements)
and MV -algebras (including unsharp elements, meaning that x and non x are not disjoint).
Thus effect algebras may be carriers of probability measures when elements of these structures
represent properties, questions or events with fuzziness, uncertainty or unsharpness, and which
may be mutually non-compatible. For equivalent (in some sense) structures called D-posets
introduced by F. Kôpka and F. Chovanec we refer the reader to [3] and citations given there.
Effect algebras were introduced by D.J. Foulis and M.K. Bennet (see [4]) for modelling
unsharp measurements in a Hilbert space. In this case the set E(H) of effects is the set of
all self-adjoint operators A on a Hilbert space H between the null operator 0 and the identity
operator 1 and endowed with the partial operation + defined iff A + B is in E(H), where + is
the usual operator sum. The effect algebra E(H) is called a standard effect algebra of operators
on Hilbert space (or, a standard Hilbert space effect algebra, for short).
In approach to the mathematical foundations of physics the fundamental notions are states,
observables and symmetries. D.J. Foulis [5] showed how effect algebras arise in physics and how
they can be used to tie together the observables, states and symmetries employed in the study
of physical systems. Moreover, that due to work of G. Ludwig [14] and subsequent book [2] by
P. Bush, P.J. Lahti and P. Mittelstaedt a fourth fundamental notion, called effect, should be
appended to this list.
?This paper is a contribution to the Proceedings of the 5-th Microconference “Analytic and Algebraic Me-
thods V”. The full collection is available at http://www.emis.de/journals/SIGMA/Prague2009.html
mailto:zdenka.riecanova@stuba.sk
http://dx.doi.org/10.3842/SIGMA.2010.001
http://www.emis.de/journals/SIGMA/Prague2009.html
2 Z. Riečanová
In spite of the fact that effect algebras are very natural algebraic structures to be carriers
of states and probability measures, in above mentioned non-classical cases of sets of events,
there are effect algebras admitting no states and hence also no probability measures (see [22]).
Questions about the existence of states on effect algebras are at present time only partially
solved. They are known only some families of effect algebras with states.
We study Archimedean atomic lattice effect algebras with a complete lattice of sharp elements
as well as such which are densely embedable into complete atomic lattice effect algebras. For
these effect algebras we give conditions under which states on them exist.
Definition 1 ([4]). A partial algebra (E;⊕, 0, 1) is called an effect algebra if 0, 1 are two
distinct elements and ⊕ is a partially defined binary operation on E which satisfy the following
conditions for any x, y, z ∈ E:
(Ei) x⊕ y = y ⊕ x if x⊕ y is defined,
(Eii) (x⊕ y)⊕ z = x⊕ (y ⊕ z) if one side is defined,
(Eiii) for every x ∈ E there exists a unique y ∈ E such that x⊕ y = 1 (we put x′ = y),
(Eiv) if 1⊕ x is defined then x = 0.
We often denote the effect algebra (E;⊕, 0, 1) briefly by E. On every effect algebra E the
partial order ≤ and a partial binary operation can be introduced as follows:
x ≤ y and y x = z iff x⊕ z is defined and x⊕ z = y.
If E with the defined partial order is a lattice (a complete lattice) then (E;⊕, 0, 1) is called
a lattice effect algebra (a complete lattice effect algebra).
Definition 2. Let E be an effect algebra. Then Q ⊆ E is called a sub-effect algebra of E if
(i) 1 ∈ Q,
(ii) if out of elements x, y, z ∈ E with x⊕ y = z two are in Q, then x, y, z ∈ Q.
If E is a lattice effect algebra and Q is a sub-lattice and a sub-effect algebra of E then Q is
called a sub-lattice effect algebra of E.
Note that a sub-effect algebra Q (sub-lattice effect algebra Q) of an effect algebra E (of
a lattice effect algebra E) with inherited operation ⊕ is an effect algebra (lattice effect algebra)
in its own right.
For an element x of an effect algebra E we write ord(x) = ∞ if nx = x⊕x⊕· · ·⊕x (n-times)
exists for every positive integer n and we write ord(x) = nx if nx is the greatest positive integer
such that nxx exists in E. An effect algebra E is Archimedean if ord(x) < ∞ for all x ∈ E.
A minimal nonzero element of an effect algebra E is called an atom and E is called atomic
if under every nonzero element of E there is an atom.
For a poset P and its subposet Q ⊆ P we denote, for all X ⊆ Q, by
∨
Q X the join of the
subset X in the poset Q whenever it exists.
We say that a finite system F = (xk)n
k=1 of not necessarily different elements of an effect
algebra (E;⊕, 0, 1) is orthogonal if x1 ⊕ x2 ⊕ · · · ⊕ xn (written
n⊕
k=1
xk or
⊕
F ) exists in E. Here
we define x1 ⊕ x2 ⊕ · · · ⊕ xn = (x1 ⊕ x2 ⊕ · · · ⊕ xn−1)⊕ xn supposing that
n−1⊕
k=1
xk is defined and
n−1⊕
k=1
xk ≤ x′n. We also define
⊕
∅ = 0. An arbitrary system G = (xκ)κ∈H of not necessarily
different elements of E is called orthogonal if
⊕
K exists for every finite K ⊆ G. We say that
for an orthogonal system G = (xκ)κ∈H the element
⊕
G exists iff
∨
{
⊕
K | K ⊆ G is finite}
exists in E and then we put
⊕
G =
∨
{
⊕
K | K ⊆ G is finite}. (Here we write G1 ⊆ G iff
there is H1 ⊆ H such that G1 = (xκ)κ∈H1).
Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements 3
2 The center of Archimedean atomic lattice effect algebra
with complete lattice of sharp elements
The notions of a sharp element and a sharply dominating effect algebra are due to S. Gud-
der [8, 9]. An element w of an effect algebra E is called sharp if w ∧ w′ = 0, and E is called
sharply dominating if for every x ∈ E there exists a smallest sharp element w with the property
x ≤ w.
The well known fact is that in every lattice effect algebra E the subset S(E) = {w ∈ E |
w ∧ w′ = 0} is a sub-lattice effect algebra of E being an orthomodular lattice. Moreover if for
D ⊆ S(E) the element
∨
E D exists then
∨
E D ∈ S(E) hence
∨
S(E) D =
∨
E D. We say that
S(E) is a full sublattice of E (see [11]).
Recall that elements x, y of a lattice effect algebra (E;⊕, 0, 1) are called compatible (written
x ↔ y) iff x ∨ y = x ⊕ (y (x ∧ y)) (see [13]). P ⊆ E is a set of pairwise compatible elements
if x ↔ y for all x, y ∈ P . M ⊆ E is called a block of E iff M is a maximal subset of pairwise
compatible elements. Every block of a lattice effect algebra E is a sub-effect algebra and a sub-
lattice of E and E is a union of its blocks (see [20]). Lattice effect algebra with a unique block
is called an MV -effect algebra. Every block of a lattice effect algebra is an MV -effect algebra
in its own right.
An element z of an effect algebra E is called central if x = (x ∧ z) ∨ (x ∧ z′) for all x ∈ E.
The center C(E) of E is the set of all central elements of E, see [7]. If E is a lattice effect
algebra then z ∈ E is central iff z ∧ z′ = 0 and z ↔ x for all x ∈ E, see [17]. Thus in a lattice
effect algebra E, C(E) = B(E)∩S(E), where B(E) =
⋂
{M ⊆ E | M is a block of E} is called
a compatibility center of E. Evidently, B(E) = {x ∈ E | x ↔ y for all y ∈ E} and B(E) is
an MV -effect algebra. Hence C(E) is a Boolean algebra, see [7]. Moreover, B(E), C(E) and
every block M are also full sub-lattices of a lattice effect algebra E. Further, B(E) and C(E)
are sub-effect algebras of E, see [7, 11, 21].
We are going to show that if the set S(E) of an Archimedean atomic lattice effect algebra
is a complete lattice then E is isomorphic to a subdirect product of irreducible lattice effect
algebras.
Definition 3. A direct product
∏
{Eκ | κ ∈ H} of effect algebras Eκ is a cartesian product
with ⊕, 0, 1 defined “coordinatewise”, i.e., (aκ)κ∈H ⊕ (bκ)κ∈H exists iff aκ ⊕κ bκ is defined for
each κ ∈ H and then (aκ)κ∈H ⊕ (bκ)κ∈H =
(
aκ⊕κ bκ
)
κ∈H
. Moreover, 0 = (0κ)κ∈H , 1 = (1κ)κ∈H .
A subdirect product of a family {Eκ | κ ∈ H} of lattice effect algebras is a sublattice-effect
algebra Q (i.e., Q is simultaneously a sub-effect algebra and a sublattice) of the direct product∏
{Eκ | κ ∈ H} such that each restriction of the natural projection prκi
to Q is onto Eκi .
For every central element z of a lattice effect algebra E, the interval [0, z] with the ⊕ operation
inherited from E and the new unity z is a lattice effect algebra in its own right. We are going to
prove a statement about decompositions of E into subdirect products of such intervals [0, z] with
C([0, z]) = {0, z} in the case when E is an Archimedean atomic lattice effect algebra with S(E)
being a complete orthomodular lattice.
It was proved in [16, Lemma 2.7] that in every Archimedean atomic lattice effect algebra E
the subset S(E) is a bifull sub-lattice of E, meaning that for any D ⊆ S(E) the element
∨
S(E) D
exists iff the element
∨
E D exists and they are equal. However, as M. Kalina proved, the
center C(E) of an Archimedean atomic lattice effect algebra E need not be a bifull sub-lattice
of E. Namely, if C(E) is an atomic Boolean algebra, then
∨
E{p ∈ C(E) | p atom of C(E)}
need not exist.
Definition 4. Let (E;⊕E , 0E , 1E) and (F ;⊕F , 0F , 1F ) be effect algebras. A bijective map
ϕ : E → F is called an isomorphism if
4 Z. Riečanová
(i) ϕ(1E) = 1F ,
(ii) for all a, b ∈ E: a ≤E b′ iff ϕ(a) ≤F
(
ϕ(b)
)′ in such case ϕ(a⊕E b) = ϕ(a)⊕F ϕ(b).
We write E ∼= F . Sometimes we identify E with F = ϕ(E). If ϕ : E → F is an injection with
properties (i) and (ii) then ϕ is called an embedding .
Lemma 1. Let E be an Archimedean atomic lattice effect algebra. The following conditions are
equivalent:
(i) C(E) is atomic and
∨
E{p ∈ C(E) | p atom of C(E)} = 1.
(ii) For every atom a of E there exists an atom pa of C(E) with a ≤ pa.
(iii) E is isomorphic to a subdirect product of the family {[0, p] | p atom of C(E)}.
Proof. (i) =⇒ (iii): By [25, Theorem 3.1] the condition (i) implies that E is isomorphic to
a subdirect product of the family {[0, p] | p atom of C(E)}, since evidently p1 ∧ p2 = 0 for every
pair of mutually different atoms p1, p2 of C(E).
(iii) =⇒ (ii): By definition of the direct and subdirect products, if a is an atom of E then
a ∈ [0, p] for some atom p of C(E).
(ii) =⇒ (i): Every Archimedean atomic lattice effect algebra E is a union of its atomic
blocks [15]. Let M be an atomic block of E and let AM = {a ∈ M | a atom of M}. Then every
a ∈ AM is an atom of E. Otherwise, for b ∈ E with b < a we have b < a ≤ x or b < a ≤ x′
for all x ∈ M , as a ↔ x. It follows that b ↔ x. The maximality of blocks gives that b ∈ M ,
a contradiction.
Let a ∈ AM . As C(E) ⊆ S(E), if a ≤ z ∈ S(E) then naa ≤ z. It follows that a ≤ pa =⇒
naa ≤ pa since pa ∈ C(E) ⊆ S(E). Since by [16]
∨
E{naa ∈ M | a atom of M} = 1, we obtain
that
∨
E{p ∈ C(E) | a atom of C(E)} = 1. �
Theorem 1. Let E be an Archimedean atomic lattice effect algebra. Let the set S(E) of sharp
elements of E be a complete lattice. Then
(i) C(E) is a complete Boolean algebra and a bifull sub-lattice of E.
(ii) C(E) is atomic with
∨
E{p ∈ C(E) | p atom of C(E)} = 1.
(iii) For every atom a of E there exists an atom p of C(E) with a ≤ p.
(iv) E is sharply dominating and E is isomorphic to a subdirect product of irreducible lattice
effect algebras.
Proof. (i): By [21], S(E) is a full sublattice of E. By [16, Lemma 2.7], in every Archimedean
atomic lattice effect algebra E the set S(E) is a bifull sub-lattice of E. Let D ⊆ C(E). Since
S(E) is complete and C(E) = S(E)∩B(E) ⊆ S(E) there exists
∨
S(E) D =
∨
E D ∈ C(E). This
proves that
∨
C(E) D =
∨
E D, which proves that C(E) is a complete and bifull sub-lattice of E.
(ii), (iii): Let a be an atom of E and let pa =
∧
C(E){z ∈ C(E) | a ≤ z} =
∧
E{z ∈ C(E) |
a ≤ z}, using (i). Assume that there exists c ∈ C(E), c 6= 0 and c < pa. Then c ∈ B(E) and
hence c ↔ a, which gives that a ≤ c or a ≤ c′. Since a ≤ c =⇒ pa ≤ c < pa and a ≤ c′
=⇒ c < pa ≤ c′, a contradiction in both cases. Hence c ∈ C(E) with 0 6= c < pa does not
exist. It follows that pa is an atom of C(E) such that a ≤ pa. By (i), 1 =
∨
C(E){p ∈ C(E) |
p atom of C(E)} =
∨
E{p ∈ C(E) | p atom of C(E)}.
(iv): Since S(E) is a complete and bifull sub-lattice of E, the lattice effect algebra E is
sharply dominating. Moreover, E is isomorphic to a subdirect product of lattice effect algebras
by Lemma 1. Let us show that, for every atom p of C(E), the interval [0, p] is an irreducible
lattice effect algebra.
Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements 5
Assume to the contrary that there exist p0 ∈ AC(E) = {p ∈ C(E) | p atom of C(E)}
and xp0 ∈ E such that xp0 ∈ C([0, p0]) and 0 < xp0 < p0. Let x = (xp)p∈AC(E)
be such
that xp = 0 for all p 6= p0. Then x ∧ x′ = 0. Further, let y ∈ E be an arbitrary. Then
y = (yp)p∈AC(E)
=
∨
E{yp | p ∈ AC(E)}, which gives that x ↔ y as xp ↔ yp for every p ∈ AC(E)
(see [11]). Thus x ∈ S(E) ∩B(E) = C(E) which contradicts 0 < xp0 < p0. �
Note that in every complete (hence in every finite) lattice effect algebra E the set S(E)
is a complete sub-lattice of E (see [11]). Let us show an example of an Archimedean atomic
MV -effect algebra M which S(M) is not a complete lattice.
Example 1. Simplest examples of MV -effect algebras are finite chains Mk = {0k, ak, 2ak, . . . ,
nak
ak = 1k}, k = 1, 2, . . . . In this case S(Mk) = C(Mk) = {0k, 1k} and B(Mk) = Mk, for
k = 1, 2, . . . . Let M be a direct product of a family {Mk | k = 1, 2, . . . } of MV -effect algebras.
Then ⊕, 0, 1 on M =
∞∏
k=1
Mk are defined “coordinatewise” (see Definition 3).
It follows that if x = (xk)∞k=1 ∈ M , hence xk ∈ Mk (k = 1, 2, . . . ) then x′ = (x′k)
∞
k=1. If
xk 6= 0k for at most finite set of k ∈ {1, 2, . . . } then x is called a finite element. Clearly x′ is
finite iff xk 6= nak
ak for at most finite set of k ∈ {1, 2, . . . }.
Let M∗ = {x ∈ M | either x or x′ is finite}. We can easily see that M∗ is a sub-MV -
effect algebra (i.e., a sub-lattice and a sub-effect algebra of E). Evidently M∗ as well as
S(M∗) = C(M∗) are not complete. Nevertheless,
∨
M{p ∈ C(M∗) | p atom of C(M∗)} = 1.
Here p ∈ C(M∗) is an atom of C(M∗) iff p = (pk)∞k=1 such that there exists k0 with pk0 = nak0
ak0
and pk = 0 for all k 6= k0.
Recently, M. Kalina showed an example of an Archimedean atomic lattice effect algebra E
with atomic C(E) for which the element
∨
E{p ∈ C(E) | p atom of C(E)} does not exist
(see [12]). Thus, by Theorem 1 (ii), S(E) is not a complete lattice.
3 Applications in questions about the existence of faithful states
on modular lattice effect algebras
If a lattice effect algebra E is a modular lattice then E is called a modular lattice effect algebra.
Recall the definition of a state on effect algebras.
Definition 5. A map ω : E → [0, 1] is called a state on the effect algebra E if (i) ω(1) = 1 and
(ii) ω(x⊕ y) = ω(x) + ω(y) whenever x⊕ y exists in E. If, moreover, E is lattice ordered then
ω is called subadditive if ω(x ∨ y) ≤ ω(x) + ω(y), for all x, y ∈ E.
Note that a state on a lattice effect algebra need not be subadditive, while every state on
an MV -effect algebra is subadditive. In [23] it was proved that a state ω on a lattice effect
algebra E is subadditive iff ω is a valuation, meaning that, for any x, y ∈ E, x ∧ y = 0 implies
ω(x ∨ y) = ω(x) + ω(y).
A state ω on an effect algebra E is called faithful if ω(x) > 0 =⇒ x > 0 for any x ∈ E.
An Archimedean effect algebra is called separable if every ⊕-orthogonal system M of elements
of E (meaning that for every finite subset {x1, x2, . . . , xn} ⊆ M there exists x1 ⊕ x2 ⊕ · · · ⊕ xn)
is at most countable.
Theorem 2. Let E be a separable Archimedean atomic modular lattice effect algebra. Let the
set S(E) of sharp elements of E be a complete lattice. Then there exists a faithful state on E.
Proof. By Theorem 1, C(E) is a complete atomic Boolean algebra. Clearly, the orthomodular
lattice S(E) and the Boolean algebra C(E) are separable. Hence C(E) has only countably many
6 Z. Riečanová
atoms. It follows that there exists an (o)-continuous faithful state ω on C(E). Since C(E) is
a Boolean algebra, the state ω is subadditive, which is equivalent to the fact that ω is a valuation
(see [23, Theorem 2.3]). This implies the existence of an (o)-continuous faithful state on S(E)
(see [27, Theorem 5, p. 91]). Since S(E) is a complete lattice, which is a bifull sub-lattice of E
(see [16]), the effect algebra E is evidently sharply dominating. Now, using Theorem 4.3 of [26]
and its proof we obtain that there exists a faithful state on E, as naa ∈ S(E) for every atom a
of E. �
4 Atomic lattice effect algebras densely embeddable
into complete lattice effect algebras
It is well known that any partially ordered set L can be embedded into a complete lattice L̂ by
an algebraic method called MacNeille completion (or completion by cuts). It was proved in [28]
that any complete lattice K into which L can be join-densely and meet-densely embedded is
isomorphic to its MacNeille completion L̂. It means that to every element x ∈ L there exist
M,Q ⊆ L such that x =
∨
L̂
ϕ(M) =
∧
L̂
ϕ(Q) (here we usually identify L with ϕ(L), where
ϕ : L → L̂ is the embedding).
However, there are lattice effect algebras (E;⊕, 0, 1) for which a complete lattice effect algebra
(Ê; ⊕̂, 0, 1) with above mentioned properties does not exist (⊕ from E cannot be extended
onto Ê, see [18]).
In this part we study properties of central atoms of atomic lattice effect algebras for which
the MacNeille completion (Ê; ⊕̂, 0, 1) exists (see [18] for necessary and sufficient conditions for
that). Note that if this is the case, then E is Archimedean because every complete lattice effect
algebra is Archimedean ([18, Theorem 3.3]).
Lemma 2. Let (E;⊕, 0, 1) be an atomic lattice effect algebra and let (Ê; ⊕̂, 0, 1) be its MacNeille
completion. Then
(i) E and Ê are Archimedean atomic lattice effect algebra with the same set of atoms AE.
(ii) To every maximal subset of pairwise compatible atoms A ⊆ AE = A
Ê
uniquely exist an
atomic block M of E and an atomic block M̂ of Ê such that M̂ ∩ E = M and M̂ is the
MacNeille completion of the block M .
(iii) C(Ê) is an atomic Boolean algebra.
(iv) S(Ê) is the MacNeille completion of S(E) and S(E) = S(Ê) ∩ E.
(v) S(E) is atomic iff S(Ê) is atomic and then their sets of all atoms coincide.
Proof. We identify E with ϕ(E) ⊆ Ê, where ϕ : E → Ê is the embedding (see [28]).
(i): Since E ⊆ Ê, we have that AE ⊆ A
Ê
, where AE and A
Ê
are sets of atoms of E and Ê,
respectively. Further the fact that E is join-dense in Ê implies that x =
∨
Ê
{y ∈ E | y ≤ x},
for every x ∈ Ê, which gives that A
Ê
⊆ E and hence AE = A
Ê
. By [19, Theorem 3.3] Ê is
Archimedean, which implies that E is also Archimedean.
(ii): By [15] every Archimedean atomic lattice effect algebra E is a union of its atomic
blocks M which uniquely correspond to a maximal subset AM of pairwise compatible atoms
of E. Thus AM ⊆ M ⊆ M̂ and since M̂ is a complete MV -effect algebra with the same set
of atoms as M we obtain that M̂ is the MacNeille completion of the block M by the Schmidt
characterization (see [28]).
(iii): Since every complete atomic lattice effect algebra is orthocomplete, it has atomic center
(see [10]), we obtain that C(Ê) is atomic.
Archimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements 7
(iv): Let y ∈ S(Ê). Then there exists a set {aκ | κ ∈ H} ⊆ A
Ê
= AE such that y =⊕
Ê
{aκ | κ ∈ H} =
∨
Ê
{aκ | κ ∈ H} (see [24, Theorem 3.3]). Since {aκ | κ ∈ H} ⊆ AE ⊆ E
we obtain that {naκaκ | κ ∈ H} ⊆ S(E) , hence S(E) is join-dense in S(Ê) which gives
that S(Ê) is the MacNeille completion of S(E) by [28]. Further S(Ê) ∩ E ⊆ S(E), thus
S(Ê) ∩ E ⊆ S(E) ⊆ S(Ê) ∩ E.
(v): This follows by (iv) and the Schmidt characterization of the MacNeille completion
(see [28]) using the same arguments as in the proof of (i). �
Example 2. It is well known that there are even finite orthomodular lattices admitting no
states (see [6]). On the other hand, every orthomodular lattice (L;∨,∧,⊥, 0, 1) or a Boolean
algebra can be organized into a lattice effect algebra if we define a partial binary operation ⊕
on L by: x ⊕ y = x ∨ y for every pair x, y ∈ L such that x ≤ y⊥. This is the original idea of
G. Boole, who supposed that x + y denotes the logical disjunction of x and y when the logical
conjunction xy = 0, (see [1]). For this lattice effect algebra (L;⊕, 0, 1) the compatibility center
B(L) =
⋂
{B ⊆ L | B block of L} is evidently a Bolean algebra. In spite of that a state on L
need not exist.
Example 3. In general, for a lattice effect algebra E, the compatibility center B(E) =
⋂
{B ⊆
E | B block of E} is an MV -effect algebra, as blocks of E are MV -effect algebras, (see [20]).
Hence B(E) is not a Boolean algebra iff B(E) 6⊆ S(E). For instance, assume that E1 is a
horizontal sum of chains {01, a1, 2a1 = 11} and {02, a2, 2a2 = 12} and we identify zero and top
elements. Let E = {0, c, 2c} × E1 be a direct product of a chain {0, c, 2c} and the lattice effect
algebra E1. Then E is a lattice effect algebra with two blocks M1 = {0, c, 2c}×{01, a1, 2a1} and
M2 = {0, c, 2c} × {02, a2, 2a2}. Hence B(E) = M1 ∩M2 ' {0, c, 2c} is not a Boolean algebra.
Theorem 3. Let E be an atomic lattice effect algebra densely embeddable into a complete lattice
effect algebra Ê. If B(E) is not a Boolean algebra then there exists an (o)-continuous subadditive
state on E.
Proof. Since every complete lattice effect algebra is Archimedean (see [19, Theorem 3.4])
so Ê is Archimedean and the effect algebra E is Archimedean, as E ⊆ Ê. By [15] B(E) =⋂
{M ⊆ E | M atomic block of E} ⊆
⋂
{M̂ ⊆ Ê | M̂, M atomic block of E} = B(Ê), by
Lemma 2 (ii). Clearly, B(E) is not a Boolean algebra iff there exists x ∈ B(E) such that
x ∧ x′ 6= 0, which gives x ∈ B(Ê) and x 6∈ S(Ê). Further, C(Ê) is atomic (Lemma 2 (iii))
and
∨
Ê
{p ∈ C(Ê) | p atom of C(Ê)} = 1, which implies that Ê ∼=
∏
{[0, p] | p atom of C(Ê)}
and B(Ê) ∼=
∏
{B([0, p]) | p atom of C(Ê)}. By [16, Theorem 4.1], B([0, p]) = {0, p} or
[0, p] = {0, a, 2a, . . . , naa} for some atom a ∈ E. Thus, there exists an atom p0 of C(Ê) such
that B([0, p0]) 6= {0, p0} and hence [0, p0] = {0, a, 2a, . . . , naa} for some atom a ∈ E. It follows
(see also [16, Theorem 5.8]) that there exists an (o)-continuous subadditive state ω̂ on Ê and
hence ω = ω̂/E is an (o)-continuous subadditive state on E such that ω(a) = 1
na
. �
Note that conditions of Theorem 3 safeguard that an (o)-continuous subadditive state ωa
on E exists for every atom a ∈ E such that a ∈ B(E) and moreover, that at least one such
atom a of E exists, as B(E) 6= C(E).
Corollary 1. Let E be an Archimedean atomic lattice effect algebra with finitely many blocks.
If B(E) is not a Boolean algebra (equivalently there exists x ∈ B(E) such that x ∧ x′ 6= 0) then
there exists an (o)-continuous subadditive state on E.
Proof. It follows from the fact that a lattice effect algebra with finitely many blocks is den-
sely embeddable into a complete lattice effect algebra iff E is Archimedean (see [19, Theo-
rem 4.5]). �
8 Z. Riečanová
Acknowledgements
This work was supported by the Slovak Research and Development Agency under the contract
No. APVV–0375–06 and the grant VEGA-2/0032/09 of MŠ SR. The author wishes to express
his thanks to referees for many stimulating questions and suggestions during the preparation of
the paper, which helped to improve it.
References
[1] Boole G., An investigation of the laws of thought, Macmillan, Cambridge, 1854 (reprinted by Dover Press,
New York, 1967).
[2] Busch P., Lahti P.J., Mittelstaedt P., The quantum theory of measurement, Lecture Notes in Physics, New
Series m: Monographs, Vol. 2, Springer-Verlag, Berlin, 1991.
[3] Dvurečenskij A., Pulmannová S., New trends in quantum structures, Mathematics and its Applications,
Vol. 516, Kluwer Academic Publishers, Dordrecht; Ister Science, Bratislava, 2000.
[4] Foulis D.J., Bennett M.K., Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994), 1331–1352.
[5] Foulis D.J., Effects, observables, states, and symmetries in physics, Found. Phys. 37 (2007), 1421–1446.
[6] Greechie R.J., Orthomodular lattices admitting no states, J. Combinatorial Theory Ser. A 10 (1971), 119–
132.
[7] Greechie R.J., Foulis D.J., Pulmannová S., The center of an effect algebra, Order 12 (1995), 91–106.
[8] Gudder S.P., Sharply dominating effect algebras, Tatra Mt. Math. Publ. 15 (1998), 23–30.
[9] Gudder S.P., S-dominating effect algebras, Internat. J. Theoret. Phys. 37 (1998), 915–923.
[10] Jenča G., Pulmannová S., Orthocomplete effect algebras, Proc. Amer. Math. Soc. 131 (2003), 2663–2671.
[11] Jenča G., Riečanová Z., On sharp elements in lattice ordered effect algebras, BUSEFAL 80 (1999), 24–29.
[12] Kalina M., On central atoms of Archimedean atomic lattice effect algebras, submitted.
[13] Kôpka F., Chovanec F., Boolean D-posets, Internat. J. Theoret. Phys. 34 (1995), 1297–1302.
[14] Ludwig G., Die Grundlagen der Quantenmechanik, Springer-Verlag, Berlin, 1954 (translated by C.A. Hein,
Springer-Verlag, Berlin, 1983).
[15] Mosná K., Atomic lattice effect algebras and their sub-lattice effect algebras, J. Electrical Engineering 58
(2007), 7/S, 3–6.
[16] Paseka J., Riečanová Z., The inheritance of BDE-property in sharply dominating lattice effect algebras and
(o)-continuous states, Soft Comput., to appear.
[17] Riečanová Z., Subalgebras, intervals and central elements of generalized effect algebras, Internat. J. Theoret.
Phys. 38 (1999), 3209–3220.
[18] Riečanová Z., MacNeille completions of D-posets and effect algebras, Internat. J. Theoret. Phys. 39 (2000),
859–869.
[19] Riečanová Z., Archimedean and block-finite lattice effect algebras, Demonstratio Math. 33 (2000), 443–452.
[20] Riečanová Z., Generalization of blocks for D-lattices and lattice-ordered effect algebras, Internat. J. Theoret.
Phys. 39 (2000), 231–237.
[21] Riečanová Z., Orthogonal sets in effect algebras, Demonstratio Math. 34 (2001), 525–532.
[22] Riečanová Z., Proper effect algebras admitting no states, Internat. J. Theoret. Phys. 40 (2001), 1683–1691.
[23] Riečanová Z., Lattice effect algebras with (o)-continuous faithful valuations, Fuzzy Sets and Systems 124
(2001), no. 3, 321–327.
[24] Riečanová Z., Smearings of states defined on sharp elements onto effect algebras, Internat. J. Theoret. Phys.
41 (2002), 1511–1524.
[25] Riečanová Z., Subdirect decompositions of lattice effect algebras, Internat. J. Theoret. Phys. 42 (2003),
1415–1433.
[26] Riečanová Z., Wu J., States on sharply dominating effect algebras, Sci. China Ser. A 51 (2008), 907–914.
[27] Sarymsakov T.A., Ayupov Sh.A., Khadzhiev Dzh., Chilin V.I., Ordered algebras, FAN, Tashkent, 1983 (in
Russian).
[28] Schmidt J., Zur Kennzeichnung der Dedekind–MacNeilleschen Hülle einer geordneten Hülle, Arch. Math.
(Basel) 7 (1956), 241–249.
http://dx.doi.org/10.1007/BF02283036
http://dx.doi.org/10.1007/s10701-007-9170-4
http://dx.doi.org/10.1016/0097-3165(71)90015-X
http://dx.doi.org/10.1007/BF01108592
http://dx.doi.org/10.1023/A:1026637001130
http://dx.doi.org/10.1090/S0002-9939-03-06990-9
http://dx.doi.org/10.1007/BF00676241
http://dx.doi.org/10.1023/A:1026682215765
http://dx.doi.org/10.1023/A:1026682215765
http://dx.doi.org/10.1023/A:1003683014627
http://dx.doi.org/10.1023/A:1003619806024
http://dx.doi.org/10.1023/A:1003619806024
http://dx.doi.org/10.1023/A:1011911512416
http://dx.doi.org/10.1016/S0165-0114(01)00102-6
http://dx.doi.org/10.1023/A:1020136531601
http://dx.doi.org/10.1023/A:1025775827938
http://dx.doi.org/10.1007/s11425-007-0163-8
http://dx.doi.org/10.1007/BF01900297
http://dx.doi.org/10.1007/BF01900297
1 Introduction, basic definitions and some known facts
2 The center of Archimedean atomic lattice effect algebra with complete lattice of sharp elements
3 Applications in questions about the existence of faithful states on modular lattice effect algebras
4 Atomic lattice effect algebras densely embeddable into complete lattice effect algebras
References
|