I am stuck trying to prove this:

Let $k$ be any field, $F\in k[X]$ a monic polynomial of degree $n>0$. Then the residues $\bar{1},\bar{X},...,\overline{X^{n-1}}$ form a basis for $k[X]/(F)$ over $k$.

I thought I had done it correctly but my proof isn't convincing me, so back to square one.

Any help will be greatly appreciated!

EDIT: The question does say "any field" but it is in the section that says $k$ is algebraically closed for the whole section.

Here's the attempt.

Let $G$ be any polynomial with residue $\bar{G}\in k[X]/(F)$, so $G-aF^m=0$ for some $a\in k$ and $m>0$. Since $k$ is algebraically closed, we may divide $G$ by the irreducible factors of $F$ so that $G$ does not vanish for any $P\in V(F)$. Moreover, since $F$ is monic, $\deg(G)=\deg(G-aF^m)+1$ for some $a\in k$ and $m>0$. It follows then that $\{\bar{1},\bar{X},...,\overline{X^{n-1}}\}$ is a basis for $k[X]/(F)$.

  • $\begingroup$ How about showing us that proof of yours? We could perhaps show you if you've done something wrong? $\endgroup$ – The Count Jan 2 '17 at 20:55
  • $\begingroup$ Ok, thank you for the quick response. I've edited it in. $\endgroup$ – Purple Jan 2 '17 at 21:01
  • $\begingroup$ It isn't net the case that any $G=aF^m$, instead you want to say that any polynomial is a sum of monomials and then use my answer to show that only the first $n$ monomials are required $\endgroup$ – Rene Schipperus Jan 2 '17 at 21:25

The fact that $F$ is monic is useful it says that $$x^{n}=a_1x^{n-1}+\cdots +a_n.$$

  • 3
    $\begingroup$ I don't mean to be rude, but this doesn't even sort of answer the question. $\endgroup$ – The Count Jan 2 '17 at 21:03
  • $\begingroup$ I don't think that's true :/ $F$ being monic and of degree $n$ means it is in one variable and with coefficient 1 for its $X^n$ term. $\endgroup$ – Purple Jan 2 '17 at 21:04
  • $\begingroup$ What the hell are you guys talking about ? $x^k$ $k\in \mathbb{N}$ generates $k[x]$ and the above relation which holds modulo $F$ show that only the first $n$ of these elements are required to generate the ring. $\endgroup$ – Rene Schipperus Jan 2 '17 at 21:16
  • $\begingroup$ @Rene Schipperus Apologies, the way you worded your answer I thought you giving me the definition of "monic". I'll try this exercise again. $\endgroup$ – Purple Jan 2 '17 at 21:43
  • 1
    $\begingroup$ @TheCount one ought be able to wear more than one hat at a time... they should do that. $\endgroup$ – Rene Schipperus Jan 3 '17 at 1:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.