НАУЧНАЯ БИБЛИОТЕКА - РЕФЕРАТЫ - Лекции по Линейной алгебре

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

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

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 и заметить, что каждый

поворот, совмещающий тетраэдр с собой некоторым образом пе