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

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