|
СЕМИНАРЫ |
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
Алгоритмическая разрешимость ориентируемых квадратичных уравнений в свободных метабелевых группах И. Г. Лысёнок Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||
Аннотация: Известно, что проблема распознавания существования решений уравнений в свободных метабелевых группах алгоритмически неразрешима (метабелевыми называются группы, удовлетворяющие коммутаторному тождеству |