Модели алгебраических систем языка первого порядка называются элементарно эквивалентнымипишем ≡, если всякое предложение, истинное в одной из них, является истинным и в другой системе. Теоретико-модельные исследования линейных групп и колец развивались, начиная с работ А.И. Мальцева (1960, 1961 гг.), в тесной связи с теорией изоморфизмов; как правило, отношение ≡ исследуемых систем переносилось на поля (или встречавшиеся кольца) коэффициентов. Соответствие Мальцева исследовалось для колец нильтреугольных матриц и унитреугольных групп (Б.