14. PROOF OF THE FINITENESS OF CERTAIN COMPLETE SYSTEMS OF FUNCTIONS.
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.
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.
The following is a simple particular case of this refined problem: Let
integral rational functions
of one variable
with integral rational coefficients, and a prime number
be given. Consider the system of those integral rational functions of
which can be expressed in the form
where
is a rational integral function of the arguments
and
is any power of the prime number
. Earlier investigations of mine[34] show immediately that all such expressions for a fixed exponent
form a finite domain of integrality. But the question here is whether the same is true for all exponents
, i. e., whether a finite number of such expressions can be chosen by means of which for every exponent
every other expression of that form is integrally and rationally expressible.
From the boundary region between algebra and geometry, I will mention two problems. The one concerns enumerative geometry and the other the topology of algebraic curves and surfaces.
[32] Cf. Sitzungsber. d. K. Acad. d. Wiss. zu München, 1890, and an article about to appear in the Math. Annalen.
[33] "Ueber die Erzeugung der Invarianten durch Integration," Nachrichten d. K. Geseltschaft d. Wiss. zu Göttingen, 1897.
[34] Math. Annalen, vol. 36 (1890), p. 485.