For the complete Boolean algebra that comment.docVIP

 PAGE \* MERGEFORMAT 6 For the complete Boolean algebra that comment [Abstract] In this study, we give a complete atomic Boolean algebra is equivalent characterizations. At the same time, proved a complete Boolean algebra is atomic if and only if every subalgebra is a real atom. [Keywords:] complete Boolean algebra notes In [1], an atomless complete Boolean algebra is called simple if it has no proper atomless complete subalgebra, the equivalence of which to rigid and minimal is proved in [2]. As the same time, the question of wether a simple complete Boolean algebra exists is raised firstly in [2]. In [3], a positive answer is given. Similarly, in the note, we will give some results of the complete atomic Boolean algebra as same as the complete atomless Boolean algebra. It is well known that the properties of complete Boolean algebras correspond to properties of generic models obtained by forcing with these algebras, which the majority work on complete Boolean algebra come from. But the ideal of this note comes from locale theory, especially [4] . Recall that a frame or a locale is a complete lattice L, satisfying the infinite distributive law:  a ∈ L, S  La ∧ ∨ S = ∨ {a ∧ s: s ∈ S} By Pt (L) we mean the set of prime elements of a frame L; a frame L is said to be spatial, if for any a ∈ L, a = ∧ {p ∈ Pt (A) | pgt; = a}. The subframe of Frame L is a subset of it, which is closed under finite meets and arbitrary joins; A subset of complete Boolean algebra that is closed under arbitrary meets and arbitrary joins is called complete subalgebra. A complete Boolean algebra is a frame, the complete subalgebra of which is a subframe. The power set of set B is denoted by P (B); Let ↑ a = {b ∈ L | bgt; = a}. All more terminology and notation of locale theory which is not explained here is taken from [5]; for general background of complete Boolean algebra, we refer to [6]. Main Result Definition 1 A complete lattice L is said to be generated by a