Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет друг друга пердуна ([info]oort)
@ 2022-10-04 10:44:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Entry tags:m

Defining Z in Q
https://arxiv.org/abs/1011.3424

типа есть многочлен от n+1 переменных над Z который, который задает подмножество V в Q^n
такое что образ V при проекции Q^n -> Q в первую координату это в точности дополнение до
множества Z всех целых чисел.

Иными словами Z определимы в Q языком колец.

Интересно какой правильный аналог этого для решеток вообще.
Наивно для линейных групп можно спросить определима ли любая (арифметическая) решетка



(Добавить комментарий)


[info]apkallatu
2022-10-07 20:40 (ссылка)
это сложно вроде

опять же непонятно, какой на группе язык, что в него засунуть кроме групповой операции

(Ответить)