On involutive division on monoids

Cover Page

Cite item


We consider an arbitrary monoid MM, on which an involutive division is introduced, and the set of all its finite subsets SetMM. Division is considered as a mapping d:SetM×M{d:SetM \times M}, whose image d(U,m){d(U,m)} is the set of divisors of mm in UU. The properties of division and involutive division are defined axiomatically. Involutive division was introduced in accordance with the definition of involutive monomial division, introduced by V.P. Gerdt and Yu.A. Blinkov. New notation is proposed that provides brief but explicit allowance for the dependence of division on the SetMM element. The theory of involutive completion (closures) of sets is presented for arbitrary monoids, necessary and sufficient conditions for completeness (closedness) - for monoids generated by a finite set XX. The analogy between this theory and the theory of completely continuous operators is emphasized. In the last section, we discuss the possibility of solving the problem of replenishing a given set by successively expanding the original domain and its connection with the axioms used in the definition of division. All results are illustrated with examples of Thomas monomial division.

Full Text

1. Introduction The creation of the technique of involutive bases as an alternative to the classical Gröbner bases and its application to the study of ideals in polynomial and differential rings is undoubtedly one of the most important contributions made by V.P. Gerdt and his disciples in computer algebra. The concept of involutive division came to algebras from the compatibility studies of systems of partial differential equations, dating back to the works of Riquier [1], Janet [2], Thomas [3]. Since the mid-1990s, V.P. Gerdt and his students A.Yu. Zharkov and Yu.A. Blinkov have published a series of papers in which this concept was developed in an abstract algebraic form and indicated the wide possibilities of using involutive bases as an alternative to © Kroytor O.K., Malykh M.D., 2021 This work is licensed under a Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4.0/ the usual Gröbner bases. The first example of involutive division - Pomare division - was introduced by Zharkov in 1993 [4]-[7]. In general terms, the concept of involutive division was introduced by Gerdt and Blinkov in [8]-[11]. V.P. Gerdt strove for an axiomatic presentation of the concept of involutive division, especially emphasizing this in his report made at RUDN University in November 2020 [12]. In our opinion, the theory of divisions on monoids, cleared of applied issues, looks like a self-sufficient and very elegant theory, which is complete only to the extent that was of interest for applied researchers. We have tried to present it in general terms. We based on §1.2 from the Dr. Sci. thesis by Blinkov [13], but have significantly revised the terminology. The fact is that the creators of this theory obviously intended to give it a topological interpretation, but, unfortunately, they never did it. Therefore, a number of terms (continuity of division, closure of sets) refer to this so far unknown topology. In our opinion, this topology is the Zariski topology, and therefore incidental analogies taken from the ℝ topology greatly hinder its development. 2. Divisions on monoids Definition 1. A set is called a monoid if a binary associative operation called multiplication is specified on it, and there is an element 1 such that 1


About the authors

Oleg K. Kroytor

Peoples’ Friendship University of Russia (RUDN University)

Author for correspondence.
Email: kroytor_ok@pfur.ru
ORCID iD: 0000-0002-5691-7331

PhD student of Department of Applied Probability and Informatics

6, Miklukho-Maklaya St., Moscow, 117198, Russian Federation

Mikhail D. Malykh

Peoples’ Friendship University of Russia (RUDN University); Joint Institute for Nuclear Research

Email: malykh_md@pfur.ru
ORCID iD: 0000-0001-6541-6603

Doctor of Physical and Mathematical Sciences, Assistant professor of Department of Applied Probability and Informatics of Peoples’ Friendship University of Russia (RUDN University); Researcher in Meshcheryakov Laboratory of Information Technologies, Joint Institute for Nuclear Research

6, Miklukho-Maklaya St., Moscow, 117198, Russian Federation; 6, Joliot-Curie St., Dubna, Moscow Region, 141980, Russian Federation


  1. C. Riquier, Les Systèmes d’Equations aux Dérivées Partielles. Paris: Gauthier-Villars, 1910.
  2. M. Janet, “Systèmes d’équations aux dérivées partielles,” Journals de mathématiques, 8e série, vol. 3, pp. 65-151, 1920.
  3. J. Thomas, Differential systems. New York: American Mathematical Society, 1937.
  4. A. Y. Zharkov, “Involutive polynomial bases: general case,” in Preprint JINR E5-94-224. Dubna, 1994.
  5. A. Y. Zharkov and Y. A. Blinkov, “Involutive bases of zero-dimensional ideals,” in Preprint JINR E5-94-318. Dubna, 1994.
  6. A. Y. Zharkov and Y. A. Blinkov, “Solving zero-dimensional involutive systems,” in Progress in Mathematics. Basel: Birkhauser, 1996, vol. 143, pp. 389-399. doi: 10.1007/978-3-0348-9104-2_20.
  7. A. Y. Zharkov and Y. A. Blinkov, “Involution approach to investigating polynomial systems,” Mathematics and Computers in Simulation, vol. 42, pp. 323-332, 1996. doi: 10.1016/S0378-4754(96)00006-7.
  8. V. P. Gerdt and Y. A. Blinkov, “Involutive bases of polynomial ideals,” Mathematics and Computers in Simulation, vol. 45, no. 5-6, pp. 519- 541, 1998. doi: 10.1016/s0378-4754(97)00127-4.
  9. V. P. Gerdt, “Gröbner bases and involutive methods for algebraic and differential equations,” Mathematical and computer modelling, vol. 25, no. 8-9, pp. 75-90, 1997. doi: 10.1016/S0895-7177(97)00060-5.
  10. V. P. Gerdt and Y. A. Blinkov, “Involutive divisions of monomials,” Programming and Computer Software, vol. 24, no. 6, pp. 283-285, 1998.
  11. Y. A. Blinkov, “Division and algorithms in the ideal membership problem [Deleniye i algoritmy v zadache o prinadlezhnosti k idealu],” Izvestija Saratovskogo universiteta, vol. 1, no. 2, pp. 156-167, 2001, in Russian.
  12. V. P. Gerdt. “Compact involutive monomial bases.” (2020), [Online]. Available: https://events.rudn.ru/event/102.
  13. Y. A. Blinkov, “Involutive methods applied to models described by systems of algebraic and differential equations [Involyutivnyye metody issledovaniya modeley, opisyvayemykh sistemami algebraicheskikh i differentsial’nykh uravneniy],” in Russian, Ph.D. dissertation, Saratov State University, Saratov, 2009.
  14. J. Apel, “A Gröbner approach to involutive bases,” Journal of Symbolic Computation, vol. 19, no. 5, pp. 441-458, 1995. doi: 10.1006/jsco. 1995.1026.
  15. A. Y. Zharkov and Y. A. Blinkov, “Involution approach to solving systems of algebraic equations,” in Proceedings of the 1993 International IMACS Symposium on Symbolic Computation. Laboratoire d’Informatique Fondamentale de Lille, France, 1993, pp. 11-16.

Copyright (c) 2021 Kroytor O.K., Malykh M.D.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies