Related papers: The Diophantine problem in Chevalley groups

Let R be a recursive subring of a number field. We show that recursively enumerable sets are diophantine for the polynomial ring R[Z].

We revisit localisation and patching method in the setting of Chevalley groups. Introducing certain subgroups of relative elementary Chevalley groups, we develop relative versions of the conjugation calculus and the commutator calculus in…

We study the Diophantine problem, i.e. the decision problem of solving systems of equations, for some families of one-relator groups, and provide some background for why this problem is of interest. The method used is primarily the…

Let R be a Dedekind domain, and let G be a simply connected Chevalley-Demazure group scheme of rank =>2. We prove that G(R[x_1,...,x_n])=G(R)E(R[x_1,...,x_n]) for any n=>1. This extends the corresponding results of A. Suslin and F.…

Diophantine subsets of $\mathbb{Z}$ play a key role in the negative answer to Hilbert's tenth problem. The definition of diophantine set generalizes in several ways to other commutative rings. We compare these definitions. Along the way, we…

We prove that every locally inner endomorphism of a Chevalley group (or its elementary subgroup) over a local ring with an irreducible root system of rank >1 (with 1/2 for the systems A_2, F_4, B_l, C_l and with 1/3 for the system G_2) is…

We continue study of subgroups of a Chevalley group $G_P(\Phi,R)$ over a ring $R$ with a root system $\Phi$ and a weight lattice $P$, containing the elementary subgroup $E_P(\Phi,K)$ over a subring $K$ of $R$. Recently A. Bak and A.…

For a root system $\Phi$ of type $E_l$ and arbitrary commutative ring $R$ we show that the group $K_2(\Phi, R)$ is contained in the centre of the Steinberg group $St(\Phi, R)$. In course of the proof we also demonstrate an analogue of…

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

In the present paper, we practicaly complete the solution of the problem on the description of overgroups of the subsystem subgroup $E(\Delta,R)$ in the Chevalley group $G(\Phi,R)$ over the ring $R$, where $\Phi$ is a simply laced root…

It is proved that (elementary) Chevalley groups $G_\pi (\Phi,K)$ and $G_{\pi'}(\Phi',K')$ (or $E_\pi (\Phi,K)$ and $E_{\pi'}(\Phi',K'))$ over infinite fields $K$ and $K'$ of characteristics $\ne 2$, with weight lattices $\Lambda$ and…

Let $\ell$ and $p$ be (not necessarily distinct) prime numbers and $F$ be a global function field of characteristic $\ell$ with field of constants $\kappa$. Assume that there exists a prime $P_\infty$ of $F$ which has degree $1$, and let…

Let $X$ be a $G$-homogeneous space over a number field $k$ such that $X\cong G_\gamma\backslash G$. Here, $G$ is a simply connected semisimple group over $k$ and $\gamma\in G(k)$ whose centralizer $G_\gamma$ is a maximal torus in $G$ which…

In this paper we study the $\mathbb{A}^1$-invariance of the unstable functor $\mathrm{K}_2(\Phi, R)$ in the case when $\Phi$ is an irreducible root system of type $\mathsf{ADE}$ containing $\mathsf{A}_4$ and not of type $\mathsf{E}_8$. We…

In the present paper we prove sandwich classification for the overgroups of the subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for the three types of pair $(\Phi,\Delta)$ (the root system and its subsystem) such that…

In this paper we prove that every automorphism of a Chevalley group with the root system G_2 over a commutative ring R with 1/3, generated by all its invertible elements and the ideal 2R is a composition of ring and inner automorphisms.

Consider the equation $q_1\alpha^{x_1}+\dots+q_k\alpha^{x_k} = q$, with constants $\alpha \in \overline{\mathbb{Q}} \setminus \{0,1\}$, $q_1,\ldots,q_k,q\in\overline{\mathbb{Q}}$ and unknowns $x_1,\ldots,x_k$, referred to in this paper as…

We show that the Diophantine problem in Thompson's group F is undecidable. Our proof uses the facts that F has finite commutator width and rank 2 abelianisation, then uses similar arguments used by B\"uchi and Senger and Ciobanu and Garreta…

In the current article we study structure of a Chevalley group $G(R)$ over a commutative ring $R$. We generalize and improve the following results: (1) standard, relative, and multi-relative commutator formulas; (2) nilpotent structure of…

For a finitely generated group $G$, the \emph{Diophantine problem} over $G$ is the algorithmic problem of deciding whether a given equation $W(z_1,z_2,\ldots,z_k) = 1$ (perhaps restricted to a fixed subclass of equations) has a solution in…