Многообразия моноидов: конечная аксиоматизируемость и решетки подмногообразий
| Название НИОКТР | Многообразия моноидов: конечная аксиоматизируемость и решетки подмногообразий |
|---|---|
| Аннотация | Цель проекта – систематическое исследование многообразий моноидов. В ходе этого исследования основное внимание будет сосредоточено на двух основных проблемах теории многообразий – конечной аксиоматизируемости многообразий (т.е. проблеме конечности базиса тождеств) и строению решетки подмногообразий. Мы планируем существенно продвинуться в обоих направлениях за счет использования некоторых свежих идей. Мы планируем сфокусироваться на двух конкретных задачах, находящихся на стыке этих двух основных проблем: - задаче описания предельных многообразий (т.е. минимальных многообразий, не имеющих конечного базиса тождеств); - задаче описания кроссовых многообразий (т.е. многообразий, которые имеют конечный базис тождеств, порождаются конечным моноидом и имеют конечную решетку подмногообразий). |
| Доступ к ОКОГУ исполнителя | False |
| Количество связанных РИД | 0 |
| Количество завершенных ИКРБС | 0 |
| Сумма бюджета | 3000.0 |
| Дата начала | 2025-09-15 |
| Дата окончания | 2027-06-30 |
| Номер контракта | 25-71-00005 |
| Дата контракта | 2025-09-15 |
| Количество отчетов | 1 |
| УДК | 512.53 |
| Количество просмотров | 5 |
| Руководитель работы | Гусев Сергей Валентинович |
| Руководитель организации | Германенко Александр Викторович |
| Исполнитель | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "УРАЛЬСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ ИМЕНИ ПЕРВОГО ПРЕЗИДЕНТА РОССИИ Б.Н. ЕЛЬЦИНА" |
| Заказчик | Российский научный фонд |
| Федеральная программа | Отсутствует |
| Госпрограмма | — |
| Основание НИОКТР | Грант |
| Последний статус | 2025-10-16 07:47:45 UTC, 2025-10-16 07:47:45 UTC |
| ОКПД | Услуги, связанные с научными исследованиями и экспериментальными разработками в области математики |
| Отраслевой сегмент | — |
| Минздрав | — |
| Межгосударственная целевая программа | — |
| Ключевые слова | моноид, тождество, многообразие, конечная аксиоматизируемость, решетка многообразий |
| Соисполнители | — |
| Типы НИОКТР | Фундаментальное исследование |
| Приоритетные направления | — |
| Критические технологии | — |
| Рубрикатор | 27.17.15 - Полугруппы |
| OECD | — |
| OESR | Общая математика |
| Приоритеты научно-технического развития | а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта; |
| Регистрационные номера | — |