Группы симметрий квадрата и куба (стр. 1 из 2)

О.А.Котий , Т.Л.Агафонова

Хорошо знакомая школьнику фигура квадрат имеет четыре оси симметрии и центр симметрии (рис. 1). Это означает, что существует пять движений плоскости: четыре осевые симметрии и одна центральная, при которых квадрат отображается на себя. При этом некоторые вершины поменяются местами, а некоторые останутся неподвижными.

Поставим более общую задачу: перечислить все движения, отображающие квадрат на себя.

Легко увидеть, что таких преобразований 8. Кроме выше указанных четырех осевых симметрий есть еще четыре поворота вокруг центра O (на 0о,  90о, 180о). Сюда вошли и тождественное преобразование

и центральная симметрия
.

Имеется более общее понятие, чем множество преобразований фигуры в себя - группа симметрий фигуры. Это такое множество преобразований, отображающих фигуру на себя, которые можно перемножать так, чтобы выполнялись привычные свойства умножения чисел.

Произведение преобразований a и b (ab) - это преобразование, полученное в результате последовательного выполнения преобразований a, b.

При таком определении умножения преобразований выполняются свойства.

Существует "единица" умножения - это тождественное преобразование e такое, что преобразования ea и ae совпадают с преобразованием a.

Каждое преобразование a имеет обратное a-1 такое, что aa-1 = a-1a = e.

При умножении трех преобразований a, b и c преобразования можно объединять попарно разными способами, то есть выполняется ассоциативный закон.

(ab) c = a (bc).

Отсюда, при умножении нескольких множителей скобки можно не ставить.

В отличие от умножения чисел коммутативный закон для умножения преобразований не обязательно выполняется. Например. Пусть a и b (рис. 2) - осевые симметрии (для краткости в дальнейшем слово осевая будем опускать). Преобразование ab отображает:

A  D  B,

B  C  C.

Сторона AB перешла в BC; центр О остался неподвижным. ab - это поворот вокруг центра О на 90о. Аналогично проверяется, что преобразование ba есть поворот в обратную сторону, на -90о, то есть ab  ba.

Таким образом, перечисленные выше 8 преобразований образуют некоммутативную группу симметрий квадрата (G2).

Четыре поворота вокруг центра О на 0о,  90о, 180о также образуют группу - это подгруппа группы симметрий квадрата, так как при умножении поворотов снова получается поворот, угол поворота которого равен сумме углов поворота сомножителей (с точностью до 360о). Эта подгруппа порождается поворотом на 90о (

):

,
,
.

Это циклическая группа Z4 { r, r2, r3, r4 = e }.

Она состоит из степеней одного порождающего ее элемента. Очевидно, r2 есть центральная симметрия z, r3 = r -1. Симметрия a (рис. 2) порождает подгруппу Z2 { a, a2 = e }. Две симметрии a и c, оси которых перпендикулярны (рис. 3) порождают нециклическую подгруппу из четырех элементов: двух осевых симметрий и одной центральной: { a, c, ac = z, a2 = e }. В силу того, что умножение двух симметрий дает поворот на удвоенный угол между осями, можно проверить, что правила умножения для этой группы таковы. Произведение любых двух симметрий равно третьей симметрии, а квадраты их равны тождественному преобразованию (табл. 1). Группу с такой таблицей умножения называют четверной группой Клейна (K4) (Феликс Клейн (1849 - 1925 гг.) - немецкий математик). Эта группа также как и циклическая (Z4) коммутативна.

Замечание. Группа симметрий квадрата G2 порождается двумя симметриями a, b (рис. 2).

G2 { a, b, ab, ba, aba, bab, abab, a2 = e },

где aba, bab - симметрии, abab - центральная симметрия z.

Используя равенства a2 = b2 = e, abab = baba, можно упростить любое произведение, составленное из сомножителей a и b. Например, ababa = (baba) a = (bab) a2 = bab - симметрия c.

Коммутатор. Коммутант

Произведение aba-1b-1 называют коммутатором преобразований a и b. Обозначается [ab].

Если ab = ba, то коммутатор [ab] = aba-1b-1 = (ba)a-1b-1 = b(aa-1)b-1 = beb-1 = bb-1 = = e. Если преобразования a и b не перестановочны, то [ab] e.

Коммутаторы всех пар преобразований группы порождают группу, которая называется коммутантом группы.

Для коммутативной группы коммутант тривиален, он состоит из единицы группы. Таким образом, коммутант в некотором смысле является "мерой некоммутативности" группы.

Вычислим коммутант группы симметрий квадрата (G2). Чтобы не перебирать все пары, пойдем по такому пути, который будет использован в дальнейшем при исследовании группы симметрий куба.

С квадратом ABCD жестко свяжем два вектора e1, e2 (рис. 4). При любом преобразовании квадрата пара векторов (e1, e2) займет новое положение, обозначим его символом: ( ei,  ej) (i, j = 1,2; i  j). Имеется всего восемь символов:

( e1,  e2); ( e2,  e1).

Каждому преобразованию квадрата отвечает свой символ. Пример: тождественному преобразованию e - (e1, e2), центральной симметрии z - (-e1, -e2), симметриям b, c - (e2, e1), (-e1, e2), повороту r - (e2, -e1).

Способ умножения символов покажем на примере.

(-e1, e2) (-e2, -e1).

В первом преобразовании e1  -e1. Во втором преобразовании e1  -e2, тогда -e1  e2. Аналогично e2  e2  -e1. Окончательно (-e1, e2) (-e2, -e1) = (e2, -e1).

(e2, e1) (e2, -e1).

В первом преобразовании e1  e2, а во втором преобразовании e2  -e1. Аналогично e2  e1  e2. Окончательно (e2, e1) (e2, -e1) = (-e1, e2).

Упражнение. Проверьте, что

1. ( e1,  e2) ( ,  ) = (  ,   ),

2. ( e2,  e1) ( ,  ) = (  ,   ),

где ( ,  ) - символ любого из восьми преобразований квадрата.

Из этих примеров следует, что при умножении четного числа преобразований ( e2,  e1) в произведении получается символ с натуральным порядком индексов векторов, а при нечетном - получается символ с обратным порядком векторов. Число минусов в результате будет иметь такую же четность, как сумма числа минусов всех сомножителей.

Упражнение. Проверьте, что

1. ( e1,  e2)-1 = ( e1,  e2),

2. ( 2e2,  1e1)-1 = ( 1e2,  2e1), где  i =  1.

Отсюда вывод, что символ обратного преобразования имеет то же число минусов, что и данное, и такую же последовательность индексов.

Вернемся к коммутатору [ab] = aba-1b-1. С учетом следствий, вытекающих из предыдущих упражнений, число символов вида ( e2,  e1) в коммутаторе всегда четно. Отсюда следует, что в символе коммутатора индексы векторов идут в натуральном порядке и имеется либо два минуса, либо ни одного. А это значит, что коммутаторами группы симметрий квадрата могут быть только

(e1, e2) и (-e1, -e2).

Например, в силу коммутативности произведения симметрий a, c (рис. 4) их коммутатор [ac] = e, то есть (e1, e2). Легко проверить, что [ab] = z (рис. 4), то есть (-e1, -e2).

Множество из коммутаторов { (e1, e2); (-e1, -e2) } уже образует группу, поэтому по определению оно является коммутантом

группы симметрий G2. Коммутант
от полученного коммутанта, в силу коммутативности группы
есть единица e.

Группа, обладающая свойством, что последовательность ее коммутантов приводит к группе, состоящей из одной единицы, называется разрешимой.

Таким образом, группа симметрий квадрата разрешима.

Группа симметрий куба

Изучим теперь группу симметрий куба и выясним, разрешима она или нет?

Для этого используем символику, введенную в предыдущем параграфе. С кубом жестко свяжем три вектора e1, e2, e3 (рис. 5). При любом преобразовании куба тройка векторов (e1, e2, e3) займет новое положение ( ei,  ej,  ek) (i, j, k = 1, 2, 3; i j k, i k). Каждому преобразованию куба отвечает свой символ, верно и обратное. Одни из них будут обозначены символом, полученным перестановкой четного числа векторов (циклической).

Это: (e3, e1, e2) - соответствует повороту вокруг оси DB1 на 120о (рис. 6) (две перестановки: e2 с e3 и e3 с e1); (e2, e3, e1) - соответствует обратному повороту (на -120о) (две перестановки: e1 с e3 и e3 с e2); (e1, e2, e3) - тождественному преобразованию (нуль перестановок). Другие преобразования будут обозначены символом, полученным нечетным числом перестановок. Это символы, соответствующие плоскостным симметриям:

Например, (e2, e1, e3) - симметрия относительно плоскости BB1D1D (рис. 7) (одна перестановка: e1 и e2).

В соответствии с числом перестановок будем называть символы (e1, e2, e3), (e3, e1, e2), (e2, e3, e1) четными, а символы (e1, e3, e2), (e3, e2, e1), (e2, e1, e3) - нечетными.

Но в каждом символе могут присутствовать знаки минус (-) (один, два или три). Например:

(e1, e2, e3) - тождественное преобразование e,

(-e1, -e2, -e3) - центральная симметрия относительно центра,

(-e1, e2, e3), (e1, -e2, e3), (e1, e2, -e3) - плоскостные симметрии относительно плоскостей a, b, c (рис. 8),

(-e1, -e2, e3), (-e1, e2, -e3), (e1, -e2, -e3) - осевые симметрии относительно осей, параллельных соответственно векторам e3, e2, e1.

Итак, для трех векторов существует 6 перестановок и в каждой перестановке можно 8-ью способами расставить знаки (+), (-). Таким образом, вся группа движений куба содержит 6х8 = 48 элементов.