Elementary equivalence of stable linear groups over fields of characteristic 2
In this paper, we prove a criterion of elementary equivalence of stable linear groups over fields of characteristic two.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In this paper, we prove a criterion of elementary equivalence of stable linear groups over fields of characteristic two.
In this paper we prove that if G(R)=Gπ(Φ,R) (E(R)=Eπ(Φ,R)) is an (elementary) Chevalley group of rank >1, R is a local ring (with 21 for the root systems A2,Bl,Cl,F4,G2 and with 31 for G2), then the group G(R) (or (E(R)) is regularly bi-interpretable with the ring~R. As a consequence of this theorem, we show that the class of all Chevalley groups over local rings (with the listed restrictions) is elementary definable, i.\,e., if for an arbitrary group~H we have H≡Gπ(Φ,R), than there exists a ring R′≡R such that H≅Gπ(Φ,R′).
In this paper we prove that every automorphism of (elementary) adjoint Chevalley group with root system of rank >1 over a commutative ring (with 1/2 for the systems A2, F4, Bl, Cl; with 1/2 and 1/3 for the system G2) is standard, i.\,e., it is a composition of ring, inner, central and graph automorphisms.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.