Do filters on a Boolean algebra also make a Boolean algebra?

Question

Let $\mathfrak{B}=(B,\bot,\top,\lnot,\wedge,\vee)$ be a boolean algebra. $B_F$ be the set of all filters on $\mathfrak B$. And for all filter $F$, $G$, $F \wedge_{B_F} G \colon= \mathbf C(F \cup G)$ in which $\mathbf C$ denotes the filter closure operator; $F \vee_{B_F} G \colon= F \cap G$; $0 \colon= B$, $1 \colon= \{\top\}$. Then $(B_F,0,1,\wedge_{B_F},\vee_{B_F})$ makes a complete lattice.

My question is can we add a negation in order to make it be a Boolean algebra?

Answer 1

It is relatively easy to see that it does not matter whether we work with filters or with ideals.

The following is taken verbatim from Steven R. Givant,Paul Richard Halmos: Introduction to Boolean Algebras p.167:

The ideals of a Boolean algebra form a complete, distributive lattice, but they do not, in general, form a Boolean algebra. To give an example, it is helpful to introduce some terminology. An ideal is maximal if it is a proper ideal that is not properly included in any other proper ideal. We shall see in the next chapter that an infinite Boolean algebra $B$ always has at least one maximal ideal that is not principal. Assume this result for the moment. A "complement" of such an ideal $M$ in the lattice of ideals of $B$ would be an ideal $N$ with the property that $$M\wedge N=\{0\} \qquad\text{and}\qquad M\vee N=B.$$ Suppose the first equality holds. If $q$ is any element in $N$, then $p \wedge q = 0$, and therefore $p \le q'$, for every element $p$ in $M$, by Lemma 1. In other words, the ideal $M$ is included in the principal ideal $(q')$. The two ideals must be distinct, since $M$ is not principal. This forces $(q')$ to equal $B$, by the maximality of $M$. In other words, $q' = 1$, and therefore $q = 0$. What has been shown is that the meet $M\wedge N$ can be the trivial ideal only if $N$ itself is trivial. In this case, of course, $M \vee N$ is $M$, not $B$. Conclusion: a maximal, non-principal ideal does not have a complement in the lattice of ideals.

The existence of maximal ideals, which was used in the above excerpt, is guaranteed by Boolean prime ideal theorem.