4
$\begingroup$

Let $\phi\colon R \to R'$ be a ring homomorphism. Prove that if $R$ is a field then either $\phi$ is an isomorphism or $\phi(r) = 0$ for all $r \in R$.

I am stuck on this problem and don't know where to begin. I feel like I'm very weak in writing proofs.

  • 0
    This business of isomorphisms not necessarily being surjective *was* standard once upon a time (check the publication date of Herstein's book!), and among the French the practice was carried on a little longer, but I haven't seen a reputable source use this convention in the last 20 years.2011-05-13

4 Answers 4

5

the kernel of $\phi$ (referred to in the comments) is the set $\{r\in R : \phi(r)=0\}$. exercise 1: this is an ideal of $R$ (an additive subgroup $I$ of $R$ with the property that $rI\in I$ for every $r\in R$, need to be a little more specific if $R$ is noncommutative etc.). exercise 2: a field $F$ only has two ideals, $0$ and $F$. so if $R$ is a field then the kernel of $\phi$ is either $0$ (in which case $\phi$ is injective) or all of $R$ (in which case $\phi$ is the zero map)

  • 0
    The ring itself and {0}2011-05-04
4

Here's a proof sketch from first principles. This should work even if your professor "skips around".

THEOREM $\ $ TFAE for a field $\rm\:R\:$ and a ring hom \rm\ f\:: R\to R'

$\rm (1)\ \ \ f\:$ is not one-one

$\rm (2) \ \ \ f(r) = 0\ $ for some $\rm\ r\ne 0,\ \ r\in R$

$\rm (3) \ \ \ f(1) = 0$

$\rm (4) \ \ \ f(R) = 0$

Proof $\rm\ (1\Rightarrow 2)\ \ \ a\ne b,\ f(a) = f(b)\ \Rightarrow\ f(a-b) = f(a)- f(b) = 0$

$\rm\ (2\Rightarrow 3)\ \ \ r\ne 0\ \Rightarrow 1/r\in R\ \Rightarrow\ f(1) = f(r\cdot 1/r) = f(r)\ f(1/r) = 0$

$\rm\ (3\Rightarrow 4)\ \ \ f(r) = f(1\cdot r) = f(1)\ f(r) = 0$

$\rm\ (4\Rightarrow 1)\ \ \ R$ a field $\rm\Rightarrow 1\ne 0\:,\:$ so $\rm\ f(1) = f(0) = 0\ \Rightarrow\ f\:$ is not one-one.

3

I hope I'm not giving away too much, but I did this problem only recently! Note if $R$ is a field, then it's simple i.e. it's ideals are only the ${0}$ ideal or $R$, Kernel is an ideal also... I hope you get my drift... if you need any further help let me know! (though I doubt you do!)

1

Suppose $R$ is a field. If $\phi(r) = 0$ for all $r \in R$, we're done. So suppose this is not the case. If we can now show that $\phi$ is an isomorphism, we'd be done.

Let $r \in R$ with $\phi(r) \neq 0$. Let $a$ be nonzero. Then it has an inverse $a^{-1}$ since $R$ is a field. Further, $\phi(r) = \phi(aa^{-1}r) = \phi(a)\phi(a^{-1})\phi(r).$ Can you conclude from this that $\phi$ is injective? That is, can you show that $\phi(a) \neq 0$ for our arbitrary nonzero $a$?

  • 0
    Sorry. Trivial kernel means the kernel is equal to $\{0\}$. It's trivial that $0$ is in every kernel, so sometimes the kernel containing only $0$ is referred to as trivial. I also don't think you can assume $\phi(y)$ is invertible. Also try enclosing your math in dollar signs for nice output. `$\phi(y)$` makes $\phi(y)$.2011-05-03