"Записки научных семинаров ПОМИ"

Том 498, стр. 55-63

С.-Петербургское отделение Математического института им. В.А. Стеклова РАН, наб. Фонтанки, д. 27, 191023 С.-Петербург, Россия

alch@pdmi.ras.ru

Аннотация: Мы предлагаем алгоритм для построения всех изолированных примарных компонент заданного полиномиального идеала. На выходе они определяются системами образующих с точностью до вложенных компонент, а также как ядра некоторых гомоморфизмов. Сложность этого алгоритма субэкспоненциальна от длины входных данных. Библ. -- 18 назв.
Ключевые слова: полиномиальные идеалы, примарные разложения, изолированные примарные компоненты, субэкспоненциальный алгоритм [polynomial ideals, primary decomposition, isolated primary components, subexponential-time algorithm]