Defining $\mathbb{A}$ in $G(\mathbb{A})$

Abstract

If $G$ is a Chevalley group and $R$ is an adele ring, or a product of local factors in an adele ring, then $R$ is bi-interpretable with $G(R)$.