Amazed by how ring theory can be linked up to topology
I am reviewing some fundamental algebra, and I just learnt something beautifully suggesting the connection of ring theory and geometry, which made me eager to learn some algebraic geometry (which I was not very interested when I was in undergrad). It is an exercise in Aluffi’s book1. Lets’ jump into it. The problem Let $K$ be a compact topological space, and let $R$ be the ring of continuous real-valued functions on $K$, with addition and multiplication defined pointwise. (i) For $p \in K$, let $M_p = \{f \in R | f(p) = 0\}$. Prove that $M_p$ is a maximal ideal in $R$. (ii) Prove that if $f_1, \dots , f_r \in R$ have no common zeros, then $(f1, \dots , fr)$ = $(1)$. (Hint: Consider $f^2_1 + \dots + f^2_r$ .) (iii) Prove that every maximal ideal $M$ in $R$ is of the form $M_p$ for some $p \in K$. (Hint: You will use the compactness of $K$ and (ii).) ...