A Cantor-Bernstein type theorem for effect algebras. (Q1771957): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s000120200008 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2311142359 / rank
 
Normal rank

Latest revision as of 23:21, 19 March 2024

scientific article
Language Label Description Also known as
English
A Cantor-Bernstein type theorem for effect algebras.
scientific article

    Statements

    A Cantor-Bernstein type theorem for effect algebras. (English)
    0 references
    0 references
    0 references
    19 April 2005
    0 references
    Effect algebras were introduced by D. J. Foulis and M. K. Bennet in 1994. An effect algebra is a partial groupoid with two constants \(0\) and \(1\) such that the partial binary operation \(\oplus \) is associative, commutative, for each \(a\) there is a unique \(a{'}\) with \(a \oplus a{'} = 1\) and if \(a \oplus 1\) exists then \(a = 0\). It is proved that if \(E_{1}\) and \(E_{2}\) are \(\sigma \)-complete effect algebras such that \(E_{1}\) is a direct factor of \(E_{2}\) and vice versa, then \(E_{1},E_{2}\) are isomorphic.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Cantor-Bernstein theorem
    0 references
    effect algebra
    0 references
    weak congruence
    0 references
    0 references