Skip to main content

Pair analysis of involutive divisions


The main goal of this work is to describe a new approach to the study of involutive divisions using the pairwise property. The paper presents a simple and intuitive method for constructing the Janet division and reveals the deep intrinsic relationship between Janet division and Lex-ordering. A method for constructing some analogues of the Janet division for other orders is described. An example of pairwise, continuous, and nonconstructive involutive division is given.

This is a preview of subscription content, access via your institution.


  1. 1.

    J. Apel, “The theory of involutive divisions and an application to Hilbert function computations,” J. Symbolic Comput., 25, No. 6, 683–704 (1998).

    Article  MATH  MathSciNet  Google Scholar 

  2. 2.

    J. Calmet, M. Hausdorf, and W. M. Seiler, “A constructive introduction to involution,” in: Proc. Int. Symp. Applications of Computer Algebra — ISACA 2000, New Delhi, 2001, pp. 33–50.

  3. 3.

    V. P. Gerdt, “Involutive division technique: Some generalizations and optimizations,” J. Math. Sci., 108, No. 6, 2002, 1034–1051 (2002).

    Article  MathSciNet  Google Scholar 

  4. 4.

    V. P. Gerdt and Yu. A. Blinkov, “Involutive bases of polynomial ideals,” Math. Comput. Simulation, 45, 519–542 (1998).

    Article  MathSciNet  Google Scholar 

  5. 5.

    V. P. Gerdt and Yu. A. Blinkov, “Minimal involutive bases,” Math. Comput. Simulation, 45, 543–560 (1998).

    Article  MathSciNet  Google Scholar 

  6. 6.

    R. Hemmecke, Involutive Bases for Polynomial Ideals, PhD Thesis, Johannes Kepler Universität Linz (2003), RISC report 03-02.

  7. 7.

    A. V. Mikhalev and E. V. Pankratiev, Computer Algebra. Calculations in Differential and Difference Algebras [in Russian], Moscow, MSU (1989).

    Google Scholar 

  8. 8.

    A. Semenov, “Static properties of involutive divisions,” 2001.

  9. 9.

    A. Yu. Zharkov and Yu. A. Blinkov, “Involutive systems of algebraic equations,” Programmirovanie (1994).

  10. 10.

    A. Yu. Zharkov and Yu. A. Blinkov, Involutive Bases of Zero-Dimensional Ideals, Preprint No. E5-94-318, Joint Institute for Nuclear Research, Dubna (1994).

    Google Scholar 

Download references

Author information



Additional information


Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 3, pp. 199–212, 2003.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Semenov, A.S. Pair analysis of involutive divisions. J Math Sci 135, 3400–3408 (2006).

Download citation


  • Pair Analysis
  • Intuitive Method
  • Intrinsic Relationship
  • Involutive Division
  • Janet Division