Elementary equivalence of Chevalley groups over fields. (Q950878)

Two groups (or rings) are elementary equivalent if any sentence of a first-order language holds in both simultaneously. For example, the field of complex numbers and its subfield of all algebraic numbers are elementary equivalent. The Chevalley groups \(G_\pi(\Phi,K)\) over infinite fields \(K=2K\) are considered. Here \(\Phi\) is an indecomposable root system and \(\pi\) is a finite-dimensional faithful representation of the corresponding Lie algebra. The main result is that two groups \(G_\pi(\Phi,K)\) and \(G_{\pi'}(\Phi',K')\) are elementary equivalent if and only if \(\Phi\) and \(\Phi'\) are isomorphic, \(K\) and \(K'\) are elementary equivalent, and the weight lattices corresponding to \(\pi\) and \(\pi'\) coincide. A similar result is obtained for the subgroups \(E_\pi(\Phi,K)\subset G_\pi(\Phi,K) \) generated by the root elements.