Глава 2. Симметрия кристаллов
89
степени одного генератора, и они всегда абелевы. Однако для полного за-
дания группы помимо образующих элементов необходимо знать некото-
рые соотношения между ними (например, положение относительно друг
друга),
которые называются определяющими соотношениями.
Если часть членов группы G образует относительно той же операции
группу Н, то такое подмножество Н называется подгруппой данной груп-
пы G. Например, в группе 6-го порядка
L
3
3L.
2
{L
v
L
3
X
, L.
2
, Z, , Z, ,
Z
2(u)
}
можно выделить подгруппу 3-го порядка Z
3
{L
v
Z
3
\ Lf) или подгруппы
2-го порядка L.
2
{L
v
L,
2
) и т. д.
Для конечных групп справедлива теорема Лагранжа. Порядок (г)
подгруппы (Н) является целым делителем порядка (п) группы (G), т. е.
—
=
р, где р — целое число, называемое индексом подгруппы Нв группе G
г
(или, в теории групп симметрии, кратностью правильной системы точек,
см.
параграф
6.2.5).
С другой стороны, можно сказать, что группа G является надгруппой
группы Н или что группа G является расширением группы Н.
Еще одним важным понятием теории групп являются смежные клас-
сы.
Пусть Н есть некоторая подгруппа группы G. Существует элемент g
k
группы G, не входящий в подгруппу Н (g
k
е G, g
k
<£ Н). Если умножать
этот элемент g
k
на все элементы подгруппы Н, оставляя всегда g
k
левым
сомножителем (g
k
* Н), то множество полученных значений образует
так называемый левый смежный класс относительно подгруппы Н. А по-
скольку в общем случае умножение элементов группового множества не-
коммутативно, то существует правый смежный класс относительно под-
группы Н, где элемент g
k
является правым сомножителем (Н
*
g
k
).
Очевидно, что оба смежных класса являются подмножествами груп-
пы G, так как оба класса получены перемножением элементов группы G.
Правые и левые классы в общем случае не совпадают. Если же разложе-
ние на правые и левые классы по некоторой группе Н совпадает, то такая
группа называется инвариантной или нормальным делителем.
Поскольку все закономерности сводятся к закону «умножения» эле-
ментов, структура конечной группы, ее порядок выявляется произведе-
нием любых пар ее членов, собранных в своеобразную «таблицу умно-
жения», называемую квадратом Кейли. В такой квадратной таблице
все операции симметрии, составляющие группу, записываются по гори-
зонтали и вертикали, начиная с единичного члена; произведения же их
фиксируются на пересечении вертикального столбца и горизонтальной
строки.
Например, симметрия фигуры в виде параллелепипеда (кирпича)
описывается группой симметрии
3L,
2
3PC
8-го порядка, имеющей свои-
ми членами следующие симметрические операции: Р , Р , Р
(г)
,
Z.
, L
2 )У