212,936pages on
this wiki
Add New Page
Add New Page Discuss this page0

This problem has Harthshorne Height 1


Say Y = Z(I) and H = Z(f) then recall Y \cap H = Z(I,f). As Y is a variety, its associated ideal is prime. Use commutative algebra results to show  \dim Y = ht P_i + \dim B/P_i where B is the affine coordinate ring of Y and P_i are certain minimal primes.

Commutative Algebra

  • \sqrt I = \cap P where the intersections ranges over all primes P \supset I
  • Krull: If f is a nonzero divisor then the minimal primes containing (f) have height 1.
  •  P \subset k[x_1,...,x_n] = A a prime then ht P + \dim A/P = \dim A

Also on Fandom

Random wikia