Construction of a maximal ideal Hello,
Let R denote the ring of continuous functions defined on the real line, let I in R be the ideal consisting of functions with compact support. Obviously, I is not maximal, and by Zorn's Lemma there exists a maximal ideal M in R which contains I. Is there now an explicit construction or characterization for M, i.e. when given any function in R, can one decide whether it lies in M or not?
 A: This is an expansion of the comment of Qiaochu Yuan. 
As mentioned in the comments there can be no "constructive" description. However, maybe you'll find this (tautological) construction useful: take any sequence $m_n$, $n=1,2,\ldots$ of real points which diverges to infinity. Choose an ultrafilter $U$, and define $M$ to be the set of those functions $f$ for which there exists an element $K$ of $U$ (so in particular $K$ is  a subset of natural numbers) such that $f(m_k)=0$ for $k\in K$.
It's obvious that $M$ contains your set $I$ and that it is closed under multiplication by elements of $R$. That it is additively closed follows from the fact that $U$ is a filter, and that it is maximal follows from the fact that $U$ is an ultrafilter.
So $M$ is "as explicit" as $U$ is. In particular all functions which vanish on all but finitely many points of the sequence $m_n$ are in $M$.
Also, you can take your favourite explicit filter $U'$ and define the ideal $M'$ as above, and have a non-maximal but explicit ideal which contains $I$. 
A: This may be relevant: 
Call an ideal on your ring free if there is no point where all functions in this ideal vanish. Then the following holds:
The existence of a definable (in the language of Zermelo Fraenkel set theory with choice) free maximal ideal on the ring of continuous functions from reals to reals is independent.
The consistency of the existence of such an ideal follows from fact that the axiom of constructibility implies that the universe has a definable well ordering.
The consistency of the non existence of a definable maximal free ideal follows from an old result of Solovay which says that there is a model of set theory in which every definable set of reals is Lebesgue measurable (one also needs to assume that inaccessibles are consistent). The reason why Solovay's model doesn't have definable maximal free ideals is that every such ideal can be used to get a non principal ultrafilter over natural numbers which corresponds to a non measurable subset of the unit interval. This passage from the ideal to the non measurable set is definable hence there cannot be a definable maximal free ideal in Solovay's model.
Edit: I wrote a short note on this here.
A: As Ashutosh points out, it's impossible to describe $M$ constructively.
However, from a practical point view, the "untouchability" of ultrafilters and maximal ideals in $\mathcal C(\mathbb R)$is not necessarily a problem. Usually, you only care about a finite, countable, or otherwise bounded cardinality of "properties" of $M$, so you can choose any ideal $J \supseteq I$ that has everything you want and pick $M$ maximal containing $J$. In other words, $J$ approximates $M$, and that's often good enough.
