Изоморфизма Проблема
- задача отыскания алгоритма, позволяющего по любой паре эффективно заданных алгебраических систем из данного класса установить, изоморфны они или нет. Частная И. П. Для фиксированной алгебраич. Системы Асостоит в отыскании алгоритма, распознающего по эффективному заданию алгебраич. Системы из рассматриваемого класса, изоморфна она системе Аили нет. Положительное решение (частной) И. П. Состоит в указании искомого алгоритма (И. П. Разрешима), отрицательное - в доказательстве того, что искомого алгоритма нет (И. П. Неразрешима). Обычно И. П. Ставится для алгебр, задаваемых образующими и определяющими соотношениями. Для многих важных классов алгебр И. П. Неразрешима. Доказана неразрешимость частной И. П. Для произвольной конечно определенной полугруппы в классе всех конечно определенных полугрупп [2] и частной И.
П. Для произвольной конечно определенной группы в классе всех конечно определенных групп [1]. В классе всех групп из многообразия n-ступенно разрешимых групп, задаваемых в этом многообразии конечным числом образующих и определяющих соотношений, при И. П. Также неразрешима [3]. И. П. Разрешима в классе всех конечных конечно определенных алгебр фиксированной сигнатуры, в классе абелевых групп. Открытыми остаются пока (к 1978) И. П. Для нильпотентных групп ступени 2, групп с одним определяющим соотношением. И. П. Для групп связана с алгоритмич. Проблемами топологии. Лит.:[1] Адян С. И., "Тр. Моск. Матем. Об-ва", 1957, т. 6, с. 231-98. [2] Марков А. А., Теория алгорифмов, М.-Л., 1954 (Тр. Матем. Ин-та АН СССР, т. 42). [3] Киркинский А. С, Ремесленников В.
Н., "Матем. Заметки", 1975, т. 18, № 3, с. 437 - 43. А. Л. Семенов..
Дополнительный поиск Изоморфизма Проблема
На нашем сайте Вы найдете значение "Изоморфизма Проблема" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Изоморфизма Проблема, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 20 символа