166018 (685434), страница 2
Текст из файла (страница 2)
H(4)
а рис. 6 показана зеркально-поворотная ось симметрии четвертого порядка S4. Из рис. 6 можно видеть, что при повороте на угол 4 вокруг оси S4 против часовой стрелки атомы H(i) переходят в места, указанные звездочками. Совершив затем отра-ж
H(3)
ение в заштрихованной горизонтальной плоскости, получим, что все звездочки перейдут в соответствующие атомы, т. е. в результате зеркального поворота S4 атом H(1) перейдет в H(3), H(2) – в H(4), H(3) – в H(2), H(4) – в H(1).1.2 Групповые постулаты
1. Алгебраические операции
Определение 1. Бинарной алгебраической операцией, определенной на множестве М, называется правило, согласно которому каждые два элемента a и b множества М, взятые в определенном порядке, однозначно сопоставляются с элементом с из этого множества, называемым результатом выполнения операции.
Рассмотрим в качестве общего примера множество операций симметрии молекулы. Под произведением операций симметрии и
будем понимать их последовательное выполнение. Первые два требования к алгебраической операции, очевидно, выполняются. Проверим выполнение третьего условия из определения алгебраической операции.
Операция симметрии совмещает геометрическую модель с собой, и если после выполнения операции
мы выполнили операцию
, модель снова совместится сама с собой. Проверим изометричность произведения
. Пусть геометрическая модель молекулы изображена на рисунке в виде фигуры F. Операции симметрии этой фигуры являются операциями симметрии молекулы. Пусть x и y – любые две точки фигуры F и пусть при операции
точки x и y переходят в точки x и y соответственно, что запишем в виде x=x
, y=y
. Аналогично, пусть x=x
, y=y
. Тогда при последовательном выполнении операций
и
, т. е. в результате выполнения операции
, получаем x=x
, y=y
. Так как
изометрично, то r(x, y)=r(x, y), где r(x, y) обозначает расстояние между точками x и y, а r(x, y) – расстояние между точками x, y. Поскольку
тоже изметрично, то r(x, y)=r(x, y). Из полученных равенств следует, что r(x, y) =r(x, y), т. е.
изометрично. Так как самосовмещение фигуры есть ее отображение на себя, то
есть изометрическое отображение фигуры F на себя, т. е. операция симметрии фигуры. Поскольку
и
можно считать любыми элементами множества операций симметрии молекулы, третье условие из определения алгебраической операции выполнено.
2. Таблица Кэли
Подобно тому, как существует таблица умножения натуральных чисел, можно составить таблицу умножения в множестве операций симметрии молекулы. Эта таблица называется таблицей Кэли (или квадратом Кэли). Для того, чтобы понять общий принцип составления таких таблиц, запишем таблицу Кэли для случая множества операций симметрии молекулы аммиака NH3 (табл. 1).
Таблица 1
Квадрат Кэли группы C3V
|
|
|
|
|
|
|
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
3. Определение группы
Определение 2. Множество G называется группой, если в этом множестве определена бинарная алгебраическая операция, удовлетворяющая следующим аксиомам (в мультипликативной записи операций):
1. Для всех элементов a, b, c из множества G (аксиома ассоциативности).
2. Для всех элементов а из множества G существует элемент e из этого множества, такой, что (е называется единичным элементом группы).
3. Для каждого элемента а для множества G существует элемент а-1 из этого из этого множества, такой, что (а-1 называется обратным элементом к элементу а).
Рассмотрев таблицу Кэли для множества C3V, можно убедиться, что множество операций симметрии молекулы аммиака является группой относительно введенной нами операции умножения в этом множестве.
Определение 3. Подмножество H группы G называется подгруппой группы G, если H само является группой относительно операции, введенной в группе G.
Для проверки того, что H является подгруппой группы G, надо проверить два условия: произведение двух элементов из Н снова принадлежит Н и вместе с элементом h обратный к нему элемент из группы G (он должен существовать) также принадлежит Н. В самом деле, тогда ; ассоциативность же умножения, будучи верной во всей группе G, будет иметь место и в подгруппе Н.
Теорема 1. Множество всех операций симметрии молекулы является группой. Эта группа является подгруппой симметрической группы перестановок фигуры, изображающей геометрическую модель молекулы.
Определение 4. Группой симметрии молекулы называется множество S всех операций симметрии молекулы, на котором введена структура группы относительно умножения операций симметрии молекулы.
4. Гомоморфизмы и изоморфизмы
Определение 5. Отображение множества М в множество N – это правило f, по которому каждому элементу m из множества M ставится в соответствие однозначно определенный элемент mf=n из множества N.
Определение 6. Гомоморфизмом группы G в группу G называется отображение множества G в множество G такое, что
(1)
В качестве примера рассмотрим группу C3V и группу {-1}2, состоящую всего из двух элементов {-1}2={-1, 1}.
Построим отображение группы C3V в группу {-1}2 (записываем это в виде : C3V{-1}2) по следующему правилу: элементам ,
,
сопоставим 1, а элементам
,
,
сопоставим -1. Отображение построено, причем, как видим, у элемента 1 группы {-1}2 есть три прообраза, т. е. три элемента группы C3V, образом каждого из которых является 1: у элемента –1 также три прообраза – это не запрещено определением отображения.
Покажем теперь, что есть гомоморфизм. Из таблицы Кэли группы C3V видно, что произведение любых двух элементов множества C3={ ,
,
} принадлежит этому же множеству, в то же время
. Из этой таблицы видно, что
, i, j=1, 2, 3 принадлежит множеству C3, но с другой стороны,
. Наконец, произведения
и
, i, j=1, 2, 3 принадлежат множеству
, с другой стороны
,
. Таким образом для любых двух операций симметрии
и
из множества C3V получаем, что
, где
,
,
есть 1 или –1, т. е. отображение , действительно есть гомоморфизм.
Определение 7. Отображение f множества М в множество N называется взаимно однозначным отображением множества М на множество N, если каждый элемент множества N является образом в точности одного элемента множества M.
Определение 8. Две группы G и G называются изоморфными (обозначение GG), если существует взаимно однозначное отображение группы G на группу G такое, что
(2)
Свойства группы или других математических объектов, сохраняющиеся при изоморфизме, называются структурными свойствами. Приведем два примера структурных свойств групп, которым предшествуют два важных определения.
Определение 9. Если группа G содержит конечное число элементов, то число n элементов группы называется порядком группы и обозначается n=|G|.
Например, |C3V|=6; |{-1}2|=2.
Определение 10. Группа называется абелевой или коммутативной, если для всех элементов a и b этой группы выполняется равенство ab=ba.
Так, группа {-1}2 является абелевой, а группа C3V не абелева.
Теорема 2. Если две конечные группы G и G изоморфны, то их порядки равны.
Теорема 3. Если G – абелева группа и GG, то и G - абелева группа.
Теорема 4. Каждая конечная группа изоморфна некоторой группе перестановок и некоторой группе матриц.
Приведем пример. Пронумеруем элементы группы C3V в виде =1;
=2;
=3;
=4;
=5;
=6. Используя таблицу Кэли группы C3V, запишем