#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Семинар отдела математической логики МИАН, Logic Online Seminar (www.mathnet.ru/rus/conf876), понедельник 16:00 MSK (UTC+3), ауд. 313 + Kontur Talk

04.05.2026, совместное заседание с семинаром С. И. Адяна
Г. А. Калеева (www.mathnet.ru/person133934): Универсальная эквивалентность линейных групп над кольцами (очный доклад)

В этом докладе я расскажу про универсальную эквивалентность линейных групп. Две алгебраических структуры одной сигнатуры называются универсально эквивалентными, если их универсальные теории (множества всех универсальных формул, истинных в данных структурах) совпадают. Мы обсудим критерии универсальной эквивалентность для полных (и специальных) линейных групп над полями, а также локальными (в том числе некоммутативными) кольцами и ответим на вопрос, верно ли, что универсальная эквивалентность двух линейных групп одного типа (например, GL_n(R_1) и GL_m(R_2)) равносильна универсальной эквивалентности колец R_1 и R_2 и совпадению порядков групп n = m.