No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
A Boolean algebra B is a retract of an algebra A if there exist homomorphisms ƒ: B → A and g: A → B such that gƒ is the identity map B. Some important properties of retracts of Boolean algebras are stated in [3, §§ 30, 31, 32]. If A and B are a-complete, and A is α-generated by B, Dwinger [1, p. 145, Theorem 2.4] proved necessary and sufficient conditions for the existence of an α-homomorphism g: A → B such that g is the identity map on B. Note that if a is not an infinite cardinal, B must be equal to A. The dual problem was treated by Wright [6]; he assumed that A and B are σ-algebras, and that g: A → B is a σ-homomorphism, and gave conditions for the existence of a homomorphism ƒ:B → A such that gƒ is the identity map.