Выдержка из книги
Конвей Дж.N.
Упаковки шаров, решетки и группы Т.1
Чтобы показать, что М - ц - собственная подгруппа знакопеременной группы А24, превращаем множество Р ( й) всех подмножеств и в 24-мерное векторное пространство над Рг ( по определению сумма А - - В двух множеств есть их симметрическая разность ( Л В) ЩВ Д)) и показываем, что М - ц сохраняет 12-мерное пространство.
