62
$\begingroup$

I'm currently studying Polynomial Rings, but I can't figure out why they are Rings, not Fields. In the definition of a Field, a Set builds a Commutative Group with Addition and Multiplication. This implies an inverse multiple for every Element in the Set.

The book doesn't elaborate on this, however. I don't understand why a Polynomial Ring couldn't have an inverse multiplicative for every element (at least in the Whole numbers, and it's already given that it has a neutral element). Could somebody please explain why this can't be so?

$\endgroup$
  • 10
    $\begingroup$ Take polynomial $f(x) = x$ and check that it can't have inverse. $\endgroup$ – falagar Aug 15 '10 at 13:50
  • 40
    $\begingroup$ The favourite question of my students at this point: "Why isn't $1/x$ a polynomial?" :-) $\endgroup$ – Agustí Roig Aug 15 '10 at 14:01
  • 12
    $\begingroup$ @SB: Well, a simpler way of looking at it is that a polynomial has to be continuous everywhere; 1/x clearly isn't. $\endgroup$ – J. M. is a poor mathematician Aug 15 '10 at 14:55
  • 4
    $\begingroup$ You might find it useful to look at the field of fractions of a polynomial ring. By looking at this and comparing the differences, I think it will be illuminating for you. Plus it will get you thinking in the direction of localization, which is a good direction to be thinking. :) $\endgroup$ – BBischof Aug 15 '10 at 22:17
  • 2
    $\begingroup$ @J.M., polynomials over arbitrary fields aren't "continuous" anywhere. In fact, you can use $x$ just as a mark, and not ever consider the polynomial as a function. Yes, for $\mathbb{R}[x]$ this makes sense, but don't get boxed in. $\endgroup$ – vonbrand Mar 12 '14 at 0:05
168
$\begingroup$

Hint $\rm\quad\rm x \, f(x) = 1 \,$ in $\,\rm R[x]\ \Rightarrow \ 0 = 1 \, $ in $\,\rm R, \, $ by evaluating at $\rm\ x = 0 $

Remark $\ $ This has a very instructive universal interpretation: if $\rm\, x\,$ is a unit in $\rm\, R[x]\,$ then so too is every $\rm\, R$-algebra element $\rm\, r,\,$ as follows by evaluating $\ \rm x \ f(x) = 1 \ $ at $\rm\ x = r\,.\,$ Therefore to present a counterexample it suffices to exhibit any nonunit in any $\rm R$-algebra. $ $ A natural choice is the nonunit $\,\rm 0\in R,\,$ which yields the above proof.

$\endgroup$
  • 10
    $\begingroup$ This is a good answer! The type of answer I really want to remember when my students ask this question! So much better than the degree argument! In short, I love it!!! $\endgroup$ – BBischof Aug 15 '10 at 22:15
  • 3
    $\begingroup$ I agree--this is extremely elegant, exactly what you want in a proof. I upvoted it! $\endgroup$ – user452 Aug 19 '10 at 12:49
15
$\begingroup$

Because by definition, the only polynomial that can have a negative degree is $0$, which is defined to have a degree of $-\infty$. Non-zero constants have degree $0$. You then have the degree equation: $\deg (fg) = \deg (f) + \deg (g)$ for any polynomials $f,g$. By inspection, any polynomial of degree $n \geq 1$ would need as an inverse a polynomial of degree $-n$, which does not exist (i.e. what Agusti Roig said!) The set you want does exist, however: it is called the field of rational functions, and is precisely the set of ratios of polynomials. It is constructed the same way that the field of rational numbers is from the ring of integers.

$\endgroup$
  • 7
    $\begingroup$ The degree equation only works for polynomial rings over domains. $\endgroup$ – azimut May 8 '15 at 8:59
11
$\begingroup$

For $F[x]$ to be a field, you need to show there is an inverse for each element that isn't 0. Now $x \in F[x]$, and clearly $x \ne 0$ (considered as a polynomial). But if you multiply $x$ by any non-zero polynomial, the result will always contain $x$ or higher powers, so it has no inverse.

$\endgroup$
3
$\begingroup$

Consider $\mathbb{C}[x]$ the ring of polynomials with coefficients from $\mathbb{C}$. This is an example of polynomial ring which is not a field, because $x$ has no multiplicativ inverse.

$\endgroup$
3
$\begingroup$

The units of $D[x]$ are exactly the units of $D$, when $D$ is a domain.

$\endgroup$
  • 4
    $\begingroup$ While this is true when $D$ is an integral domain, it fails for general commutative rings (but still $D[X]$ is never a field). $\endgroup$ – Robin Chapman Aug 15 '10 at 15:55
  • $\begingroup$ @Robin: edited, thanks. $\endgroup$ – lhf Aug 15 '10 at 20:28
-1
$\begingroup$

Let $R$ be a field. If $f$ is a polynomial whose degree is at least 1 in $R[x]$, then $f$ cannot have an inverse.

For if $f(x)g(x) = 1$, where $f$ and $g$ are polynomials whose degree is at least 1 in $R[x]$, then the leading coefficient of $g$ would have to be $0$, which is impossible.

$\endgroup$
  • 2
    $\begingroup$ Well. If $F=\Bbb{Z}_4$, then we have $$(1+2x)(1+2x)=1+4x+4x^2=1.$$ $\endgroup$ – Jyrki Lahtonen Mar 18 at 14:59
  • $\begingroup$ may be just restrict R to be a field. my answer was not for any ring .. :) im wrong $\endgroup$ – kjce Mar 18 at 15:13

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.