Advertisement

Journal of Mathematical Sciences

, Volume 152, Issue 4, pp 595–603 | Cite as

The ideal of separants in the ring of differential polynomials

  • D. V. Trushin
Article

Abstract

We obtained the criterion of existence of a quasi-linear polynomial in a differential ideal in the ordinary ring of differential polynomials over a field of characteristic zero. We generalized the “going up” and “going down” theorems onto the case of Ritt algebras. In particular, new finiteness criteria for differential standard bases and estimates that characterize calculation complexity were obtained.

Keywords

Standard Basis Characteristic Zero Derivation Operator Ring Homomorphism Quotient Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. F. Atiyah and I. G. MacDonald, Introduction to Commutative Algebra, Addison-Wesley, Reading (1969).MATHGoogle Scholar
  2. 2.
    G. Carrà Ferro, “Gröbner bases and differential algebra,” in: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Proc. 5th Int. Conf., AAECC-5, Menorca/Spain 1987, Lect. Notes Comput. Sci., Vol. 356, Springer, Berlin (1989), pp. 129–140.Google Scholar
  3. 3.
    G. Carrà Ferro, “Differential Gröbner bases in one variable and in the partial case,” Math. Comput. Modelling, 25, No. 8–9, 1–10 (1997).MATHCrossRefGoogle Scholar
  4. 4.
    I. Kaplansky, Introduction to Differential Algebra, Paris (1957).Google Scholar
  5. 5.
    E. R. Kolchin, “On the exponents of differential ideals,” Ann. Math., 42, No. 3, 740–777 (1941).CrossRefMathSciNetGoogle Scholar
  6. 6.
    E. R. Kolchin, Differential Algebra and Algebraic Groups, Academic Press (1973).Google Scholar
  7. 7.
    F. Ollivier, “Standard bases of differential ideals,” in: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Proc. 8th Int. Conf., AAECC-8, Tokyo/Jap. 1990, Lect. Notes Comput. Sci., Vol. 508, Springer, Berlin (1991), pp. 304–321.Google Scholar
  8. 8.
    J. F. Ritt, Differential Algebra, Colloquium Publications, Vol. 33, Amer. Math. Soc., New York (1950).MATHGoogle Scholar
  9. 9.
    A. Zobnin, “Admissible orderings and finiteness criteria for differential standard bases,” in: M. Kauers, ed., Symbolic and Algebraic Computation, Int. Symp. ISSAC 2005, Beijing, China, July 24–27, 2005, Proceedings, ACM Press (2005), pp. 365–372.Google Scholar

Copyright information

© Springer Science+Business Media, Inc. 2008

Authors and Affiliations

  1. 1.Moscow State UniversityMoscowRussia

Personalised recommendations