![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Получить описание строения первичного радикала квазигрупп, аналогичное описанию первичного радикала групп. Получить аналоги характеризации первичного радикала ассоциативных колец для класса альтернативных колец. На этой основе получить альтернативный аналог теоремы Голубчика-Михалева (о строении первичного радикала линейной группы над ассоциативным кольцом). Рассмотреть вопросы существования (конструкции) максимальных колец частных и ортогонального пополнения классов колец, близких к ассоциативным (альтернативным, лиевским, йордановым). Решить проблему описания колец и модулей с однозначным сложением для классов колец, близких к ассоциативным (альтернативные, лиевские, йордановы). В ряде конкретных ситуаций вычислить контроллер А.В.Михалева и его аналоги. Изучить свойства мультипликативных группоидов классов неассоциативных колец, близких к ассоциативным. Получить решение обобщенной проблемы Бэра-Капланского о влиянии радикалов кольца эндоморфизмов модулей на определяемость самих модулей. Найти условия существования максимальных центральных расширений для классов колец, близких к ассоциативным. Получить аналоги теорем Мориты об эквивалентности различных категорий модулей над кольцами. Классифицировать градуировки и фильтрации ряда квазигрупповых колец, групповых колец и полугрупповых колец. Построить функтор ортогонального пополнения для градуированных колец, установить его свойства, провести вычисления в ряде конкретных случаев. Построить теорию Галуа градуированных полей и тел. Построить градуированные аналоги теории Голубчика-Михалева-Зельманова для изоморфизмов линейных групп. Найти характеризации топологического первичного радикала и радикала Джекобсона, провести их вычисления для ряда классов топологических колец. Продолжить топологии кольца коэффициентов и множества переменных на свободную алгебру Ли. Получить топологические аналоги теоремы Пуанкаре-Биркгофа-Витта для универсальной обертывающей алгебры. Получить аналог первичного радикала для частично упорядоченных квазигрупп. Исследовать проблему продолжения частичных порядков для ряда конструкций неассоциативных колец (аналоги результатов Арнаутова-Михалева). Характеризация автоморфизм-инвариантных модулей над ограниченными наследственными нетеровыми первичными кольцами. Введение тензора перманента на полной матричной алгебре; исследование свойств тензора перманента, в частности выражение для перманента через тензор перманента, подсчет числа нулей тензора перманента. Доказательство того, что число нулей перманента всегда меньше числа нулей детерминанта для матриц над конечными полями. Доказательство отсутствия фробенусовых автоморфизмов перманента в определитель над конечными полями и некоторыми классами колец. Построение и исследование функтора ортогонального градуированного пополнения. Исследование градуированных радикалов (первичный, Джекобсона) и сингулярного подмодуля при локализациях ортогонально полных полупервичных градуированных колец. Полное описание автоморфизмов и изоморфизмов групп Шевалле над произвольными коммутативными кольцами для тех случаев, которые еще не описаны: системы $G_2$ при обратимой тройке и необратимой двойке, для групп Шевалле, не являющихся присоединенными. Получение критерия элементарной эквивалентности колец эндоморфизмов абелевых $p$-групп. Построение группы частных полугруппы неотрицательных обратимых матриц над линейно упорядоченными полями и телами. Получение критерия элементарной эквивалентности групп Шевалле над полулокальными кольцами. Построение алгоритмов для определения того, содержит ли заданная подалгебра свободной алгебры шрайерового многообразия алгебр некоторый примитивный элемент, или нет. Определение понятий обобщённой алгебраической системы второго порядка и обобщённой модели для обобщённого языка второго порядка. Построение инфра-произ\-ве\-де\-ния обобщённых алгебраических систем второго порядка
Описано строение первичного радикала луп и операторных луп; исследованы свойства топологических первичных радикалов топологических луп, а также топологических групп обратимых элементов топологических альтернативных колец. Исследованы характеристические подмодули инъективного модуля над сильно первичным справа кольцом. Изучались кольца формальных матриц над данным кольцом и определители таких матриц. Доказано отсутствие фробениусовых эндоморфизмов перманента в определитель над конечными полями и некоторыми классами колец. Развит и применен метод ортогональной полноты, разработанный К.И.Бейдаром и А.В.Михалёвым в 1970-1980-х годах, который, в частности, позволяет сводить теоремы о полупервичных кольцах к теоремам о первичных кольцах, в активно развивающейся в последнее время теории градуированных алгебраических систем. Получен полный критерий элементарной эквивалентности колец эндоморфизмов абелевых p-групп и групп автоморфизмов абелевых p-групп при p>2. Описана группа частных полугруппы неотрицательных обратимых матриц над линейно упорядоченными полями при n>2. Построены примеры колец, над которыми унитарная линейная группа раскладывается в свободное произведение. Построен алгоритм для определения того, содержит ли заданная подалгебра свободной алгебры шрайерового многообразия алгебр некоторый примитивный элемент, или нет. Указывается криптографическое приложение алгебр, в идеалах которых можно строить базисы Грёбнера. Дано определение обобщённого языка второго порядка. Построено инфра-произведение обобщённых алгебраических систем второго порядка. Построены новые примеры неабелевых групповых кодов.
грант РФФИ |
# | Сроки | Название |
1 | 1 января 2014 г.-31 декабря 2014 г. | Теория колец: структурная теория; комбинаторные методы; приложения |
Результаты этапа: Описано строение первичного радикала луп и операторных луп; исследованы свойства топологических первичных радикалов топологических луп, а также топологических групп обратимых элементов топологических альтернативных колец. Исследованы характеристические подмодули инъективного модуля над сильно первичным справа кольцом. Изучались кольца формальных матриц над данным кольцом и определители таких матриц. Доказано отсутствие фробениусовых эндоморфизмов перманента в определитель над конечными полями и некоторыми классами колец. Развит и применен метод ортогональной полноты, разработанный К.И.Бейдаром и А.В.Михалёвым в 1970-1980-х годах, который, в частности, позволяет сводить теоремы о полупервичных кольцах к теоремам о первичных кольцах, в активно развивающейся в последнее время теории градуированных алгебраических систем. Получен полный критерий элементарной эквивалентности колец эндоморфизмов абелевых p-групп и групп автоморфизмов абелевых p-групп при p>2. Описана группа частных полугруппы неотрицательных обратимых матриц над линейно упорядоченными полями при n>2. Построены примеры колец, над которыми унитарная линейная группа раскладывается в свободное произведение. Построен алгоритм для определения того, содержит ли заданная подалгебра свободной алгебры шрайерового многообразия алгебр некоторый примитивный элемент, или нет. Указывается криптографическое приложение алгебр, в идеалах которых можно строить базисы Грёбнера. Дано определение обобщённого языка второго порядка. Построено инфра-произведение обобщённых алгебраических систем второго порядка. Построены новые примеры неабелевых групповых кодов. | ||
2 | 1 января 2015 г.-31 декабря 2015 г. | Теория колец: структурная теория; комбинаторные методы; приложения |
Результаты этапа: В работах 2014--2015 гг. В.К.Захарова, А.В.Михалева, Т.В.Родионова были решены две естественные задачи: развитие теории равномерных функций; построение единого общего здания этих двух теорий. Следует отметить успешное применение алгебраической теории меры. В монографии Е.И.Буниной, А.В.Михалева, А.Г.Пинуса "Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр", Издательство МЦНМО Москва, 360 с., систематически рассмотрены вопросы классификации классических и универсальных алгебр в различных естественных языках математической логики. В книгу вошли многие из результатов авторов, в частности, цикл работ Е.И.Буниной, А.В.Михалева, М.А.Ройзнера об едином критерии элементарной эквивалентности групп автоморфизмов и колец эндоморфизмов абелевых р-групп. Е.И.Бунина, А.В.Михалев и В.Немиро нашли критерий существования моноида частных для моноида обратимых неотрицательных матриц над линейно упорядоченным телом (ответ на один "старый" вопрос А.В.Михалева, две статьи по этому сюжету в 2015 г. сданы в печать). Построены новые серии почти примитивных элементов свободных алгебр основных типов шрайеровых многообразий алгебр с одним бинарным умножением, а также примеры примитивных и почти примитивных элементов свободных алгебр Акивиса. Рассмотрены приложения (в том числе в криптографии) так называемых "спрятанных матриц". Найден критерий универсальной эквивалентности двух классических линейных (полной линейной, специальной линейной и проективных аналогов) групп над полями: две такие группы универсально эквивалентны тогда и только тогда, когда их размерности совпадают, а соответствующие поля универсально эквивалентны.Дано определение обобщённого языка второго порядка. Дано определение понятий обобщённой алгебраической системы второго порядка и обобщённой модели для обобщённого языка второго порядка. Построено инфра-произведение обобщённых алгебраических систем второго порядка. Введены понятия дескриптивных и прескриптивных пространств. Продолжена разработка теории классических и постклассических семейств функций на дескриптивных и прескриптивных пространствах. Определены семейства равномерных и распределённых функций на этих пространствах. Доказана замкнутость всех этих семейств относительно основных алгебраических операций и относительно равномерной сходимости последовательностей. Приведены примеры использования указанных семейств при решении ряда старых задач теории функций, интеграла и меры. Получены новые нижние оценки разности числа нулей перманента и числа нулей детерминанта. Получены верхние оценки на число единиц вполне неразложимых (0,1)-матриц и вполне неразложимых симметричных (0,1)-матриц с нулевой диагональю, перманент которых равняется определителю матрицы с той же знаковой схемой, но, возможно, некоторые единицы заменены на -1, при любой расстановке единиц исходной матрицы. Изучены свойства тензора перманента на подпространствах полной матричной алгебры, в частности, симметрических, эрмитовых, бесследных матрицах над полями и локальными коммутативными кольцами без делителей 0. Доказано отсутствие конвертеров перманента в детерминант на подпространствах симметрических и косо-симметрических матриц над конечными полями. Охарактеризованы линейные биективные фробениусовы эндоморфизмы для отношений Грина матриц над полукольцами. Пусть A – сильно первичное справа кольцо и M – автоморфизм-продолжаемый правый A-модуль, не являющийся сингулярным. Получены критерии того, что M инъективный или автоморфизм-инвариантный модуль. Построен функтор ортогонального градуированного пополнения градуированных модулей, доказан критерий его точности. Доказан критерий ортогональной полноты полного градуированного модуля частных. Доказана гипотеза Гулдена-Джексона 1996 (MatchingsJack conjecture) в случае двух длинных циклов. Доказана комбинаторная шпехтовость тождества метабелевости. Доказано существование неабелевых групповых кодов над произвольным конечным полем (в групповых алгебрах групп SL_2(GF(3))и S_4). Изучены некоторые криптографические приложения ассоциативных и неассоциативных структур в кодировании и криптографии. Проведены исследования методов построения первичного радикала для топологических луп. Получены начальные результаты по конструкции и свойствам радикала в классе IP-луп. | ||
3 | 1 января 2016 г.-31 декабря 2016 г. | Теория колец: структурная теория; комбинаторные методы; приложения |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".