Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I don't understand the proof of Noether Normalization Lemma in "Algebraic Geometry and Arithmetic Curves" . Liu considers first the case $k[X_1,X_0]/I$, then $k[X_1,X_1]/I=k[X_1]/I$, then again $k[X_1,X_2]/I$. It feels strange that induction proves the theorem for two variables, then for one variable, then again for two variable and the rest cases. Is there a mistake in subscripts or does $k[X_1,X_0]/I=k/I$?

It looks like a mistake or then I have misunderstood the notation of $k[X_1,X_0]$ as the proof given in http://www.proofwiki.org/wiki/Noether_Normalization_Lemma follows from induction on number of generators.

share|improve this question
1  
You're looking at Proposition 1.9? I don't see the objects that you're describing. –  Dylan Moreland Jul 6 '12 at 21:33
    
Yes. He takes $A=k[X_1,\ldots,X_n]/I$. If $n=0$ we have $A=k[X_1,X_0]/I$. If $n=1$ we have $A=k[X_1]/I$. If $n\geq 2$ then we have $A=k[X_1,\ldots,X_n]/I$. –  Jaakko Seppälä Jul 6 '12 at 21:44
1  
If $n=0$ we have $A=k$. The notation $1,2,\dots,n$ means all the integers greater than 1 and less than or equal to $n$. Hence when $N=0$ you have the empty set. –  JSchlather Jul 6 '12 at 21:46
    
$n=0$ is $A=k/I$, I think. –  Dylan Moreland Jul 6 '12 at 21:47
4  
Maybe one of the commenters should post an answer (maybe community wiki) in order to insure this question does not stay unanswered. –  M Turgeon Jul 6 '12 at 23:13
show 2 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.