Лекции по Линейной алгебре

Абстрактная теория групп


                       1. Понятие абстрактной группы.

1.Понятие алгебраической операции.
           Говорят, что на множестве X определена алгебраическая операция
((), если каждой упорядоченной паре элементов [pic] поставлен в
соответствие некоторый элемент [pic] называемый их произведением.
Примеры.
1. Композиция перемещений на множествах [pic] является алгебраической
  операцией.
2. Композиция подстановок является алгебраической операцией на множестве
  [pic] всех подстановок степени n.
3. Алгебраическими операциями будут и обычные операции сложения, вычитания
  и умножения на множествах [pic] соответственно целых, вещественных и
  комплексных чисел. Операция деления не будет алгебраической операцией на
  этих множествах, поскольку частное [pic] не определено при [pic]. Однако
  на множествах [pic], [pic] это будет алгебраическая операция.
4. Сложение векторов является алгебраической операцией на множестве [pic].
5. Векторное произведение будет алгебраической операцией на множестве
  [pic].
6. Умножение матриц будет алгебраической операцией на множестве всех
  квадратных матриц данного порядка.
2.Свойства алгебраических операций.
1. Операция (*) называется ассоциативной, если [pic].
Это свойство выполняется во всех приведенных выше примерах, за исключением
операций вычитания ( и деления) и операции векторного умножения векторов.
Наличие свойства ассоциативности позволяет определить произведение любого
конечного множества элементов. Например, если [pic], [pic]. В частности
можно определить степени с натуральным показателем: [pic]. При этом имеют
место обычные законы: [pic], [pic].
2. Операция (*) называется коммутативной, если [pic]
   В приведенных выше примерах операция коммутативна в примерах 3 и 4 и не
коммутативна в остальных случаях. Отметим, что для коммутативной операции
[pic]
3. Элемент [pic] называется нейтральным для алгебраической операции (*) на
  множестве X, если [pic]. В примерах 1-6 нейтральными элементами будут
  соответственно тождественное перемещение, тождественная перестановка,
  числа 0 и 1 для сложения и умножения соответственно (для вычитания
  нейтральный элемент отсутствует !), нулевой вектор, единичная матрица.
  Для векторного произведения нейтральный элемент отсутствует.
                                    Отметим, что нейтральный элемент (если
  он существует) определен однозначно. В самом деле, если [pic] -
  нейтральные элементы, то [pic]. Наличие нейтрального элемента позволяет
  определить степень с нулевым показателем: [pic].
4. Допустим, что для операции (*) на X существует нейтральный элемент.
  Элемент [pic] называется обратным для элемента [pic], если [pic].
  Отметим, что по определению [pic]. Все перемещения обратимы также как и
  все подстановки. Относительно операции сложения все числа обратимы, а
  относительно умножения обратимы все числа, кроме нуля. Обратимые матрицы
  - это в точности все матрицы с ненулевым определителем. Если элемент x
  обратим, то определены степени с отрицательным показателем: [pic].
  Наконец, отметим, что если x и y обратимы, то элемент [pic] также обратим
  и [pic]. (Сначала мы одеваем рубашку, а потом куртку; раздеваемся же в
  обратном порядке!).
Определение (абстрактной) группы.
      Пусть на множестве G определена алгебраическая операция (*). (G ,*)
называется группой, если
1. Операция (*) ассоциативна на G.
2. Для этой операции существует нейтральный элемент e (единица группы).
3. Каждый элемент из G обратим.
Примеры групп.
1. Любая группа преобразований.
2. (Z, +), (R, +), (C, +).
3. [pic]
4. Матричные группы: [pic]- невырожденные квадратные матрицы порядка n,
  ортогональные матрицы того же порядка, ортогональные матрицы с
  определителем 1.
5. Простейшие свойства групп.
6. В любой группе выполняется закон сокращения: [pic](левый закон
  сокращения; аналогично, имеет место и правый закон).

  Доказательство.
                                            Домножим равенство слева на
  [pic] и воспользуемся свойством ассоциативности: [pic] [pic] [pic].
7. Признак нейтрального элемента: [pic]
Доказательство
                                    Применим к равенству [pic] закон
  сокращения.
8. Признак обратного элемента: [pic]                  Доказательство

                   Применим закон сокращения к равенству [pic].
9. Единственность обратного элемента. Обратный элемент определен
  однозначно.
                                              Следует из п.3.
10. Существование обратной операции. Для любых двух элементов
  [pic]произвольной группы G уравнение [pic] имеет и притом единственное
  решение.
                          Доказательство

  Непосредственно проверяется, что [pic](левое частное элементов [pic])
  является решением указанного уравнения. Единственность вытекает из закона
  сокращения, примененного к равенству [pic].          Аналогично
  устанавливается существование и единственность правого частного.
11. Изоморфизм групп.
  Определение.
  Отображение [pic] двух групп G и K называется изоморфизмом , если
  1.Отображение ( взаимно однозначно.
                   2.Отображение ( сохраняет операцию: [pic].
  Поскольку отображение обратное к ( также является изоморфизмом, введенное
    понятие симметрично относительно групп G и K , которые называются
    изоморфными.
Примеры.
1.Группы поворотов плоскости [pic] и [pic]вокруг точек [pic] и
  [pic]изоморфны между собой. Аналогично, изоморфными будут и группы,
  состоящие из поворотов пространства относительно любых двух осей.
    2.Группа диэдра  [pic] и соответствующая пространственная группа [pic]
изоморфны.
 3. Группа тетраэдра T изоморфна группе [pic] состоящей из четных
    подстановок четвертой степени. Для построения изоморфизма достаточно
    занумеровать вершины тетраэдра цифрами 1,2,3,4 и заметить, что каждый
    поворот, совмещающий тетраэдр с собой некоторым образом переставляет
    его вершины и, следовательно, задает некоторую подстановку
    множества{1,2, 3, 4} Повороты вокруг оси, проходящей через некоторую
    вершину (например 1), оставляет символ 1 на месте и циклически
    переставляет символы 1, 2, 3. Все такие перестановки - четные. Поворот
    вокруг оси, соединяющей середины ребер (например, 12 и 34 )
    переставляет символы 1 и 2 , а также 3 и 4. Такие перестановки также
    являются четными.
 4. Формула [pic]определяет взаимно однозначное соответствие между
    множеством R вещественных чисел и множеством [pic] положительных
    чисел. При этом [pic]. Это означает, что [pic] является изоморфизмом.
Замечание. В абстрактной алгебре изоморфные группы принято считать
одинаковыми. По существу это означает, что игнорируются индивидуальные
свойства элементов группы и происхождение алгебраической операции.
5. Понятие подгруппы.
         Непустое подмножество [pic] называется подгруппой, если [pic]само
является группой. Более подробно это означает, что [pic], [pic] и [pic].
Признак подгруппы.
Непустое подмножество [pic] будет подгруппой тогда и только тогда, когда
[pic].
Доказательство.
В одну сторону это утверждение очевидно. Пусть теперь [pic]- любой элемент.
Возьмем [pic] в признаке подгруппы. Тогда получим [pic]. Теперь возьмем
[pic]. Тогда получим [pic].
Примеры подгрупп.
1. Для групп преобразований новое и старое понятие подгруппы равносильны
  между собой.
2. [pic]- подгруппа четных подстановок.
3. [pic]
4. [pic] и т.д.
5. Пусть G - любая группа и [pic] - любой фиксированный элемент. Рассмотрим
  множество [pic]всевозможных степеней этого элемента. Поскольку [pic],
  рассматриваемое множество является подгруппой. Она называется циклической
  подгруппой с образующим элементом g .
6. Пусть [pic] любая подгруппа Рассмотрим множество [pic]- централизатор
  подгруппы H в группе G. Из определения вытекает, что если [pic], то
  [pic], то есть [pic]. Теперь ясно, что если [pic], то и [pic] и значит
  централизатор является подгруппой. Если группа G коммутативна, то [pic].
  Если G=H, то централизатор состоит из тех элементов, которые
  перестановочны со всеми элементами группы; в этом случае он называется
  центром группы G  и обозначается Z(G).
Замечание об аддитивной форме записи группы.
Иногда, особенно когда операция в группе коммутативна, она обозначается (+)
и называется сложением. В этом случае нейтральный элемент называется нулем
и удовлетворяет условию: g+0=g. Обратный элемент в этом случае называется
противоположным и обозначается (-g). Степени элемента g имеют вид g+g+...+g
, называются кратными элемента g и обозначаются ng.