- #1
Mathmos6
- 81
- 0
Homework Statement
I am trying to work out a solution to the following problem, where we are working in a field [itex]K[/itex] complete with respect to a discrete valuation, with valuation ring [itex]\mathcal{O}[/itex] and residue field [itex]k[/itex].
Q: Let [itex]f(X)[/itex] be a monic irreducible polynomial in [itex]K[X][/itex]. Show that if [itex]f(0) \in \mathcal{O}[/itex] then [itex]f \in \mathcal{O}[X][/itex].
I am meant to use the following result I have proved:
Let [itex]f(X) \in \mathcal{O}[X] [/itex] be a polynomial, and suppose [itex]\overline{f}(X) = \phi_1 (X) \phi_2(X) [/itex] where [itex]\phi_1,\,\phi_2 \in k[X] [/itex] are coprime. Show that there exist polynomials [itex]f_1,\,f_2 \in \mathcal{O}[X][/itex] with [itex]f(X)=f_1(X)f_2(X) [/itex], [itex]\text{deg}(f_1) = \text{deg}(\phi_1) [/itex] and [itex]\overline{f_i} = \phi_i[/itex] for [itex]i=1,\,2 [/itex] (where [itex]\overline{\cdot} [/itex] denotes the reduction from [itex]\mathcal{O}[/itex] down into the residue field [itex]k[/itex].)
So, I spoke to the person who wrote the problem sheet who said (briefly) "In this question you should clear denominators and apply Q6." (Q6 being the result I stated above).
I believe I'm meant then to multiply [itex]f[/itex] through by some constant with sufficiently large valuation to get some [itex]g[/itex] which lies in [itex]\mathcal{O}[X][/itex] (since [itex]\mathcal{O} = \{c \in K: \, v(c) \geq 0\}[/itex]), and then I'm not sure where I'm meant to go from there: do I suppose some sort of factorisation and then apply irreducibility to get a contradiction? It also isn't clear to me where the condition on [itex]f(0)[/itex] is applied. I've been confused by this for ages so please, the more help you can give me the better. Many thanks in advance :) ---M