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**

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

- A supplement for Category theory for computing science
- From determinant to tensor
- Interactions between homotopy and algebra : Summer School on Interactions between Homotopy Theory and Algebra, University of Chicago, July 26-August 6, 2004, Chicago, Illinois
- Linear Algebra: Gateway to Mathematics
- Torsion-free modules
- Stufen der Anordnung in Geometrie und Algebra

**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

### A Cantor-Bernstein type theorem for effect algebras by Jenca G.

by Steven

4.1