ИСТИНА

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