|
Фундаментальная и прикладная математика, 2010, том 16, выпуск 7, страницы 181–196
(Mi fpm1369)
|
|
|
|
Типовая эквивалентность линейных групп и других алгебраических систем
А. Д. Максимов Московский государственный университет им. М. В. Ломоносова
Аннотация:
В работе рассматривается понятие типовой эквивалентности (эквивалентности по типам), введённое И. Б. Плоткиным, приводится несколько примеров элементарно эквивалентных объектов, не эквивалентных по типам, и два способа построения примеров эквивалентных по типам неизоморфных алгебр. Также мы переносим теорему А. И. Мальцева об элементарной эквивалентности линейных групп над полями на случай эквивалентности по типам.
Ключевые слова:
эквивалентность типов, эквивалентность в разных логиках, теорема Мальцева, линейные группы.
Образец цитирования:
А. Д. Максимов, “Типовая эквивалентность линейных групп и других алгебраических систем”, Фундамент. и прикл. матем., 16:7 (2010), 181–196; J. Math. Sci., 183:3 (2012), 397–406
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fpm1369 https://www.mathnet.ru/rus/fpm/v16/i7/p181
|
Статистика просмотров: |
Страница аннотации: | 236 | PDF полного текста: | 235 | Список литературы: | 38 | Первая страница: | 2 |
|