Ring homomorphism and subrings

  • Thread starter gotmilk04
  • Start date
  • Tags
    Ring
R) is the identity element in R'.In summary, to 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, and c) if R has 1 and f:R-R is a ring epimorphism, then f(1_{R})=1_{R'}, you must show that the subsets satisfy the properties of a ring and use the definitions of
  • #1
gotmilk04
45
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[tex]^{-1}[/tex](0) is a subring of R
c) if R has 1 and f:R-R is a ring epimorphism, then f(1[tex]_{R}[/tex])=1[tex]_{R'}[/tex]


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
  • #2
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
 
  • #3
So for part a), I would do
let a,b[tex]\in R[/tex] and f(a),f(b)[tex]\in R'[/tex]
So f(a)-f(b)= f(a-b) [tex]\in R'[/tex]
and f(a)f(b)= f(ab)[tex]\in R'[/tex]?
 
  • #4
Yes, and similar for part (b)
 

1. What is a ring homomorphism?

A ring homomorphism is a function between two rings that preserves the algebraic structure. This means that the function must satisfy the properties of addition and multiplication for both rings. In other words, if we have two elements a and b in the first ring, and their corresponding images under the function are c and d in the second ring, then the function must satisfy f(a+b) = f(a) + f(b) and f(ab) = f(a)f(b).

2. How is a ring homomorphism different from a ring isomorphism?

A ring homomorphism preserves the algebraic structure of the rings, while a ring isomorphism also preserves the multiplicative identity and the existence of inverses. In other words, a ring isomorphism is a bijective ring homomorphism.

3. Can a ring homomorphism be a one-to-one function?

Yes, a ring homomorphism can be a one-to-one function, but it is not always the case. A one-to-one function means that each element in the first ring has a unique image in the second ring. However, this does not necessarily mean that every element in the second ring has a pre-image in the first ring.

4. What is a subring?

A subring is a subset of a ring that satisfies the properties of addition, multiplication, and contains the additive and multiplicative identities of the original ring. In other words, a subring is a smaller ring that is contained within a larger ring.

5. Can a subring have a different multiplicative identity than its parent ring?

Yes, a subring can have a different multiplicative identity than its parent ring. However, the multiplicative identity of the subring must still be an element of the parent ring. This means that the subring must be a subset of the parent ring's multiplicative set.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
14
Views
2K
  • Topology and Analysis
Replies
11
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
3K
  • Calculus and Beyond Homework Help
Replies
12
Views
3K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
2K
Back
Top