Defining Z in Q
https://arxiv.org/abs/1011.3424
типа есть многочлен от n+1 переменных над Z который, который задает подмножество V в Q^n
такое что образ V при проекции Q^n -> Q в первую координату это в точности дополнение до
множества Z всех целых чисел.
Иными словами Z определимы в Q языком колец.
Интересно какой правильный аналог этого для решеток вообще.
Наивно для линейных групп можно спросить определима ли любая (арифметическая) решетка