Abstract: В работе исследуются конечные системы уравнений диофантовых языков над гиперграфами. Показано, что алгебраическое множество, определённое произвольной системой уравнений S, может быть задано при помощи одних уравнений без констант из её радикала Rad(S) тогда и только тогда, когда гиперграф является наследственной системой неориентированного графа с петлями.

Cite: Ильев А.В.
О системах уравнений над наследственными системами
Комбинаторно-вычислительные методы алгебры и логики 15-19 июл. 2024