Аннотация:
Чрезвычайно интересной и фундаментальной является задача об
алгоритмической разрешимости проверки наличия изоморфизма между двумя
алгебраическими многообразиями. Родственной и более простой задачей
является задача о вложимости. В общем виде она формулируется так: пусть
A и B – два алгебраических многообразия; определить, существует ли
вложение A в B, найти алгоритм или доказать его отсутствие. Доклад
посвящен отрицательному решению данного вопроса для аффинных
многообразий над произвольном полем характеристики нуль, чьи
координатные кольца заданы образующими и определяющими соотношениями.
