Skip to main content
2 of 3
added 181 characters in body

Corresponding between prime ideals in $C(X)$ and $C^*(X)$

we know that every maximal ideal in $C(X)$ is in this form:

$$M^p=\left\{\,f \in C^*(x):\ p\in cl_{\beta X} Z\left(f\right)\,\right\}$$

and every maximal ideal in $C^*(X)$ is

$$M^{*p}=\left\{\,f\in C^*(X):\ f^{\beta}\left(p\right)=0\,\right\}$$

and it is not necessary that

$$ M^p \cap C^*(X) = M^{*p}$$

My question is:

If are prime ideals of $C(X)$ contained in $M^p$, in a one to one corresponding to that of $C^*(X)$ contained in $M^{*p}$ for $p\in \beta X$ ?

$M^p$ and $M^{*p}$ are maximal ideals respectively in $C(X)$ and $C^*(X)$ correspond to $p$. $\beta X$ is Ston-cech compactification of the space $X$ for terminology and notions you can refer to here.

Edite

you can find $\beta X$ at the beginning of Ch.6 and if you want more you should continue. also in Ch.7 section 7.11, it deal whit corresponding between maximal ideals specially.