Regular bi-interpretability of Chevalley groups over local rings

Elena Bunina

In this paper we prove that if $G(R)=G_{\pi }(\Phi ,R)$ $(E(R)=E_{\pi }(\Phi ,R))$ is an (elementary) Chevalley group of rank $>1$, $R$ is a local ring (with $\frac{1}{2}$ for the root systems ${\…