Elementary equivalence of Chevalley groups over fields
arXiv:math/0702044
Abstract
It is proved that (elementary) Chevalley groups and (or and over infinite fields and of characteristics , with weight lattices and , respectively, are elementarily equivalent if and only if the root systems and are isomorphic, the fields and are elementarily equivalent, the lattices and coincide.
55 pages