TGViewer
Математические байки Математические байки @mathtabletalks · 4.29K subscribers
Post #4485 1.54K
Так вот, давайте ещё чуть-чуть посмотрим на прямую R.
Группа SL(2,Z), например, на ней действовать, сохраняя ориентацию, не может, причём не только эффективно, но и вообще хоть как-то нетривиально. Потому что её можно породить элементами конечного порядка — например, соответствующими матрицам (0, -1\\ 1, 0) и (1, -1 \\ 1, 0). А мы только что обсудили, что элементы конечного порядка могут на прямой действовать только тождественно.

Зато если взять подгруппу Г в SL(2,Z) индекса 12, порождённую матрицами
(1, 2\\ 0, 1) и (1, 0\\ 2, 1),
так эта подгруппа это просто свободная группа с этими элементами-образующими (что само по себе — хорошее упражнение!), так что её заставить действовать нет никаких проблем.

А что, если мы берём решётки в группе Ли большего ранга?
Сама по себе решётка SL(3,Z)<SL(3,R) на прямой действовать (сохраняя ориентацию) не может. По той же причине, что и раньше — она порождена своими элементами конечного порядка, которые действовать не могут.
А если мы будем рассматривать подгруппы конечного индекса в SL(3,Z)?
More from @mathtabletalks
  1. Sep 15, 2026к сегодняшнему 100-летию Серра — его свежее интервью от группы Бурбаки в 40-х годах до «I…
  2. Sep 15, 202615 сентября столетний юбилей отмечает французский математик Жан-Пьер Серр. Поздравляем юби…
  3. Sep 15, 2026youtube.com/watch?v=Px71N0DvoCA
  4. Aug 12, 2026До начала затмения остаётся всего несколько часов, так что на всякий случай напомню: и без…
  5. Aug 6, 2026Король приготовил N мудрецам испытание: каждому назначено целое число от 1 до N+1, все наз…
  6. Jul 28, 2026www.mathnet.ru/php/conference.phtml?eventID=27&confid=2780&option_lang=rus&if_videolibrary…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →