Introduction. The fundamental paper Theorie der algebraischen Funktionen einer Verdnderlichen of Dedekind and Weber opened a wide field of research. The methods which these authors brought into play in the study of algebraic functions of one variable have lent themselves readily, from the conceptual point of view at least, to generalization to the case of several variables. However, even if one restricts himself to the case of algebraic functions of two variables he finds a sharp line of demarcation in the analogy with the one variable case when he attacks problems of enumeration such as the problem of Riemann-Roch. Several years ago Zariski made the conjecture that the analogy between the theory of algebraic curves and the theory of algebraic surfaces would extend much further in the case of regular surfaces, that is surfaces whose arithmetic and geometric genera coincide. The objective of this paper is to establish the truth of this conjecture and to show, that this fact is in a sense characteristic of regular surfaces. A tool which proved to be most useful to Dedekind and Weber in deriving the Riemann-Roch theorem as well as other allied results was furnished by their so-called normal bases, the construction of which we shall describe briefly below. Let z be a field of algebraic functions of one variable x cver a field of constants K, which is assumed to be maximally algebraic in z and of characteristic zero. The field z is then an algebraic extension of K(x) of finite relative degree v. Let o denote the ring of integral functions of x in z and o' the ring of integral functions of l/x in Z. If X is an element of o, the of w (in. symbols exp co) is defined to be the smallest integer r such that w/xr is an element of o' (that is cO/xrCo', Lo/xr-l1o'). A set of functions X1, X2, , X, is constructed as follows. Let X1 = 1, and let X2 be an element in o of lowest exponent r2, such that X2 does not satisfy a congruence of the form X2=CX1(0X) where ceK. If Xl, X2, , Xi-, have been selected, take Xi to be an element in o of lowest exponent which does not satisfy a congruence of the form Xi -c1Xi+ + +c-ix i-i1(ox), c jeK, j=1, , i-1. Dedekind and Weber show that this construction leads to a set of v(-11: K(x) 1) fulnctions Xi, X2, . ., X, in o which have the following properties: