Prime ideals in the ring of germs of continuous functions We all know that the ring of germs of continuous functions at a point on, say $\mathbb{R}$, has a unique maximal ideal- namely, those functions that vanish at that point.
Can anyone think of a single other example of a prime ideal?
We know that there have to be lots and lots of them, since there are no non-zero nilpotent elements in the ring. You can't try and construct such a thing by looking at the germ of functions that vanish at some bigger set of points, because then you can use bump functions to produce two germs whose product is in the ideal but neither of whom belong to the ideal themselves.
The only other possible things we could think of would only have a hope of working if we were dealing with smooth functions (though we still haven't come up with an example there!).
Is it even possible to write down an example of such a thing for continuous functions, or are they just too ugly?
 A: Choose a sequence $a_n$ of distinct points converging to $0$. "Choose" an ultrafilter on this countable set. Consider the germs of functions $f$ such that the set of all $a_n$ where $f(a_n)=0$ belongs to the filter. (This condition on the function depends only on its germ.) 
EDIT  The following refers to and complements George Elencwajg's answer. In particular the ideal $\frak m_a$ and $\frak m_a^{nb}$ are defined there.
Recall: An ultrafilter on the set $X$ gives you a maximal ideal in the ring of all real-valued functions, and these are the only prime ideals. If $X$ has a topology, then intersecting with $C(X)$ these yield prime ideals which may or may not be maximal. If $X$ is compact Hausdorff then every ultrafilter converges to (i.e. contains all neighborhoods of) a unique point.
For the rest of this discussion I assume $X$ is compact Hausdorff.
(1) Every proper ideal in $C(X)$ is contained in $\frak m_a$ for a (unique) point $a\in X$. In particular these are the only maximal ideals.
Proof: Otherwise $I$ has elements $f_1,\dots ,f_n$ such that the open sets $X-f^{-1}(0)$ cover $X$. But then $f_1^2+\dots +f_n^2$ is a a unit in $C(X)$.
(2) Every prime ideal $P$ of $C(X)$ must contain the ideal $\frak m_a^{nb}$ for some point $a\in X$.
Proof: Otherwise there exist $f_1,\dots ,f_n$ all outside $P$, vanishing respectively on open sets $U_1,\dots ,U_n$ that cover $X$. The product of the $f_i$ is zero, contradiction.
Thus 
(3) All prime ideals of $C(X)$ correspond to prime ideals of the various local rings (rings of germs) $C(X)/\frak m_a^{nb}$.
Of course when the prime is determined by an ultrafilter then the point in question is the point that it converges to.
(4) The prime determined by an ultrafilter cannot be maximal unless the ultrafilter is principal.
Proof: If the ideal is $\frak m_a$, then a continuous function vanishing only at $a$ will belong to the ideal, implying that the singleton $a$ belongs to the filter.
I suppose it can happen that different ultrafilters sometimes give the same prime ideal, but I'm not sure.
I suppose it can happen that there are prime ideals not determined by any ultrafilter, but I'm not sure. Such an ideal would not have the following property : If $f\in I$ and if $f^{-1}(0)\subset g^{-1}(0)$ then $g\in I$. 
A: Let me give a self-contained proof of the existence of prime ideals of the type you require, for $\mathbb R$ and many other spaces .
Given a topological space $X$, let ${\mathfrak m }_x\subset C(X)$ denote  the ideal of functions vanishing at $x$  and ${\mathfrak m }_x^{nb}\subset {\mathfrak m }_x$ the ideal of functions vanishing on a ( variable!) neighbourhood of $x$.
Lemma: In a completely regular space $X$, the intersection of ${\mathfrak m }_a \cap  {\mathfrak m }_b \; (a\neq b)$ contains no prime ideal
Indeed, consider  disjoint neighbourhoods $U_a,U_b$ of $a,b$ , a function $f_a\in C(X)$ with $f_a(a)=1$ and support in $U_a$, and an analogous function $f_b$.
If for some prime ${\mathfrak p}$ we had ${\mathfrak p}\subset {\mathfrak m }_a \cap {\mathfrak m }_b$, then since $f_af_b=0\in {\mathfrak p}$ we would have, for example, $f_a\in  {\mathfrak p}$ and a fortiori $f_a\in {\mathfrak m }_a $. Contradiction since $f_a(a)=1$  
General result: If in a completely regular space $X$ there is a point $a\in X$  such that ${\mathfrak m }_a^{nb}\subsetneq {\mathfrak m }_a$  then there exists a prime ideal ${\mathfrak p}\subset C(X)$ not of the form ${\mathfrak m }_x$  .
Indeed, the ideal  ${\mathfrak m }_a^{nb}$ is radical ( ${\mathfrak m }_a^{nb} =\sqrt {\mathfrak m }_a^{nb}$) hence is the intersection of the primes containing it. By the lemma, the only  prime of the form ${\mathfrak m }_x$ containing ${\mathfrak m }_a^{nb}$ is ${\mathfrak m}_a$, hence  there must exist a prime not of the form ${\mathfrak m }_x$ containing  ${\mathfrak m }_a^{nb}$.
Remarks
1) Of course $\mathbb R $ satisfies the hypothesis of the theorem but so do also all usual  completely regular spaces at non isolated points $a$. The hypothesis  ${\mathfrak m }_x^{nb}\subsetneq {\mathfrak m }_a$ is very weak: why should a function zero at $a$ vanish in a whole neighbourhhod of $a$ ?!
2) For the aficionados of the axiom of choice,  Zorn's lemma  is hidden in the fact that a radical ideal in a ring is the intersection of the prime ideals  which contain it.  
Edit (November 30th, 2011)
I have just come across a remarkable paper proving that for any decent compact space $X$ ( for example a compact  cube  $[a,b]^n \subset \mathbb R^n$ ),  the Krull dimension   of $C(X)$ is infinity. The author modestly claims that the result is hidden in Gillman-Jerison's well known book Rings of Continuous Functions.    
A: You can take a look of the following:- http://www2.imperial.ac.uk/~naddingt/notes/cont_ag.pdf . It contains an example of a prime ideal for smooth functions.
