Commensurability and bi-interpretability of groups

Abstract

Commensurable groups are bi-interpretable, under suitable definability conditions.