This article is a survey of two subjects: the first part is devoted to field generators in two variables, and the second to birational endomorphisms of the affine plane. Each one of these subjects originated in Abhyankar's seminar in Purdue University in the 1970s. Note that the part on field generators is more than a survey, since it contains a considerable amount of new material.This article is a survey of two subjects: the first part of the paper is devoted to field generators in two variables, and the second to birational endomorphisms of the affine plane. Each one of these subjects originated in Abhyankar's seminar in Purdue University in the 1970s. The authors of the present article were introduced to these questions by Peter Russell, who participated in Abhyankar's seminar and who made early contributions to both problems.As explained in Section 1, the two subjects are entangled one into the other. It is therefore natural to present them together in a survey. Note that Part I is more than a survey, since it contains a considerable amount of new material (see Section 1); and that Part II is less than a survey, since it restricts itself to certain particular aspects of the subject under consideration (see Section 6).
ConventionsThe symbol "⊂" means strict inclusion of sets, "\" means set difference, and 0 ∈ N.If R is a subring of a ring S, the notation S = R [n] means that S is R-isomorphic to a polynomial algebra in n variables over R. If L/K is a field extension, L = K (n) means that L is a purely transcendental extension of K, of transcendence degree n. We write Frac R for the field of fractions of a domain R.If k is a field and A = k [2] (i.e., A is a polynomial ring in two variables over k) then a coordinate system of A is an ordered pair (X, Y ) ∈ A × A satisfying A = k[X, Y ]. We define C(A) to be the set of coordinate systems of A. A variable of A is an element X ∈ A satisfying A = k[X, Y ] for some Y .