Another question about a proof in Atiyah-Macdonald I have a question about the following proof in Atiyah-Macdonald:

1:Why is $\Omega$ infinite? Are all algebraically closed fields infinite?
2: How does the existence of $\xi$ follow from $\Omega$ being infinite?
Thanks. 

Hint $\rm\,(1)$ follows by a polynomial analog of Euclid's proof of infinitely many primes. If $\rm\:D\:$ is a domain, then Euclid's method yields infinitely many nonassociate irreducible polynomials $\rm\in D[x].\,$ When $\rm\,D\,$ is an algebraically closed field, irreducibles are linear, associate to a monic prime $\rm\:x-a.\:$ Thus infinitely many nonassociate primes $\rm\:x-a_i$ $\Rightarrow\,$ infinitely many $\rm\:a_i$ $\Rightarrow$ $\rm\:D$ infinite.  
For (2) recall a ring $\rm\,D\,$ is a domain iff every polynomial $\rm\,f\ne 0\,$ over $\rm\,D\,$ has at most $\rm\,deg\ f\,$ roots.  
