227,040pages on
this wiki
Add New Page
Discuss this page0 Share

I.2.1 can be use to solve I.2.2 and I.2.3 giving the latter two height and volume 2. Similarly I.2.3 can be used to solve I.2.4 giving the it height 2 and volume 3. The rest of the problems have height 1.



  • the hint says it all


  • For (1) ==> (2) use I.2.1
  • Here is (3) ==> (1). For any projective point p, some coordinate of p doesn't vanish, say  p_j \ne 0. Then x_j^d is not zero at p hence  p \not \in V(a)


  • The first three parts are basic algebraic reasoning.
  • For d, if V(a) is nonempty then  a is a proper homogeneous ideal and I.2.1 implies I(V(a)) \subset \sqrt{a}, the other inclusion follows because a field has no nonzero nilpotentns.
  • For e, give parts a and b the same proof that is used in prop. I.1.2 works here.


a) Say Y_i = \overline{Y_i} are algebraic sets such that I(Y_1) = I(Y_2) then using I.2.3e I(Y_i) = I(Y_1) \cap I(Y_2) = I(Y_1 \cup Y_2) etc so  Y_1 \cup Y_2 \subset Y_i which shows  Y_1 = Y_2.
a similar argument works to show V(I_1) = V(I_2) implies  \sqrt I_1 = \sqrt I_2
b) similar to the affine argument given in section 1.1
c) follows from b) because (0) is a prime ideal.


  • The first statement follows because a descending chain of closed sets corresponds to an ascending chain of radical ideals in a noetherian ring.
  • The second statement follows form prop. I.1.5 ( for a noeth. top. sp. every closed can be expressed as finite union of irred. closed sets.)

You'll Want to use proposition I.1.5

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.