# Is the complete lattice of inflators on a frame a frame?

Yup, it may sound like an inocent question to many of you; but a very good friend of mine is completely baffled in his research about lattices of inflators on a frame. He asked me very kindly to post this on his behalf and here it is. Any fresh ideas or (counter)examples would definitely help him. Thanks a lot!

-
It might help to define inflators. – Benjamin Steinberg Oct 11 '12 at 1:45
Sure, an inflator in a frame $F$ is a function $d:F\rightarrow F$ such that $d$ is order preserving and inflatory, this meaning that $a\leq d(a)$ holds for all $a\in F$. – Le Frank Oct 11 '12 at 3:08

I think the answer is `yes'. Let $F$ be a frame and $I(F)$ its set of inflators ordered by the pointwise ordering. I claim that joins and meets are taken pointwise. It suffices to show that if $\lbrace d_a\rbrace_{a\in A}$ is a family of inflators, then so is their pointwise join $d$ and their pointwise meet $m$.

Let's do $d$ first. If $f\in F$, then $f\leq d_a(f)\leq d(f)$ for any $a\in A$. Order preserving is also clear: if $f\leq f'$ then $d_a(f)\leq d_a(f')\leq d(f')$ for all $a\in A$ and hence $d(f)\leq d(f')$. Thus $d\in I(F)$

For meets, $f\leq d_a(f)$ for all $a\in A$ and so $f\leq m(f)$. If $f\leq f'$, then $m(f)\leq d_a(f)\leq d_a(f')$ for all $a\in A$ and so $m(f)\leq m(f')$.

Now it is clear that $I(F)$ is a frame. If $\lbrace d_a\rbrace_{a\in A}\subseteq I(F)$ and $c\in I(F)$, then

$\left(c\wedge \bigvee_{a\in A}d_a\right)(f) = c(f)\wedge \bigvee_{a\in A}d_a(f) = \bigvee_{a\in A}(c(f)\wedge d_a(f))$ $=\left(\bigvee_{a\in A}(c\wedge d_a)\right)(f)$

and so $c\wedge \bigvee_{a\in A}d_a=\bigvee_{a\in A}(c\wedge d_a)$.

Thus $I(F)$ is a frame.

-
OK, let me point out something else. This friend of mine just checked up what you did and said something like "oh yes, I had already thought THAT, but I have a feeling that there is something wrong lurking in there." Since he's not comfortable with all this at 100% (and I'm getting tired of writing on his behalf!) Do you have any references where he can strive to get confident about what you just did? Yours and yours alone are this well earned 15 points! Cheers. – Le Frank Oct 12 '12 at 1:21
I don't have a reference. I just worked it out. But it seems straightforward enough. – Benjamin Steinberg Oct 12 '12 at 13:29
Thanks a lot anyway. – Le Frank Oct 13 '12 at 4:16