Homomorphism and Subrings

by samtiro
Tags: homomorphism, subrings
samtiro is offline
Oct28-10, 05:56 PM
P: 3
1. The problem statement, all variables and given/known data

Let f: R -> S be a homomorphism of Rings and T a subring of S.
Let P = { r belongs to R | f(r) belongs to T}
Prove P is a subring of R.

2. Relevant equations
Theorems used:
If S and nonempty subset of R such that S is closed under multiplication and addition, then S is a subring of R.

If f : R -> S a homomorphism of rings, then f(OR) = 0S
(0R is the 0th element of R and similar for 0S)

3. The attempt at a solution

First i showed P nonempty. R is a ring So O(R) belongs to R. Then f(0R) = 0S because f is a homomorphism and f maps the zero element to the zero element ( prevevious result)

But T is a Subring of S so 0S belongs to T thus P is nonempty.

(There is a theorem that says if I show P is nonempty I just now show closure under subtraction and multiplication to show P is a subring)

So let x and y belong to P
Now f(x-y) = f(x) - f(y). Doesn't this have to belong to T?
Both f(x) and f(y) are in T since each x and y belong to P
But because T is a subring of S isn't it closed under subtraction already so f(x) - f(y) belongs to T?

Then f(xy) = f(x)f(y) and a similar argument holds?
Phys.Org News Partner Science news on Phys.org
Lemurs match scent of a friend to sound of her voice
Repeated self-healing now possible in composite materials
'Heartbleed' fix may slow Web performance
micromass is online now
Oct28-10, 08:04 PM
micromass's Avatar
P: 16,528
This is entirely correct. And the multiplication is indeed analogous.

Register to reply

Related Discussions
The Center of a Ring and Subrings! Calculus & Beyond Homework 5
Gracias Homomorphism Linear & Abstract Algebra 1
Subrings Calculus & Beyond Homework 7
Ring homomorphism and subrings Calculus & Beyond Homework 3
Subrings and Subfields Linear & Abstract Algebra 14