Proving f(1) = 1 for a Surjective Ring Function

  • Thread starter Thread starter mattmns
  • Start date Start date
  • Tags Tags
    Ring
mattmns
Messages
1,121
Reaction score
5
I have this question, just curious if what I did is correct.
----
Let A and R be rings, and let f:A->R be a function satisfying:

f(a+b) = f(a)+f(b) and f(ab) = f(a)f(b).

Prove that if f is surjective, then f(1) = 1.
-----

Note: I will use * for multiplication for clarity where things would have just otherwise been next to each other.
Also, note that A and R are commutative rings, both of which have a multiplicative identity 1.

First, R is a ring, so 1 is in R. Also, because this function is surjective, there must be some a in A, that satisfies f(a) = 1. So, we can rewrite f(a) = 1 as: 1 = f(a*1) = f(a)f(1) = 1*f(1) [because f(a) = 1] = f(1) = 1.

That looks sufficient to me, but I don't like it when I don't use something I could have (ie, the + part of the function). Does this look correct? Thanks.
 
Physics news on Phys.org
Yes, but you have 1 = ... = f(1) = 1. You shouldn't have that underlined part.
 
AKG said:
Yes, but you have 1 = ... = f(1) = 1. You shouldn't have that underlined part.
Thanks. You are right, I cannot say that f(1) = 1 in that sense.
 
Yes, but of course you don't need to. You have 1 = ... = f(1), and that's all you needed.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top