In the theory of algebraic invariants, questions as to the finiteness of complete systems of forms deserve, as it seems to me, particular interest. L. Maurer[32] has lately succeeded in extending the theorems on finiteness in invariant theory proved by P. Gordan and myself, to the case where, instead of the general projective group, any subgroup is chosen as the basis for the definition of invariants. An important step in this direction had been taken already by A. Hurwitz,[33] who, by an ingenious process, succeeded in effecting the proof, in its entire generality, of the finiteness of the system of orthogonal invariants of an arbitrary ground form. [Pg 27] The study of the question as to the finiteness of invariants has led me to a simple problem which includes that question as a particular case and whose solution probably requires a decidedly more minutely detailed study of the theory of elimination and of Kronecker's algebraic modular systems than has yet been made. Let a number of integral rational functions of the variables be given, Every rational integral combination of must evidently always become, after substitution of the above expressions, a rational integral function of . Nevertheless, there may well be rational fractional functions of which, by the operation of the substitution , become integral functions in . Every such rational function of , which becomes integral in after the application of the substitution , I propose to call a relatively integral function of . Every integral function of is evidently also relatively integral; further the sum, difference and product of relative integral functions are themselves relatively integral. The resulting problem is now to decide whether it is always possible to find a finite system of relatively integral function by which every other relatively integral function of may be expressed rationally and integrally. We can formulate the problem still more simply if we introduce the idea of a finite field of integrality. By a finite field of integrality I mean a system of functions from which a finite number of functions can be chosen, in terms of which all other functions of the system are rationally and integrally expressible. Our problem amounts, then, to this: to show that all relatively integral functions of any given domain of rationality always constitute a finite field of integrality. It naturally occurs to us also to refine the problem by restrictions drawn from number theory, by assuming the coefficients of the given functions to be integers and including among the relatively integral functions of only such rational functions of these arguments as become, by the application of the substitutions , rational integral functions of with rational integral coefficients.