# New PDF release: A Cantor-Bernstein type theorem for effect algebras

By Jenca G.

We turn out that if E1 and E2 are a-complete impact algebras such that E1 is an element of E2 and E2 is an element of E1, then E1 and E2 are isomorphic.

Read or Download A Cantor-Bernstein type theorem for effect algebras PDF

Best algebra books

Read e-book online Structure and representations of Jordan algebras PDF

###############################################################################################################################################################################################################################################################

Additional resources for A Cantor-Bernstein type theorem for effect algebras

Sample text

It seems reasonable to begin with semilattices as examples of non-congruencepermuting algebras. l {(x,y) E AxA : x¢> = YtP} for some pair of surjective morphisms ¢>,tP: A -+ B. This necessary condition also suffices to make A congruence-permuting [4; see also 5, pp 125-127]. e. l (c;. may be replaced by equality here); and (iii) full. l are congruences on A corresponding to the morphisms ¢> and tP respectively and so I propose to call a relation satisfying (i), (ii) and (iii) above a bicongruence on A, and to notate the set of such by ~e(A).

Every finitely generated left ideal of S is FD. (a) For every xES, the principal left ideal Sx is FD, and (b) For every x, YES, SxnSy is either a principal left ideal or empty. 31 Proof: The equivalence of (1) and (2) is immediate from Lemma I, Definition 3, and the fact that the criterion for weak flatness could have equivalently been stated in terms of finitely generated left ideals. and Assuming (2), 3(a) is obvious. To obtain 3(b) suppose x, yES Sx n Sy =I 0. Let r index the set {(s, t) E S x S I sx = ty} = {(s" t,) I, E r}.

5. For a complete lattice L, the following conditions are equivalent: (a) o:AVB = V{o:*b : bE B