functional subrings - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T05:22:36Z http://mathoverflow.net/feeds/question/105731 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/105731/functional-subrings functional subrings AliReza Olfati 2012-08-28T14:51:37Z 2012-10-19T07:48:12Z <p>I should recall the notion of maximal subring of a commutative unitary ring $R$.</p> <blockquote> <p><strong>Def:</strong> A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a commutative ring with the restricted addition and multiplication of $R$ and also $S\subsetneq T$ then we could deduce that $T=R$.</p> </blockquote> <p>I am interested in studing this notion in <strong>Rings of continuous functions</strong>.</p> <p>We could easily deduce that for $x \neq y \in X$ The set of the form $$M_{x,y}=\Big(f\in C(X): f(x)=f(y) \Big)$$ forms a maximal subring of $C(X)$</p> <p>From the above summary and notations I could pose my Questions.</p> <blockquote> <p><strong>Question1:</strong> Is there a maximal subring in $C(X)$ other than all $M_{x,y}$'s?</p> <p><strong>Question2:</strong> Is $X$ compact if all maximal subrings of $C(X)$ is of the form $M_{x,y}$?</p> </blockquote> <hr> <p>PS:I suppose that all subrings of a commutative ring $R$ contains the unitary element of $R$. </p> http://mathoverflow.net/questions/105731/functional-subrings/105749#105749 Answer by Josh Ree for functional subrings Josh Ree 2012-08-28T18:52:56Z 2012-08-28T18:52:56Z <p>You're assuming that $C(X)$ actually separates the points of $X$. Otherwise one could have $M_{x,y}=C(X)$. </p> http://mathoverflow.net/questions/105731/functional-subrings/105812#105812 Answer by jbc for functional subrings jbc 2012-08-29T10:05:46Z 2012-08-29T14:54:54Z <p>Question 1 has a positive answer for general $X$. The reason for this is that $C(X)$ cannot distinguish between $X$ and its realcompactification. Hence if $X$ is not realcompact we construct $M_{x,y}$ as above with $x$ in $X$ and with $y$ in the realcompactification, but not in $X$. This is a maximal subring which does not have the required form.</p> <p>A good reference for this material is Weir's book "Hewitt-Nachbin spaces" (and, of course, Gilman and Jerison).</p> http://mathoverflow.net/questions/105731/functional-subrings/110072#110072 Answer by INI for functional subrings INI 2012-10-19T07:48:12Z 2012-10-19T07:48:12Z <p>Hi, Yes, C(X) has very different maximal subrings. First note that the real line, say R, has uncountable many maximal subrings, see for example A. Azarang and O.A.S. Karamzadeh works about the existence of maximal subrings in Fields and Commutative Rings, Hence for any fixed maximal ideal M_x of C(X), C(X) contains many maximal subrings different from the above. Also note that for any free maximal ideal M, C(X) contains a maximal subring which contains R.</p>