Can the Kernel of a Ring Homomorphism Equal 12Z or 13Z?

  • Context: MHB 
  • Thread starter Thread starter AkilMAI
  • Start date Start date
  • Tags Tags
    Kernel
Click For Summary

Discussion Overview

The discussion revolves around whether the kernel of a ring homomorphism from the integers (Z) to another ring (C) can equal the ideals 12Z or 13Z. Participants explore implications of the First Isomorphism Theorem and properties of integral domains.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant proposes a proof by contradiction, suggesting that if the kernel is 12Z, then the image must be a subring of C, which cannot be the case since 12Z is not an integral domain.
  • Another participant argues that if f(12) = 0, then it follows that f(1) must equal 0, contradicting the property of ring homomorphisms that f(1) = 1.
  • A different participant states that the kernel must either be 12Z or {0}, concluding that if the kernel is 12Z, then Z/ker f must be an integral domain, leading to the assertion that the kernel cannot be 12Z or 13Z.
  • Another participant reiterates that if the kernel is 12Z, it leads to a contradiction regarding the value of f(1), reinforcing the idea that the kernel cannot be 12Z or 13Z.
  • One participant expresses gratitude for the confirmation of their understanding regarding the kernel being {0}.

Areas of Agreement / Disagreement

Participants generally agree that the kernel cannot be 12Z or 13Z, but the discussion includes multiple perspectives on the reasoning behind this conclusion, indicating some level of contestation in the arguments presented.

Contextual Notes

Some arguments depend on the interpretation of properties of ring homomorphisms and the structure of integral domains, which may not be fully resolved within the discussion.

AkilMAI
Messages
73
Reaction score
0
Let f : Z ->C be a homomorphism of rings. Can the kernel of f be equal to 12Z or 13Z?
Ok,the way I'm thinking about it is using a proof by contradiction:asuming ker f=12Z...then by the First Isomorphism Theorem for rings Z/ker f ~im f where I am f is by definition a subring of C.But since I am f=12Z is not an integral domain and every subring in C is an integral domain the I am f will not be a subring oc C which is a contradiction.
The same thing with 13Z,is not equal with the kernel.
 
Physics news on Phys.org
Re: Kernerl and homomorphism

think about what happens to f(1).

if f(12) = 0, then f(12) = f(1 + 1 +...+ 1) = f(1) + f(1) +...+ f(1) = 12f(1) = 0.

since C is an integral domain, and 12 ≠ 0, f(1) = 0. but f(1) = 1, since f is a ring homomorphism.
 
Re: Kernerl and homomorphism

ok either ker f=12Z or ker f= {0}
f(n)=0>n*f(1)=0 but f(1)=1since f is a ring homomorphism.So ker f={0} or

Z/ker f is an integral domain since it is a subring of C =>ker f/=12Z. or ker f=/13
I'm I doing this wrong?
 
Re: Kernerl and homomorphism

f is ring homomorphism which means f(1) =1 must be
but if 12Z is the kernel this will drive us to f(1) =0 which contradict with the ring homomorphism
so 12Z,13Z can't be the kernel, ker(f) = {0}
 
Re: Kernerl and homomorphism

Thank you for the confirmation
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
6
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
826
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K