Defining \mathbbA in G(\mathbbA)

2020/07/22 by Segal, Dan
#03C60 #20G35 #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO)

paper · doi:10.48550/arxiv.2007.11440

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).

Related

• Defining R and G(R)
• Regular bi-interpretability of Chevalley groups over local rings
• Regular bi-interpretability and finite axiomatizability of Chevalley groups
• Commensurability and bi-interpretability of groups
• Formalizing the Ring of Adèles of a Global Field