Fields

Let F be a field. There is one and only one homomorphism K: Z → F. Then Ker K = (d) where d ≥ 0. As the image of K is contained in a field so it is an integral domain. Then Ker K is a prime ideal. There are two cases.