Ring homomorphisms of polynomial rings

  • Thread starter missavvy
  • Start date
  • #1
82
0

Homework Statement



Let R be a commutative ring and let fa: R[x] -> R be evaluation at a [tex]\in[/tex] R.
If S: R[x] -> R is any ring homomorphism such that S(r) = r for all r[tex]\in[/tex] R, show that S = fa for some a [tex]\in[/tex] R.

Homework Equations





The Attempt at a Solution



I don't get this at all.. really.. :S

Is this to show that for any ring homomorphism, you can evaluate it at some a in Z(R)?

Help?
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,260
619
Take the polynomial x in R[x]. S(x) is in R. Call it 'a'. Can you show, for example, that S(x^2)=a^2?
 
  • #3
82
0
So then S(x^2) = x^2, which is an element of R[x] and since fa: R[x] -> R is evaluation at a, we can sub in the a for x and get a^2... ?
 
  • #4
Dick
Science Advisor
Homework Helper
26,260
619
So then S(x^2) = x^2, which is an element of R[x] and since fa: R[x] -> R is evaluation at a, we can sub in the a for x and get a^2... ?
No. You want to PROVE that S is evaluation at a. Use that S is a ring homomorphism. S(x^2)=S(x*x)=S(x)*S(x), right?
 
  • #5
82
0
Ok, well then S(x)*S(x) = a*a = a^2 = x^2.... ?
 
  • #6
Dick
Science Advisor
Homework Helper
26,260
619
Ok, well then S(x)*S(x) = a*a = a^2 = x^2.... ?
So far so good. Now you've got S(x^2)=f_a(x^2). What about the rest of the polynomials? And saying a^2=x^2 is wrong and sloppy. a^2 is a real number, x^2 is a polynomial. S(x^2)=a^2. x^2 isn't equal to a^2.
 
  • #7
82
0
So I have to show that S(a_0 + a_1x+ ... + a_nx^n) = f_a(a_0+..+a_nx^n).
I don't really understand how I separate the terms of the polynomial to get to the point where they end up as evaluation at a.. do I have to define each x^k term to be = a^k for k = 0, n?
 
  • #8
Dick
Science Advisor
Homework Helper
26,260
619
So I have to show that S(a_0 + a_1x+ ... + a_nx^n) = f_a(a_0+..+a_nx^n).
I don't really understand how I separate the terms of the polynomial to get to the point where they end up as evaluation at a.. do I have to define each x^k term to be = a^k for k = 0, n?
You do it the same way you did x^2, missavvy. And use S(a+b)=S(a)+S(b) in addition to S(a*b)=S(a)*S(b). Do you know what 'ring homomorphism' means? If not, could you look it up, please?
 
Last edited:
  • #9
82
0
Yes sir :) Got it thanks.
 

Related Threads on Ring homomorphisms of polynomial rings

  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
1
Views
1K
Replies
9
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
4
Views
2K
Top