1
$\begingroup$

Let $f\colon\mathbb{Z}\to\mathbb{C}$ be a homomorphism of rings? Prove that the kernel of $f$ can not be equal to $12\mathbb{Z}$.

I also wondering if the kernel can be equal to $13\mathbb{Z}$?

  • 2
    Are $Z$ and $C$ the integers and complex numbers?2012-03-29
  • 3
    When asking questions about rings, it's very important to be clear about conventions. Does your definition of ring include a multiplicative identity? In particular, that means $f(1) = 1$ for a ring homomorphism, which is a very relevant constraint for the problem....2012-03-29
  • 1
    @Hurkyl: you can require that your rings have identities without requiring that your homomorphisms preserve them, although I suppose this would be a somewhat unusual convention.2012-03-29
  • 1
    I'm not 100% sure about the following. So I will leave it as a comment. Proof by contradiction. Assume ${\rm ker}(f) = 12{\mathbb Z},$ then by the first isomorphism theorem, $\mathbb{Z}/{\rm ker}(f) \cong {\rm im}(f),$ where ${\rm im}(f)$ is a subring of $\mathbb C.$ But note that (1) ${\rm im}(f) = \mathbb{Z}_{12}$ is not an integral domain (2) Every subring of $\mathbb C$ is an integral domain. Hence ${\rm im}(f)$ can not be a subring of $\mathbb C.$ Contradiction.2012-03-29
  • 2
    @J.D. : I'm happy to confirm that your argument is 100% correct.2012-03-31

3 Answers 3

0

If we can write an integer $n$ as $n=pq$ where $p,q>1$ then we can't find a homomorphism $f$ between $\mathbb Z$ and $\mathbb C$ such that $\ker f=pq\mathbb Z$. Indeed, $f(p)\neq 0$ and $f(q)\neq 0$ so we should have $f(n)=f(pq)\neq 0$ ($\mathbb C$is a field) which is a contradiction.

3

Edit: I should suppose I mention that I use the notion of a rng homomorphism in the following argument, because the question is trivial if $f(1)=1$.

Let $f: \mathbb Z \rightarrow \mathbb C$ be a ring homomorphism. Then $\ker f = \mathbb Z$ or $ \{0\}$, that is $f$ is injective or trivial. This follows from observing that since $\mathbb C$ has characteristic $0$ and is a domain so we know that $f(n)=n*f(1)$ is equal to zero if and only if $n$ or $f(1)$ is zero. In particular if $f(1)$ is not zero, then for any nonzero $n$ we have $f(n)$ is nonzero. If $f(1)=0$ then $\ker f= \mathbb Z$.

Now what about group homomorphisms from $\mathbb Z$ to $\mathbb C$. Well if we map $\mathbb Z$ to the additive group of $\mathbb C$ then we have the same result. But if we map $\mathbb Z$ into $\mathbb C^\times=\mathbb C \setminus \{0\}$ things are a little bit more interesting. For every $n \in \mathbb Z$ we can find a homomorphism $f: \mathbb Z \rightarrow \mathbb C^\times$ such that $\ker f=n\mathbb Z$. We can do this by sending $1$ to a primitive $n^{th}$ root of unity. For instance the mapping $f_n: \mathbb Z \rightarrow \mathbb C$ given by

$$f_n(k)=e^{2\pi ik/n}$$

is a mapping with kernel $n\mathbb Z$. We can also find an injective map into $\mathbb C^\times$ by picking an irrational number, say $\sqrt{2}$ and creating the mapping $g: \mathbb Z \rightarrow \mathbb C$ as

$$g(n)=e^{ni\pi\sqrt{2}}.$$

  • 0
    I don't think you meant "f is surjective" in that second sentence.2012-03-29
  • 0
    @Hurkyl, no I did not. Thank you.2012-03-29
  • 0
    Depending on how you define things, this could be circular. There is a unique ring homomorphism from $\mathbb{Z}$ to $\mathbb{C}$ (I include the condition that $1\mapsto 1$ for a ring homomorphism). The phrase "$\mathbb{C}$ has characteristic zero," by definition, means that this unique ring homomorphism is injective. So you can't really use the fact that $\mathbb{C}$ has characteristic zero to prove that the homomorphism is injective.2012-03-31
  • 0
    It's not true that $\rm\:n\!\:r = 0\:\Rightarrow\: n=0\ or\ r=0\:$ in a ring of characteristic $0$, e.g. consider $\rm\mathbb Z[x]/(n\!\:x).\qquad$2012-03-31
  • 1
    @KeenanKidwell, well I'm looking at a rng homomorphism so it preserves addition and multiplication, but not necessarily identities. Anyway I slightly modified my argument to include that C is a domain, which I think is sufficient for my conclusion.2012-04-01
  • 0
    No it's not. Take any domain of positive characteristic: $\mathbb{Z}$ doesn't inject into it. You say that $nf(1)=0$ if and only if $n=0$ or $f(1)=0$. In doing this you are using the fact that the unique ring homomorphism $\mathbb{Z}\rightarrow\mathbb{C}$ is injective (so that the image of an integer $n$ in $\mathbb{C}$ is zero if and only if $n=0$). This is part of what you're trying to prove.2012-04-01
  • 0
    @KeenanKidwell Yes it is. I'm not considering a domain of positive characteristic, I'm considering a domain of characteristic 0. Look we have $f(n)=f(1+1+\cdots+1)=f(1)+f(1)+\cdots+f(1)=n\cdot f(1)$, since our ring is a domain either $n=0$ or $f(1)=0$. Furthermore $n\neq 0$ because $\mathbb C$ is characteristic $0$.2012-04-01
  • 0
    One of the things you're trying to prove is that the ring homomorphism $n\mapsto 1+1+\cdots+1$ ($n$ times, where $1$ is the multiplicative identity of the ring $\mathbb{C}$), is injective. Would you agree? To do this, you use the fact that $\mathbb{C}$ has characteristic zero. What is the definition of the characteristic of a ring?2012-04-01
  • 0
    @KeenanKidwell I define the characteristic of a ring $R$ to be the generator of the kernel of the canonical homomorphism from $\mathbb Z$ to $R$. So no, I don't think I need to prove that that homomorphism is injective.2012-04-01
  • 0
    Right. So the statement that $R$ has characteristic zero is equivalent to the statement that the homomorphism from $\mathbb{Z}$ to $R$ is injective. So, in the case of the map to $\mathbb{C}$, you're concluding that the homomorphism is injective because $\mathbb{C}$ has characteristic zero, i.e., because the homomorphism is injective. It's circular.2012-04-01
  • 0
    let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/2965/discussion-between-jacob-schlather-and-keenan-kidwell)2012-04-01
0

I assume $\mathbb Z$ and $\mathbb C$ denote the integers and complex numbers respectively. If $f:\mathbb Z\to \mathbb C$ is a ring homomorphism then $\mathbb Z/\ker(f)$ is isomorphic to a subring of $\mathbb C$ since $\mathbb C$ is a field $\mathbb Z/\ker(f)$ is an integral domain. Thus $\ker(f)\ne 12\mathbb Z$.