Re: Prime Spectrum and Axiom of Choice

On Wed, 22 Aug 2007 00:08:09 -0700, Jose Capco
<cliomseerg@xxxxxxxxxxxxxxxxxxxxxxxxx> wrote:

On Aug 20, 6:23 pm, quasi <qu...@xxxxxxxx> wrote:

I think you should restate your new conjecture in full.

It's too confusing to try to piece together the various scattered
parts to see what you are now claiming.

quasi

Sorry, I was busy in some other things so I couldnt reply at once..
Ok, sorry for the confusion

The question/conjecture NOW is:

Let R be a reduced commutative unitary ring
For X subset of Spec R, denote as usual I(X) = intersection of all Q
in X .

Is this a characterization for isolated points of Spec R:

-- Begin of Conjecture --
P is an isolated point of Spec R
iff
There exists an X subset of Spec R such that :
----------------------
- I(X)=0
- There exists P_0 in Spec A\{P} with I(X\{P}) is contained in P_0
--------------------------
-- End of Conjecture --

You may want to rethink the wording.

The forward direction, if true, may end up being a triviality.

But the reverse direction has no chance.

quasi
.

Relevant Pages

  • Re: Trying to understand overflow:hidden
    ... the border for outer extends below the two floating divs, Previously, outer had no content, now apparently it does. ... I think it might have something to do with the clip attribute but this behavoiur doesn't seem to follow the spec at all. ... the most confusing and important part of the spec is probably §10 Visual formatting model details. ... Only children in the normal flow are taken into account (i.e., floating boxes and absolutely positioned boxes are ignored, and relatively positioned boxes are considered without their offset). ...
    (comp.infosystems.www.authoring.stylesheets)
  • Re: COM/COM+ Components running in Linux?
    ... > I think you're confusing M$ pushing DCOM/MTS with COM. ... Where is the spec, if it ... It also exists on OpenVMS, Digital Unix, Solaris, HP-Unix. ...
    (alt.os.linux)
  • Re: Prime Spectrum and Axiom of Choice
    ... I think you should restate your new conjecture in full. ... It's too confusing to try to piece together the various scattered ... Is this a characterization for isolated points of Spec R: ... I negated the condition in my original post. ...
    (sci.math)
  • Re: Naming structs with a variable
    ... be confusing? ... difference between them is that one is a class and one is a struct. ... Where exactly is "lightweight class" defined in the first place? ... not in the C# spec as far as I'm aware - the C# spec gives details ...
    (microsoft.public.dotnet.languages.csharp)
  • Re: Prime Spectrum and Axiom of Choice
    ... for a statement of the form A iff B, ... and by the reverse direction I mean B => A. ... I meant to write the negation of my original post. ... So let us fix the ring R, and the prime P in Spec R ...
    (sci.math)