Композиция

Операции симметрии можно применять последовательно — одну за другой. Отличительная особенность именно операций симметрии заключается в том, что любая, как угодно длинная, последовательность операций приведет к результату, который может быть достигнут всего в одну стадию — путем применения только одной из операций симметрии, входящей в данную ТГС. Эту особенность принято записывать с помощью специального типа уравнений:

s ^xz _* s ^yz = C ₂ ^z

Приведенное равенство означает, что выполнение двух последовательных отражений (сначала в плоскости yz, а затем в плоскости хz) эквивалентно по своему результату одной операции — повороту на 180° вокруг оси z. Такое выражение называют умножением операций симметрии или их композицией. С помощью процедуры умножения можно строить произведения операции симметрии "на себя", т.е. возводить эту операцию в степень. Характерно то, что любая операция, возведенная в достаточно большую степень, даст в результате единичную операцию: (F) ⁿ = E. Число n называется порядком операции. Так, порядок любого поворота равен нижнему индексу n, порядок любого отражения и инверсии равен 2, порядок единичной операции равен 1.

Подчеркнем, что очередность расположения операций в их композиции, а, соответственно, и очередность их выполнения над объектом может быть существенной. Для некоторых пар операций симметрии выполняется равенство: А * В = В * А, а для некоторых — нет. В первом случае операции А и В называются коммутирующими, а во втором — не коммутирующими. В большинстве ТГС встречаются как коммутирующие так и не коммутирующие между собой операции. Однако, существует небольшое число групп, содержащих только коммутирующие элементы. Такие группы относятся к особому типу коммутативных (или абелевых) групп.

Пользуясь операцией умножения, для любой группы можно построить таблицу умножения. Такая таблица содержит по одному столбцу и одной строке для каждого элемента группы. В клетке таблицы на пересечении столбца i и строки j стоит элемент-произведение с _ij = a _i * a _j. Например, для группы C _{2 v} таблица умножения имеет вид:

C 2 v	E	C 2 ^z	s ^xz	s ^yz
E	E	C 2 ^z	s ^xz	s ^yz
C 2 ^z	C 2 ^z	E	s ^yz	s ^xz
s ^xz	s ^xz	s ^yz	E	C 2 ^z
s ^yz	s ^yz	s ^xz	C 2 ^z	E

Видно, что каждая строка и каждый столбец групповой таблицы содержат каждый элемент группы, причем ровно один раз. Приведенный пример таблицы обладает симметрией, относительно главной диагонали (с _ij = c _ji). Такая симметрия характерна для коммутативных (абелевых) групп.

Еще одна особенность таблицы заключается в следующем. Если рассмотреть только часть таблицы (заштрихована), то можно заметить, что она обладает всеми особенностями групповой таблицы. Другими словами, внутри группы C _{2 v}, содержащей четыре элемента (E, C ₂, s ^xz, s ^yz), существует другая группа меньшего размера, содержащая два элемента (E, C ₂). Такие группы, являющиеся составной частью большой группы, называются ее подгруппами. В частности, в группе C _{2 v} имеется три подгруппы:

(E, C ₂) (E, s ^xz) (E, s ^yz)

Наличие подгрупп и их размеры можно оценить с помощью теоремы Лагранжа, которая утверждает, что число элементов любой подгруппы k должно быть делителем числа элементов группы n. Так в группе С _{2 v} (n = 4) могут быть только подгруппы с k = 2, а в группе O_h (n = 48) можно ожидать наличия подгрупп с k = 2, 3, 4, 6, 8, 12, 16, 24.

---

Дата добавления: 2015-07-20