Ring homomorphism and subrings

  • Thread starter Thread starter gotmilk04
  • Start date Start date
  • Tags Tags
    Ring
Click For Summary

Homework Help Overview

The discussion revolves around proving properties related to ring homomorphisms, specifically focusing on the image of a ring homomorphism as a subring, the kernel of the homomorphism, and the behavior of the identity element under certain conditions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the requirements for a subset to be a subring, including closure under multiplication and subtraction. The original poster seeks guidance on how to demonstrate that the image of a ring homomorphism is a subring.

Discussion Status

Some participants have provided insights into the properties that need to be shown for a subset to qualify as a subring. There is an ongoing exploration of how to apply these properties to the specific parts of the problem.

Contextual Notes

The original poster expresses uncertainty about the approach to take for demonstrating the properties of subrings, indicating a need for clarification on the definitions and requirements involved.

gotmilk04
Messages
44
Reaction score
0

Homework Statement


Prove that if f:R-R' is a ring homomorphism, then
a) f(R) is a subring of R'
b) ker f= f^{-1}(0) is a subring of R
c) if R has 1 and f:R-R is a ring epimorphism, then f(1_{R})=1_{R'}


Homework Equations


For a ring homomorphism,
f(a+b)= f(a) + f(b)
f(ab)= f(a)f(b)


The Attempt at a Solution


In order to show something is a subring of something else, do I just show that the former satisfies the properties of a ring?
Like in a), would I show that f(R) is a ring?
I just need a little guidance please.
 
Physics news on Phys.org
A subring is a subset of a ring that is a ring under the same binary operations. You must show that your subset is closed under multiplication and subtraction if you want to show it's a subring
 
So for part a), I would do
let a,b\in R and f(a),f(b)\in R'
So f(a)-f(b)= f(a-b) \in R'
and f(a)f(b)= f(ab)\in R'?
 
Yes, and similar for part (b)
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K