Алгоритмическая неразрешимость проблемы вложения в нулевой характеристике

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