Let be the reduced union of the irreducible components of an affine variety containing . Removing all other components leaves an open neighbourhood of on which and agree, so their local rings at agree. In the coordinate ring , every denominator not vanishing at avoids all minimal primes: each component of contains . Such a denominator is a non-zero-divisor. Consequently injects into the total quotient ring . One cannot generally replace by a single component through an intersection point.
Articles by others on the same topic
There are currently no matching articles.