第182章又一世界级难题 (第5/7页)

 y猜想证明，都从未有人突破过。

    而微分代数簇的不可缩分解问题结果很早之前就已经被定义，微分代数簇的不可缩分解是存在的。

    只不过数学家至今没能找到一条可以通向最终定义的路。

    另一方面，则是这个问题还有着另外一个‘同父异母’的弟弟：‘差分代数簇的不可约分解’。

    微分代数簇的不可缩分解和差分代数簇的不可约分解问题其实都来源于ritt吴零点分解定理，也都被ritt吴零点分解定理分别解决了一部分。

    不过ritt吴零点分解定理在这两个问题上仍然存在着一定局限性。

    一个是需要进一步得到不可缩分解，另一个则是未能给出一个算法将差分代数方程的解集分解为不可约差分代数簇。

    如果能同时解决这两个问题的话，系统性的难度就能超越weylbe

    y猜想了，但单一的微分代数簇的不可缩分解问题，难度的确比不上weylbe

    y猜想。

    不过要想解决这两个问题谈何容易。

    特别是其中的差分代数簇的不可约分解问题，单独拿出来难度也不比weylbe

    y猜想低多少。

    尽管早在二十世纪三十年代就已经被ritt等人证明了：“任意一个差分代数簇可以分解为不可约差分代数簇的并。”

    但时至今日，时间过去了近一个世纪了，依旧还没有人能给出一个算法将差分代数方程的解集分解为不可约差分代数簇。

    这七八十年的时间过去，并不是没有人尝试过解决这个问题。

    包括证明了“任意一个差分代数簇可以分解为不可约差分代数簇的并”的ritt等人也尝试过将ritt吴零点分解定理推广到代