Skip to main content
removed completely irrelevant tag
Link
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156
added 181 characters in body
Source Link

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 terminalogyterminology 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.

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 terminalogy and notions you can refer to here.

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.

Source Link

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 terminalogy and notions you can refer to here.