对不变量有限性问题的研究，引导我发现了一个更为基础的问题——不变量有限性问题仅是该问题的特殊情形。要解决这一基础问题，或许需要对消元理论及克罗内克代数模系理论进行比以往更细致深入的研究。
设有个整有理函数（略），它们以个变量（略）为自变量，具体形式如下：
（略）
显然，将上述函数表达式代入后，任意个（原文略）函数的整有理组合，最终都会成为关于（略）的整有理函数。然而，可能存在这样的情况：某些关于（略）的有理分式函数，经过上述代换运算后，会转化为关于（略）的整函数。我提议，将所有这类“经代换后可化为关于（原文符号略）的整函数”的关于（原符号略）的有理函数，称为“关于（原文略）的相对整函数”。显然，所有关于（略）的整函数都是相对整函数；此外，相对整函数的和、差、积仍为相对整函数。
由此引出的问题是：是否总能找到有限个相对整函数（略，保留“相对整函数”表述），使得所有其他关于（原略）的相对整函数，都能由这有限个相对整函数经整有理运算表示出来？
若引入“有限整域”的概念，可将该问题表述得更简洁。所谓“有限整域”，是指这样一类函数系：能从其中选出有限个函数，使得该函数系中所有其他函数，都可由这有限个函数经整有理运算表示。如此一来，我们的问题便等价于：证明任意给定有理域上的所有相对整函数，必然构成一个有限整域。
自然地，我们也可结合数论中的限制条件对该问题进一步细化：假设给定函数（原文略）的系数均为整数，且仅将那些“经代换后可化为系数为有理整数的关于（原文留白）的整函数”的关于（原文略）的有理函数，归为“关于（原略）的相对整函数”。
以下是这一细化问题的一个简单特例：给定个以单变量（略）为自变量、系数为有理整数的整有理函数（略），以及一个素数（略述）。考虑这样一类关于（略）的整有理函数：它们可表示为（略）的形式，其中（略）是关于自变量（原文符号略）的整有理函数，而（原文略）是素数（略述）的任意次幂。可直接表明：对于固定的指数（略），所有这类表达式构成一个有限整域。但此处的问题是：对于所有指数（略），情况是否仍如此？即能否选出有限个这类表达式，使得对于任意指数（略），所有对应于该指数的表达式，都可由这有限个表达式经整有理运算表示出来？
从代数与几何的交叉领域中，我将提及两个问题：一个涉及计数几何，另一个涉及代数曲线与曲面的拓扑学。
15 舒伯特计数演算的严格基础
尽管如今的代数学在原则上已能保证消元过程的可行性，但要证明计数几何的定理，还需满足更高要求——即对于特殊形式的方程，需实际完成消元过程，并确保能预先确定最终方程的次数及其解的重数。
16 代数曲线与曲面的拓扑学问题
除了这个纯代数问题，我还想提出另一个问题。在我看来，这个问题可通过“系数连续变分”这一相同方法来研究，其答案对于由微分方程定义的曲线族的拓扑学也具有同等重要的价值。该问题是：对于如下形式的一阶一次微分方程，庞加莱边界环的最大数量及位置如何？
（略）
其中p和q是x与y的n次有理整函数。若写成齐次形式，则该方程为：
（略）
其中x、y、z是x、y、z的n次有理齐次函数，且需将后者（指x、y、z）确定为参数（略）的函数。
17 用平方和表示定型
若一个含任意多个变量、系数为实数的有理整函数（或型），对变量的所有实数值都不取负值，则称该函数（或型）为“定型”。所有定型构成的集合，在加法和乘法运算下具有不变性；此外，两个定型的商——若该商恰好是变量的整函数——也仍是一个定型。显然，任意型的平方都必然是定型。，并非所有定型都能通过型的平方相加得到，因此引出这样一个问题：是否每个定型都能表示为“型的平方和”的商？元定型给出了肯定答案[39]。同时，对于某些关于“特定几何构造是否可行”的问题而言，还需明确一点：在表示定型时，所用型的系数是否总能从“被表示定型的系数所确定的有理域”
我再补充一个几何问题:
18 由全等多面体构建空间
当我们探究平面中“存在基本区域的运动群”时，会得到不同的答案——具体结果取决于所考虑的平面是黎曼（椭圆）平面、欧几里得平面，还是罗巴切夫斯基（双曲）平面。
在椭圆平面的情形下，本质不同的基本区域类型仅有有限种，且只需有限个全等区域就能完全覆盖整个平面；实际上，这类运动群仅包含有限个运动。在双曲平面的情形下，本质不同的基本区域类型有无限种，即着名的庞加莱多边形；要完全覆盖平面，需要无限个全等区域。欧几里得平面的情形则介于两者之间：一方面，存在基本区域的本质不同的运动群类型仅有有限种；另一方面，要完全覆盖整个平面，仍需无限个全等区域。
在三维空间中，存在完全对应的情况。椭圆空间中运动群的有限性，是c若尔当一个基本定理[41]的直接推论——该定理指出，n个变量的线性代换所构成的本质不同的有限群类型数量，不会超过一个由n决定的有限界限。克莱因在关于自守函数理论的讲义中[42]，研究了双曲空间中“存在基本区域的运动群”、舍恩弗利斯[44]，以及近期的罗恩[45]均已证明：在欧几里得空间中，“存在基本区域的本质不同的运动群类型”仅有有限种。
然而，适用于椭圆空间与双曲空间的结论及证明方法，虽可直接推广到n维空间，但将欧几里得空间的上述定理推广到n维情形，似乎面临极大困难。因此，探究下述问题十分必要：在n维欧几里得空间中，“存在基本区域的本质不同的运动群类型”是否也仅有有限种？