let where is an infinite set of algebraically independent elements over let be the algebraic closure of and define the -homomorphism by since is algebraically closed, a Zorn's lemma argument shows that can be extended to an -homomorphism now is not surjective because, for example, if for some then, since is algebraic over would be algebraic over but that is impossible because then and would be algebraically dependent.