Is it true that, if S is a subring of a separable topological Noetherian ring R, then S is separable, too ?
While looking through old questions, I came accross this one, and decided to throw my hat into the "ring."
Partial Answers and Observations:
Putting (1), (2), and (3) together produces a topological space which is about as close to a normal Moore space as you can get without actually being one, that is to say, under these assumptions: $R$ is a separable completely regular developable Hausdorff space, (and we haven't even invoked the ACC yet)
The interesting Part:
Ignoring for the moment the previous assumptions, intuitively, the ACC should somehow produce a covering property for this particular space. However, there is an interesting problem when it comes to the definition of subgroup/subring (which is required to get to the notion of ideal needed to apply the ACC): will they be open, closed, neither? Because of this we cannot really apply the ACC, to produce a nice covering property that might have tied everything together (like Lindelöf.)
Edit: While poking around Wiki, I came across something I felt I needed to add
However, if you mean that the space is a Noetherian topological space, then we get some gnarlly consequences ( http://en.wikipedia.org/wiki/Noetherian_topological_space ), like the fact that the space is compact! Which is exactly the thread we would want to tie everything together, and produces a normal moore space.
The Reality of the Matter:
The question is ill-posed, in that we do not have enough information to properly deduce a valid and fully general answer. My answer to this question has tried to highlight this point by giving you a case where, you can be about as close as you might ever want to be to something genuinely interesting, and then failing to make it interesting because of the incompatibility of the algebraic assumption with the topological ones. Even if we consider the other possibility we enter one of those strange and beautiful areas in topology where things being to become independent of $ZFC$.
Because of this freedom or lack of information, we are left with an answer of Most Likely No. (Weak answer I know) But I can make this claim, because we honestly do not completely understand the notion of hereditary separability (in fact it was only in 2006 that J T Moore was able to produce a ZFC example of an L-space Article)
Unless I misunderstand something here, this has to be true, but has nothing to do with the ring structure. A subspace of a separable topological space is itself separable. That is, of course, unless separable is in this context an algebraic concept, and not the usual topological one.
|show 2 more comments|