67
1. Множество целых чисел, которое включает в себя числа по-
ложительные, отрицательные и нуль. Групповое действие − сложе-
ние, единичный элемент − нуль, обратным элементом для числа
n
является противоположное число –
n, порядок группы − бесконеч-
ный, группа − абелева.
2. Множество рациональных чисел типа
p/q, где p, q − целые
числа и
q ≠ 0. Групповое действие − умножение, единичный эле-
мент − единица, обратным элементом для числа
n является обрат-
ное число 1/
n, порядок группы − бесконечный, группа − абелева.
3. Множество матриц размерности
n×n с определителем, не рав-
ным нулю. Групповое действие − умножение матриц, единичный
элемент − единичная матрица
n×n, обратный элемент − обратная
матрица, порядок группы − бесконечный, группа − не абелева.
4. Группа операций вращения тела вокруг произвольной оси.
Единичный элемент − отсутствие вращения или вращение на 2π.
Обратный элемент − операция вращения в противоположном на-
правлении, порядок группы − бесконечный, группа − не абелева.
Группы называют
изоморфными, если между элементами двух
групп
G и H устанавливается взаимно однозначное соответствие.
Изоморфные группы тождественны между собой с точки зрения их
абстрактных свойств. Различие состоит лишь в том, что элементы
групп пронумерованы по-разному. Если каждому элементу группы
G соответствует элемент группы H без требования взаимной одно-
значности, то группы называют
гомоморфными. Следовательно,
одному элементу группы
H может соответствовать несколько эле-
ментов группы
G.
Элемент группы
g
i
называется сопряженным элементу g
k
, если в
G есть такой элемент g
j
, что
g
k
= g
j
–1
g
i
g
j
. (1.96)
Множество взаимно-сопряженных элементов в группе образует
класс сопряженных элементов. Единичный элемент сам по себе
образует класс сопряженных элементов.
Свойства группы отражаются в групповой таблице умножения
(
таблица Кэли). Для ее построения все элементы группы записы-
вают по вертикали и по горизонтали. Групповая таблица состоит из
результатов попарных произведений, у которых первый множитель