- Thread starter
- #1
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 im f is by definition a subring of C.But since im f=12Z is not an integral domain and every subring in C is an integral domain the im f will not be a subring oc C which is a contradiction.
The same thing with 13Z,is not equal with the kernel.
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 im f is by definition a subring of C.But since im f=12Z is not an integral domain and every subring in C is an integral domain the im f will not be a subring oc C which is a contradiction.
The same thing with 13Z,is not equal with the kernel.