Об инволютивном делении на моноидах

Обложка

Цитировать

Полный текст

Аннотация

Рассматривается произвольный моноид MM, на котором введено инволютивное деление, и множество всех его конечных подмножеств SetMM. Деление рассматривается как отображение d:SetM×M{d:SetM \times M}, образ которого d(U,m){d(U,m)} - множество делителей mm в UU. Свойства деления и инволютивного деления задаются аксиоматически. Понятия инволютивного деления введено в соответствии с определением инволютивного мономиального деления, введённым В.П. Гердтом и Ю.А. Блинковым. Предложен ряд новых обозначений, позволяющих коротко, но явно учитывать зависимость деления от элемента SetMM. Теория инволютивного пополнения (замыкания) множеств изложена для произвольных моноидов, необходимые и достаточные условия полноты (замкнутости) - для моноидов, порождённых конечным множеством XX. Подчёркнута аналогия между этой теорией и теорией вполне непрерывных операторов. В последнем разделе обсуждена возможность решения задачи о пополнении заданного множества путём последовательного расширения исходной области и её связь с аксиомами, используемыми в определении деления. Все результаты проиллюстрированы примерами о мономиальном делении Томаса.

Полный текст

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

×

Об авторах

О. К. Кройтор

Российский университет дружбы народов

Автор, ответственный за переписку.
Email: kroytor_ok@pfur.ru
ORCID iD: 0000-0002-5691-7331

PhD student of Department of Applied Probability and Informatics

ул. Миклухо-Маклая, д. 6, Москва, 117198, Россия

М. Д. Малых

Российский университет дружбы народов; Объединённый институт ядерных исследований

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, Москва, 117198, Россия; ул. Жолио-Кюри, д. 6, Дубна, Московская область, 141980, Россия

Список литературы

  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.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

© Кройтор О.К., Малых М.Д., 2021

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.