Defining $\mathbb{A}$ in $G(\mathbb{A})$
Group Theory
2020-07-23 v1 Logic
Abstract
If is a Chevalley group and is an adele ring, or a product of local factors in an adele ring, then is bi-interpretable with .
Cite
@article{arxiv.2007.11440,
title = {Defining $\mathbb{A}$ in $G(\mathbb{A})$},
author = {Dan Segal},
journal= {arXiv preprint arXiv:2007.11440},
year = {2020}
}
Comments
This supplements similar results for integral domains recently posted by Nies, Segal and Tent