a questions about the sums of intersections of maximal ideals - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T12:47:25Z http://mathoverflow.net/feeds/question/109981 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109981/a-questions-about-the-sums-of-intersections-of-maximal-ideals a questions about the sums of intersections of maximal ideals sh gh 2012-10-18T06:40:57Z 2012-10-18T17:31:26Z <p>why the z-ideals in C(X) are basically the sums of intersections of maximal ideals?</p> http://mathoverflow.net/questions/109981/a-questions-about-the-sums-of-intersections-of-maximal-ideals/110026#110026 Answer by AliReza Olfati for a questions about the sums of intersections of maximal ideals AliReza Olfati 2012-10-18T17:31:26Z 2012-10-18T17:31:26Z <p>Let $\mathcal{M}_f$ be the intersection of all maximal ideals in $C(X)$ which contains $f$. it is easy to show that $$\mathcal{M} _f=\Big(g \in C(X): Z(f) \subseteq Z(g)\Big)$$</p> <p>Now Let $I$ be a $z-$ideal of $C(X)$. It means if $f \in I$ and $Z(f)\subseteq Z(g)$, then $g \in I$.</p> <p>It suffices to show that for all $f \in I$, $\mathcal{M}_f \subseteq I$. </p> <p>let $g \in \mathcal{M}_f$, by the above characterization of $\mathcal{M}_f$ we have $Z(f) \subseteq Z(g)$ and this implies that $g \in I$.</p> <p>So we have shown that for all $f \in I$, $\mathcal{M} _f \subseteq I$. this yields: $$I=\sum _{f \in I} \mathcal{M} _f$$. And this is the case which you wanted.</p> <hr> <p>At the end let me show the sketch of the characterization of $\mathcal{M} _f$ .</p> <p>Suppose $g$ is in all maximal ideals which contains $f$. Fix $x \in Z(f)$, then $f \in M_x$. but $M_x$ is a maximal ideal which contains $f$ .so $g \in M_x$ and this implies that $x \in Z(g)$. then we show that $Z(f) \subseteq Z(g)$.</p> <p>For the converse let $Z(f) \subseteq Z(g)$. suppose on the cotrary that there exists a maximal ideal $M$ such that $f \in M$ but $g \notin M$. </p> <p>So we have $M+(g)=C(X)$. this shows that there exists $k \in M$ and $h \in C(X)$ so that $$k+h.g=1$$</p> <p>This implies that $Z(k) \cap Z(g)= \varnothing$. But we Know that $f, k \in M$. this obviously shows that $Z(f) \cap Z(g) \neq \varnothing$. We came into a contradiction, because we supposed that $Z(f) \subseteq Z(g)$.</p>