Combinatorial and logical aspects of linear groups and Chevalley groups. (Q2386444)

If \(G\) is an algebraic system in the first-order language \(\mathcal L\), then the totality \(\text{Th}(G)\) of all sentences of the language \(\mathcal L\) that hold in the system \(G\), is called an `elementary theory' of the system \(G\). Two algebraic systems \(G_1\) and \(G_2\) in the same first-order language \(\mathcal L\) are called `elementary equivalent' (\(G_1\equiv G_2\)) if and only if \(\text{Th}(G_1)=\text{Th}(G_2)\). The authors prove the following theorem. Suppose that the Chevalley groups \(\mathcal G_1\) and \(\mathcal G_2\) are constructed by algebraically closed fields \(K_1\) and \(K_2\) of characteristic distinct from \(2\), simple Lie algebras \(\mathcal L_1\) and \(\mathcal L_2\), and lattices \(L\) and \(M\). Let \(L/L_0\cong\varphi_1\), \(M/M_0\cong\varphi_2\) (\(\varphi_1\) and \(\varphi_2\) are finite groups). Then \(\mathcal G_1\equiv\mathcal G_2\) if and only if \(K_1\equiv K_2\), \(\mathcal L_1\cong\mathcal L_2\), and \(\varphi_1\cong\varphi_2\), except when \(\mathcal L_1\) and \(\mathcal L_2\) both are of type \(D_{2l}\), \(l\geq 3\), \(\varphi_1\cong\varphi_2\cong\mathbb{Z}_2\). In this case there exist two groups that are not elementary equivalent to each other but have equivalent fields.