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

We turn out that if E1 and E2 are a-complete impression 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

Algebra and Trigonometry (7th Edition)

This market-leading textual content maintains to supply scholars and teachers with sound, continuously based factors of the mathematical suggestions. Designed for a two-term path, the hot 7th version keeps the good points that experience made Algebra and Trigonometry an entire resolution for either scholars and teachers: fascinating functions, state-of-the-art layout, and cutting edge know-how mixed with an abundance of rigorously written routines.

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

Example text

From this, the exponents of Λ∗ are seen to be −cj . Also, the exponents for π d Λ are cj + 2d. We note that a lattice is almost self-dual if and only if its exponents are all either 0 or 1. If all the exponents of Λ are the same, then we can scale Λ by an appropriate power of π, to make every exponent of the rescaled lattice either 0 or 1, according as to whether the original exponent value is even or odd. The diﬀerence between the largest and smallest exponent of Λ is a measure of how far from self-dual a scalar multiple of Λ can be.

T ) = T , 3. (ST ) = T S . The symplectic group can be deﬁned as Sp(V ) = {g ∈ GL(V ) | gu, gv = u, v = u, g gv or g g = I}, with Lie algebra sp(V ) = {T ∈ End(V ) | T = −T }. There is the usual notion of duality with respect to the symplectic form. For a subspace U of V , deﬁne U ⊥ = {v ∈ V | v, u = 0 for all u ∈ U }. Then (U ⊥ )⊥ = U and dim U + dim U ⊥ = dim V . We say U is isotropic if , |U = 0, which is equivalent to U ⊂ U ⊥ . If all subspaces in a ﬂag are isotropic then we say the ﬂag is isotropic.

Hence, we see that by looking for a maximal almost-self dual lattice in L, we will ﬁnd a lattice which is actually self-dual. Still considering the self-dual, maximal lattice ﬂag L, let Λo be a self-dual lattice in L. Since L is totally ordered by inclusion, we may label the lattices in L by integers, in a manner such that Λm+1 is the largest element of L strictly contained in Λm . This labeling is clearly unique. Then the lattices Λm for 0 ≤ m ≤ 2n are contained between Λo and πΛo = Λ2n . They therefore deﬁne a ﬂag in Λ = Λ/πΛ.