In A Course in Universal Algebra (Burris, Sankapannavar), the exercise 4.4.7-8, p.158, says:
Let $A$ be a Boolean algebra. Denote $A^\ast:=\{\text{ultrafilters of }A\}$, and give $A^\ast$ the topology, defined by the basis of open sets $\{N_a; a\!\in\!A\}$, where $N_a\!:=\!\{U\!\in\!A^\ast; a\!\in\!U\}$.
(a) The map $(\{\text{ideals of }A\},\subseteq)\!\rightarrow\!(\{\text{open subsets of }A^\ast\},\subseteq),\, I\!\mapsto\!I^\ast\!:= \bigcup_{a\in I}\!N_a$ is a lattice isomorphism, with $a\!\in\!I \Leftrightarrow N_a\!\subseteq\!I^\ast$.
(b) The map $(\{\text{filters of }A\},\subseteq)\!\rightarrow\!(\{\text{closed subsets of }A^\ast\},\subseteq),\, F\!\mapsto\!F^\ast\!:= \bigcap_{a\in F}\!N_a$ is a lattice isomorphism, with $a\!\in\!F \Leftrightarrow N_a\!\supseteq\!F^\ast$.
For any $S\!\subseteq\!A$, let $\mathfrak{I}(S)$ denote the ideal generated by $S$, and $\mathfrak{F}(S)$ the filter generated by $S$. Then $\bigcup_{a\in S}\!N_a=\!\bigcup_{a\in \mathfrak{I}(S)}\!N_a~~~\text{ and }~~~\bigcap_{a\in S}\!N_a=\!\bigcap_{a\in \mathfrak{F}(S)}\!N_a.$ In $(\{\text{ideals of }A\},\subseteq)$, the supremum is described as $I\!\vee\!I'\!=\!\{x\!\in\!A; \exists a\!\in\!I\,\exists a'\!\in\!I'\!: x\!\leq\!a\!\vee\!a'\}$, and in $(\{\text{filters of }A\},\subseteq)$, the supremum is described as $F\!\vee\!F'\!=\!\{x\!\in\!A; \exists a\!\in\!F\,\exists a'\!\in\!F'\!: x\!\geq\!a\!\wedge\!a'\}$. Moreover, $N_a\!\cup\!N_b\!=\!N_{a\vee b}$; $N_{a}\!\cap\!N_{b}\!=\!N_{a\wedge b}$; $(N_a)^c=\!N_{a^c}$. In Boolean algebras, an ideal $I$ of $A$ is maximal (i.e. maximal w.r.t. $\subseteq$ among all ideals $I'$ with $1\!\notin\!I'$) iff it is prime (i.e. $1\!\notin\!I$ and $\forall x,y\!\in\!A\!: x\!\wedge\!y\!\in\!I \Leftrightarrow (x\text{ or }y\!\in\!I)$). In Boolean algebras, a filter $F$ of $A$ is maximal (or an ultrafilter, i.e. maximal w.r.t. $\subseteq$ among all filters $F'$ with $0\!\notin\!F'$) iff it is prime (i.e. $0\!\notin\!F$ and $\forall x,y\!\in\!A\!: x\!\vee\!y\!\in\!F \Leftrightarrow (x\text{ or }y\!\in\!F)$). (Stone) If $I$ is an ideal of $A$ and $a\!\in\!A\!\setminus\!I$, then there is a maximal ideal $M$ with $F\!\subseteq\!M\!\subseteq\!A\!\setminus\!\{a\}$. (Stone) If $F$ is a filter of $A$ and $a\!\in\!A\!\setminus\!F$, then there is an ultrafilter $U$ with $F\!\subseteq\!U \!\subseteq\! A\!\setminus\!\{a\}$.
Questions: Here are the things that I didn't yet manage to prove and am having problems with.
(1) We have $F^\ast\cap F'^\ast=(F\!\cap\!F')^\ast$ iff $(\bigcap_{a\in F}\!N_a)\cap(\bigcap_{a'\in F'}\!N_{a'}) = \bigcap_{x\in F\cup F'}\!N_x = \bigcap_{y\in F\cap F'}\!N_y$ iff for each ultrafilter $U$, we have $F\!\cap\!F'\!\subseteq U \Rightarrow F\!\cup\!F'\!\subseteq U$, but I don't see why this would be true.
(2) Proving $F^\ast\!\cup F'^\ast=(F \vee\!F')^\ast$ boils down to showing that the following inclusion holds: $\{U\!\in\!A^\ast; \forall a\!\in\!F\,\forall a'\!\in\!F'\!: a\!\vee\!a'\!\in\!U\}\subseteq\{U\!\in\!A^\ast; \forall b\!\in\!F\,\forall b'\!\in\!F'\, \forall x\!\geq\!b\!\wedge\!b'\!: x\!\in\!U\}$. Now for $b,b'$, we have $b\!\vee\!b'\!\in\!U$, and from primality of $U$, we have w.l.o.g. $b\!\in\!U$. But how do we show $b\!\wedge\!b'\!\in\!U$?
(3) Injectivity: We have $I^\ast\!=\!I'^\ast$ iff $\forall U\!\in\!A^\ast\!: (\exists a\!\in\!I\!: a\!\in\!U)\Leftrightarrow(\exists a'\!\in\!I'\!: a'\!\in\!U)$ iff $\forall U\!\in\!A^\ast\!: U\!\cap\!I\!=\!\emptyset \Leftrightarrow U\!\cap\!I'\!=\!\emptyset$. I've proved the injectivity of $F^\ast\!=\!F'^\ast$ by using Stone's theorem above, but for $I^\ast\!=\!I'^\ast$, I must produce an ultrafilter by using ideals, so I'm not sure what to do.
(4) We have $a\!\in\!I\Leftarrow N_a\!\subseteq\!I^\ast$ iff $\{U\!\in\!A^\ast;a\!\in\!U\}\!\subseteq\!\{U\!\in\!A^\ast\!; I\!\cap\!U\!\neq\!\emptyset\}\Rightarrow a\!\in\!I$. I don't know where to go from here. I've proved $a\!\in\!F\Leftarrow N_a\!\supseteq\!F^\ast$, by using Stone's theorem above, but here, we must find an ultrafilter by using ideals, so I'm out of good ideas.