Abstract
A Boolean algebra B is called faithful, if for every direct summand B1 of B: if B1 is rigid, (that is, it does not have any automorphisms other than the identity), then there is B2 such that B≅B1×B1×B1×B2. Let B be a complete Boolean algebra, then B can be uniquely represented as B≅BR×BD×BD×BF, where BR, BD, BF are pairwise totally different, (that is, no two of them have non-zero isomorphic direct summands), BR, BD are rigid and BF is faithful. Aut(B) denotes the automorphism group of B.
Original language | English |
---|---|
Pages (from-to) | 125-146 |
Number of pages | 22 |
Journal | Archiv für Mathematische Logik und Grundlagenforschung |
Volume | 20 |
Issue number | 3-4 |
DOIs | |
State | Published - 1 Sep 1980 |
Externally published | Yes |
ASJC Scopus subject areas
- Logic