(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

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

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Monic irreducible polynomials in valued fields

**Physics Forums | Science Articles, Homework Help, Discussion**