I do not fully understand the proof of Lemma 5.6 in the book A Course in Commutative Algebra of Gregor Kemper (you can find it here)
The lemma states that : If $A$ is an algebra over a field $k$, $S\subset A$ be a generating set of $A$ as a $k$-algebra. Then : dim$A \le \sup\lbrace |T||T\subseteq S$ is finite and algebraically indenpendent$\rbrace$
I post here the paragraph that I do not understand(it will be written in incline text), if you need a full proof, please comment.
Assume $n>0$ and let $P_{0}\subset P_{1}\cdots \subset P_{m}$ be a chain in Spec$(A)$. Factoring by $P_{1}$ yields a chain in Spec$(A/P_1)$ of length $m-1$. If we can show that all algebraically independent subsets $T\subseteq \lbrace a+P_1|a\in S\rbrace \subseteq A/P_1$ have size $|T|
, then we can use induction on $n$ By way of contradiction , assume that there exist $a_1,\cdots, a_n \in S$ such that $\lbrace a_1+P_1, \cdots. a_n+P_1 \rbrace \subseteq A/P_1$ is algebraically independent of size $n$ then $\lbrace a_1,\cdots, a_n\rbrace \in S$ is algebraically independent. By the definition of $n$, all $a\in S$ are algebraic over $L:=$Quot$(k[a_1,\cdots,a_n])$, so Quot$(A)$ is algebraic over $L$, too. There exist a non-zero element $a$ of $P_1$. We have a non-zero polynomial $G=\sum^{k}_{i=0}g_{i}x^{i}\in L[x]$ with $G(a)=0$
My two question are :
- What kind of induction that Kemper mention? Can anyone point it out explicitly?
- Why we can find a non-zero polynomial $G$ above? Kemper just mentioned only the algebraic property of Quot$(A)$ over $L$.
Thank for reading my question. I hope you will fell freely helping me. Thank you very much!