RUS  ENG
Полная версия
ЖУРНАЛЫ // Фундаментальная и прикладная математика // Архив

Фундамент. и прикл. матем., 2010, том 16, выпуск 7, страницы 181–196 (Mi fpm1369)

Типовая эквивалентность линейных групп и других алгебраических систем

А. Д. Максимов

Московский государственный университет им. М. В. Ломоносова

Аннотация: В работе рассматривается понятие типовой эквивалентности (эквивалентности по типам), введённое И. Б. Плоткиным, приводится несколько примеров элементарно эквивалентных объектов, не эквивалентных по типам, и два способа построения примеров эквивалентных по типам неизоморфных алгебр. Также мы переносим теорему А. И. Мальцева об элементарной эквивалентности линейных групп над полями на случай эквивалентности по типам.

Ключевые слова: эквивалентность типов, эквивалентность в разных логиках, теорема Мальцева, линейные группы.

УДК: 510.67+512.54


 Англоязычная версия: Journal of Mathematical Sciences (New York), 2012, 183:3, 397–406

Реферативные базы данных:


© МИАН, 2024