On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin (Q1204121)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin
scientific article

    Statements

    On the simplicity of the automorphism group of \(\mathcal P (\omega )\)/fin (English)
    0 references
    0 references
    0 references
    1 March 1993
    0 references
    Since the automorphism group of any saturated Boolean algebra is simple - -- the saturation here is meant in model theoretic sense ---, the automorphism group of \({\mathcal P}(\omega)/\text{fin}\) is simple under CH. In contrast, van Dowen showed that the automorphism group of \({\mathcal P}(\omega)/\text{fin}\) is non-simple if every automorphism of \({\mathcal P}(\omega)/\text{fin}\) is almost trivial (this is the case e.g. under \(\text{MA}_{\aleph_ 1}+\text{OCA}\) (Veličković)). In the paper it is proved that the simplicity of the automorphism group of \({\mathcal P}(\omega)/\text{fin}\) is preserved if we start from a model of CH and add \(\aleph_ 2\) Cohen reals.
    0 references
    0 references
    automorphism group
    0 references
    simplicity
    0 references
    model of CH
    0 references
    Cohen reals
    0 references