о нильпотентных группах (математическое)

Красивая конструкция попалась сегодня, доказывающая, что любую конечнопорождённую нильпотентную группу без кручения можно представить в качестве дискретной ко-компактной подгруппы односвязной нильпотентной группы Ли. ( здесь и далее интересно, наверное, только математикам )

лытдыбр

Очень устал. Много всего навалилось сразу.

Кому не ответил или не отвечаю на комменты — извините. Ленту тоже читать не успеваю.

Меж тем в эти выходные начинается Иерусалимский кинофестиваль.

Завтра неплохо бы сходить в бассейн.

Всё, спать.

мимоходом

Приснилось, что читаю книгу и вижу там опечатку: “помытка” (вместо “попытка”).