Abstract
This paper presents a criterion for testing the irreducibility of a polynomial over an algebraic extension field. Using this criterion and the characteristic set method, the authors give a criterion for testing whether certain difference ascending chains are strong irreducible, and as a consequence, whether the saturation ideals of these ascending chains are prime ideals.
Similar content being viewed by others
References
P. Aubry, D. Lazard, and M. M. Maza, On the theory of triangular sets, Journal of Symbolic Computation, 1999, 28: 105–124.
F. Boulier, D. Lazard, F. Ollivier, and M. Petitiot, Representation for the Radical of a Finitely Generated Differential Ideal, Proc. of ISSAC'95, 158–166, ACM Press, New York, 1995.
D. Bouziane, A. Kandri Rody, and H. Maârouf, Unmixed-dimensional decomposition of a finitely generated perfect differential ideal, Journal of Symbolic Computation, 2001, 31: 631–649.
F. Chai, X. S. Gao, and C. M. Yuan, A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers, Journal of Systems Science & Complexity, 2008, 21(2): 191–208.
O. Golubitsky, M. Kondratieva, and A. Ovchinnikov, Algebraic transformation of differential characteristic decompositions from one ranking to another, Journal of Symbolic Computation, 2009, 44(4): 333–357.
É. Hubert, Factorization-free decomposition algorithms in differential algebra, Journal of Symbolic Computation, 2000, 29: 641–662.
M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev, Differential and Difference Dimension Polynomials, Kluwer Academic Publishers, Dordrecht, 1999.
J. F. Ritt, Differential Algebra, American Mathematical Society, Now York, 1950.
D. Wang, Elimination Methods, Springer, Berlin, 2000.
W. T. Wu, Basic principle of mechanical theorem proving in elementray geometries, Journal of Automated Reasoning, 1986, 2: 221–252.
W. T. Wu, On the foundation of algebraic differential polynomial geometry, Sys. Sci. & Math. Sci., 1989, 2(4): 289–312.
L. Yang, J. Z. Zhang, and X. R. Hou, Non-linear Algebraic Equations and Automated Theorem Proving (in Chinese), ShangHai Science and Education Pub., Shanghai, 1996.
J. F. Ritt and J. L. Doob, Systems of algebraic difference equations, American Journal of Mathematics, 1933, 55: 505–514.
R. M. Cohn, Difference Algebra, Interscience Publishers, New Brunswick, 1965.
X. S. Gao, Y. Luo, and C. M. Yuan, A characteristic set method for difference polynomial systems, Journal of Symbolic Computation, 2009, 44(3): 242–260.
X. S. Gao, J. Van der Hoeven, C. M. Yuan, and G. Zhang, Characteristic set method for differential–difference polynomial systems, Journal of Symbolic Computation, 2009, 44(9): 1137–1163.
X. S. Gao and C. M. Yuan, Resolvent Systems of Difference Polynomial Ideals, in Proc. ISSAC, 2006, 101–108, ACM Press, New York.
X. S. Gao, C. M. Yuan, and G. Zhang, Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering, Acta Mathematica Scientia, 2009, 29(3/4): 1063–1080.
W. T. Wu, Mathematics Machenization, Science Press/Kluwer, Beijing, 2001.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is partially supported by a National Key Basic Research Project of China and by NSFC.
Rights and permissions
About this article
Cite this article
Yuan, C., Gao, XS. A criterion for testing whether a difference ideal is prime. J Syst Sci Complex 22, 627–635 (2009). https://doi.org/10.1007/s11424-009-9192-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-009-9192-4