I am reading up the proof of Hensel's lemma here. On page 2, after equation 2, the author concludes that the degree of $\delta h_k$ is less than $n$ since the degree of $\Delta$ and $\epsilon g_k$ is less than $n$. I am not sure I understand this. We only know that $\Delta \cong \epsilon g_k +\delta h_k \mod{\mathfrak{m}^{k+1}[x]}$, so how do we get this equality of degrees?
Proof of Hensel's lemma
5
$\begingroup$
commutative-algebra
-
1The examples given after the proof in that link are not terribly compelling. His version of Hensel's lemma involves the lifting of fairly general factors over A/m to a factorization over A but he only illustrates it with simple linear factors, for which the simpler version of Hensel's lemma about lifting simple roots would be adequate. – 2011-09-08
1 Answers
2
I'm not sure what he has in mind, but one way to proceed is to apply division algorithm to $\Delta - \epsilon g_k$ divided by $h_k$ in $(A/m^{k+1})[x]$ in equation 2. Equation 2 tells you it's divisible and uniqueness tells you $\delta$ has degree $< r$.
-
0Thanks for the prompt response. I understand your argument if $\delta$ were to be monic. I don't see this (if true) and otherwise, how are we sure that the degree is not reduced while reducing modulo $m^{k+1}$. – 2011-09-08
-
01. I'm dividing by $h_k$ which is monic. – 2011-09-08
-
02. $\delta$ is not really fixed as in the notes. Rather, all you need is one $\delta$ that satisfies equation 2 and has degree less than $r$. – 2011-09-08
-
0I understand you are dividing by $h_k$. I am just saying when considering this equation in $A/m^{k+1}$, we are reducing the coefficients of all polynomials in equation 2 modulo $m^{k+1}$. So in the reduced ring we conclude the image of $\delta$ has degree less than $r$. How do we conclude that $delta$ itself has degree less than $r$ in case it is not monic. – 2011-09-08
-
0You are thinking about $\delta$ being a chosen element in $A[x]$ that satisfies equation 2. I'm saying that do NOT do so, instead define $\delta$ as a lift of the unique element in $(A/m^{k+1})[x]$ that satisfies equation 2. Division algorithm says that the unique element in $(A/m^{k+1})[x]$ is of degree less than $r$, so obviously you can lift it to $A[x]$ with same degree. Then show that this lift lies in $m^k[x]$ which finishes the proof. – 2011-09-08
-
0Oh, OK. I get it now. Your $\delta$ may be different from the author's, but this way works. Thanks. – 2011-09-08
-
0Sure, that's why I said in point 2 that "\delta" is not really fixed as in the notes". I'm not sure how the author proceeded though. – 2011-09-08