|
При любом вращении, переводящем
правильный тетраэдр в себя, двойственный к нему
тетраэдр также переходит в себя. Восемь вершин этих двух тетраэдров образуют
куб. Если же отметить на сфере 6 точек, соответствующих серединам ребер тетраэдра,
то получим 6 вершин правильного октаэдра. Мы видим, таким образом, тесную связь
между группами вращений тетраэдра и октаэдра, которую и намереваемся изучить. Дополним
нашу фигуру, добавив ортогональную триаду диагоналей октаэдра и 4 главных
диагонали куба (проходящие через центр сферы).
Применяя теперь изложенный
принцип, мы сразу видим, что группа тетраэдра состоит из 12 вращений. В самом
деле, четыре вершины тетраэдра сопряжены друг другу и каждая из них
сохраняется тремя вращениями - тождественным и двумя поворотами периода 3
вокруг диагоналей куба, проходящих через вершины тетраэдра. Мы видим также, что
8 из 12 вращений имеют период 3. Из них две четверки сопряжены между собой, а
именно те, которые представляют собой поворот в одном направлении на угол 2p/3
(или 4p/3)
около вершины тетраэдра, которую они оставляют неподвижной. К этим 8 вращениям
и единице нужно добавить еще 3 сопряженных друг другу вращения периода 2. Эти
три вращения вокруг перпендикулярных диагоналей октаэдра сопряжены, так как
переводятся друг в друга любым вращением периода 3. Вместе с единицей эти три
вращения образуют квадратичную группу. Мы заключаем отсюда, что квадратичная
группа, полученная таким образом, нормальна в группе тетраэдра. Это следует из
того, что 3 сопряженных друг другу диагонали октаэдра переходят в себя при
всех вращениях из квадратичной группы и только при них.
Разложение группы тетраэдра мы можем
получить, рассматривая квадратичную подгруппу и поступая далее, как сказано
ранее. Опустим доказательство того, что других разложений не существует и что
помимо квадратичной подгруппы в группе тетраэдра нет подгрупп, отличных от
циклических, порождаемых повторением одного и того же вращения.
Посмотрим теперь, каким образом четыре
диагонали куба (которые мы кратко обозначим 1, 2, 3, 4) преобразуются
тетраэдральными вращениями. Прежде всего, очевидно, что ни одно такое вращение
(кроме единичного) не оставляет на месте все 4 диагонали куба. Таким образом,
разным вращениям соответствуют разные перестановки четырех диагоналей куба.
Тем самым, группа тетраэдральных вращений просто изоморфна группе соответствующих
перестановок диагоналей куба.
Мы видим, в частности, что
вращениям из нормальной квадратичной подгруппы соответствуют следующие
перестановки четырех диагоналей:
1 , 2
, 3, 4; 3 , 4 , 1 , 2;
4 , 3 , 2 , 1; 2 , 1 , 4 , 3;
К ним нужно добавить, чтобы получить
полную группу тетраэдра, еще 8 перестановок, которые циклически переставляют 3
из 4 диагоналей. |