Re: Hom_R(R,R) question, rings

From: Ron Sperber (ronsperber_at_optonline.net)
Date: 01/31/05 

Date: Sun, 30 Jan 2005 19:42:20 -0500

Tony wrote:
> I am trying to prove that Hom_R (R,R) is isomorphic to R as a ring
> isomorphism.
>
> Clearly if f : R ---> R is an R-module homomorphism, then f is determined by
> where f sends 1, since f(r) = f(r*1) = rf(1).
>
> So, I want to make the ring map :
>
> h : Hom_R (R,R) ----> R
>
> h(f) = h(1).
>
> But I can't show part of the ring homomorphism property :
>
> Specifically,
>
> h(fg) = (f o g)(1) = f(g(1))
>
> h(f)h(g) = f(1)g(1).
>
> So don't we need to assume that a ring homomorphism takes 1 to 1?
>
> When can I not assume that a ring homomorphism takes 1 to 1 in general?
>
> Thanks for your help,
>
> Tony
>
>
A ring homomorphism MUST take 1 to 1, since if h:R->R is a ring
homomorphism, then h(r)=h(1r)=h(1)h(r), so h(1)=1. But you are looking
at Hom_R(R,R) the set of R-module homomorphisms. I think your trouble is
that multiplication in Hom_R(R,R) is defined not by composition but by
multiplication. i.e. h(fg)=fg(1)=f(1)*g(1) not, f o g(1).

Relevant Pages

  • Re: Ring Homomorphism
    ... >Suppose I wish to construct an injective mapping from ... If this is meant to be a ring homomorphism, you are going to be in ... when n is composite, Z_n has zero divisors but F_p^m ...
    (sci.math)
  • Re: abstract algebra.....
    ... If f ring homomorphism from field F onto non-trivial ring R, ... Some nonzero a in R. Some x in F with f= a. ... Thus when f:R -> R' is ring homomorphism onto a non-trivial ring R' ...
    (sci.math)
  • Re: Direct limit of a sequence of imbeddings
    ... > For a direct product of rings, ... > the factor ring to the 1 of the direct product. ... > but only has module-theoretic monomorphisms, not ring-theoretic, since ... > for a ring homomorphism, we require 1 to map to 1. ...
    (sci.math)
  • Hom_R(R,R) question, rings
    ... I am trying to prove that Hom_R is isomorphic to R as a ring ... isomorphism. ... I want to make the ring map: ... So don't we need to assume that a ring homomorphism takes 1 to 1? ...
    (sci.math)
  • Re: Hom_R(R,R) question, rings
    ... >I am trying to prove that Hom_R is isomorphic to R as a ring ... I want to make the ring map: ... The only ring homomorphism is h, ... --- Calvin ...
    (sci.math)