Elementary equivalence of Chevalley groups
The so-called elementary properties of an algebraic system are those that can be expressed in the language of restricted predicate calculus, taking as given the basic operations and relations of the system. Two algebraic systems \(G_1\) and \(G_2\) are said to be elementarily equivalent, denoted by \(G_1\equiv G_2\), if they have the same elementary properties. Let \({\mathcal G}_1\) and \({\mathcal G}_2\) be two Chevalley groups constructed from algebraically closed fields \(k_1\) and \(k_2\) of characteristic different from two, from simple Lie algebras \({\mathcal L}_1\) and \({\mathcal L}_2\) and from lattices \(L\) and \(M\), respectively. Assume \(L/L_0\cong\varphi_1\) and \(M/M_0\cong\varphi_2\). The author proves that \({\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\).
- Elementary equivalence of Chevalley groups over fields.
- Combinatorial and logical aspects of linear groups and Chevalley groups.
- Chevalley groups over fields and their elementary properties
- Elementary equivalence of Chevalley groups over local rings.
- Elementary properties of linear and algebraic groups
- Elementary properties of linear and algebraic groups
- A criterion of elementary equivalence of automorphism groups of unreduced abelian \(p\)-groups.
- Combinatorial and logical aspects of linear groups and Chevalley groups.
- Elementary equivalence of endomorphism monoids of almost free \(S\)-acts
- Elementary equivalence of categories of modules and other algebraic structures.
- Elementary equivalence of Chevalley groups over local rings.
- A criterion of elementary equivalence of automorphism groups of reduced Abelian p-groups.
- Elementary equivalence in Artin groups of finite type
- Chevalley groups over fields and their elementary properties
- Elementary equivalence of automorphism groups of reduced Abelian \(p\)-groups.
- The Diophantine problem in the classical matrix groups
- Elementary equivalence of stable linear groups over fields of characteristic 2
- Elementary equivalence of Chevalley groups over fields.
This page was built for publication: Elementary equivalence of Chevalley groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2784522)
