1. The problem statement, all variables and given/known data F a field. Prove that every nonzero f(x) in F[x] has a unique monic associate in F[x]. 2. The attempt at a solution Since F is a field, there exists a unit u in F and a function f(x) in F[x] such that g(x)=uf(x) with g(x) in F[x] a monic associate of f(x). ---- I'm having issues figuring out how to explain that it's unique. I haven't done a proof like that before and I only have the proofs in class to go about doing that. I want to say something that then there also exists a unit u' in F such that g(x)=u'f(x) but am i allowed to then say u'f(x)=uf(x) and cancel the f's? i just need a little push in the right direction. thanks.