Теория групп - Мои статьи - Каталог статей - Персональный сайт Светланы Бугровой

Теория групп

У теории групп три исторических корня: теория алгебраических уравнений, теория чисел и геометрия. Математики, стоящие у истоков теории групп, — это Леонард Эйлер, Карл Фридрих Гаусс, Жозеф Луи Лагранж, Нильс Хенрик Абель и Эварист Галуа. Галуа был первым математиком, связавшим теорию групп с другой ветвью абстрактной алгебры — теорией полей, разработав теорию, ныне называемую теорией Галуа.

Одной из первых задач, приведших к возникновению теории групп, была задача получения уравнения степени m, которое имело бы корнями m корней данного уравнения степени n (m < n). Эту задачу в простых случаях рассмотрел Худде (1659 г.). В 1740 г. Сондерсон заметил, что нахождение квадратичных множителей биквадратных выражений сводится к решению уравнения 6 степени, а Ле Сёр (1748 г.) и Вейринг (с 1762 по 1782 гг.) развили эту идею.

Общую основу для теории уравнений, строящуюся на теории перестановок, в 1770—1771 гг. нашёл Лагранж, и на этой почве в дальнейшем выросла теория подстановок. Он обнаружил, что корни всех резольвент, с которыми он сталкивался, являются рациональными функциями от корней соответствующих уравнений. Чтобы изучить свойства этих функций, он разработал «исчисление сочетаний» (Calcul des Combinaisons). Современная ему работа Вандермонда (1770 г.) также предвосхищала развитие теории групп.

Паоло Руффини в 1799 г. предложил доказательство неразрешимости уравнений пятой и высших степеней в радикалах. Для доказательства он использовал понятия теории групп, хоть и называл их другими именами. Руффини также опубликовал письмо, написанное ему Аббати, лейтмотивом которого была теория групп.

Галуа обнаружил, что если у алгебраического уравнения несколько корней, то всегда существует группа перестановок этих корней такая, что 1) всякая функция, инвариантная относительно подстановок группы, рациональна и, наоборот, 2) всякая рациональная функция от корней инвариантна относительно перестановок группы. Свои первые труды по теории групп он опубликовал в 1829 г., в возрасте 18 лет, но они остались практически незамеченными, пока в 1846 г. не было издано собрание его сочинений.

Артур Кэли и Огюстен Луи Коши стали одними из первых математиков, оценивших важность теории групп. Эти учёные также доказали некоторые важные теоремы теории.^[1] Изучаемый ими предмет был популяризован Серретом, который посвятил теории секцию из своей книги по алгебре, Жорданом, чей труд «Действия над подстановками» (Traité des Substitutions) стал классикой, и Евгением Нетто (1882 г.), чей труд был в 1892 г. переведён на английский язык Коулом. Большой вклад в развитие теории групп внесли также многие другие математики XIX века: Бертран, Эрмит, Фробениус, Кронекер и Матьё.

Современное определение понятия «группа» было дано только в 1882 г. Вальтером фон Дюком.^[2]

В 1884 г. Софус Ли положил начало изучению как групп преобразований того, что мы сейчас называем группами Ли и их дискретными подгруппами; за его трудами последовали работы Киллинга, Штуди, Шура, Маурера и Эли Картана. Теория дискретных групп была разработана Клейном, Ли, Пуанкаре и Пикаром в связи с изучением модулярных форм и других объектов.

В середине XX века (в основном, между 1955 и 1983 гг.) была проведена огромная работа по классификации всех конечных простых групп, включающая десятки тысяч страниц статей.

Ощутимый вклад в теорию групп внесли и многие другие математики, такие как Артин, Эмми Нётер, Людвиг Силов и другие.

[править] Краткое описание теории

Граф свободной группы порядка 2

Понятие группы возникло в результате формального описания симметрии и эквивалентности геометрических объектов. В эрлангенской программе Феликса Клейна изучение геометрии было связано с изучением соответствующих групп преобразований. Например, если заданы фигуры на плоскости, то группой движений выясняется их равенство.

Определение. Группой называется множество элементов (конечное или бесконечное), на котором задана операция умножения ^[3], которая удовлетворяет следующим четырём аксиомам:

Замкнутость группы относительно операции умножения. Для любых двух элементов группы существует третий, который является их произведением:

$1) ~~~ \forall A, B \in G : ~~~ \exist C \in G ~~~ A \cdot B = C;$

Ассоциативность операции умножения. Порядок выполнения умножения несущественен:

$2) ~~~ \forall A, B, C \in G : ~~~ A \cdot (B \cdot C) = (A \cdot B) \cdot C = A \cdot B \cdot C;$

Существование единичного элемента. В группе существует некоторый элемент E, произведение которого с любым элементом A группы даёт тот же самый элемент A:

$3) ~~~ \exists E \in G : ~~~ \forall A \in G \quad A\cdot E = E \cdot A = A;$

Существование обратного элемента. Для любого элемента A группы существует такой элемент A^-1, что их произведение даёт единичный элемент E:

$4) ~~~ \forall A \in G : ~~~ \exists A^{-1} \in G : ~~~ A\cdot A^{-1} = A^{-1} \cdot A = E.$

Аксиомы группы никак не регламентируют зависимость операции умножения от порядка сомножителей. Поэтому, вообще говоря, изменение порядка сомножителей влияет на произведение. Группы, для которых произведение не зависит от порядка сомножителей, называют коммутативными или абелевыми группами. Для абелевой группы

$\forall A, B \in G : ~~~ A \cdot B = B \cdot A.$

Абелевы группы довольно редко встречаются в физических приложениях. Чаще всего группы, имеющие физический смысл, являются неабелевыми:

$\exists A, B \in G : ~~~ A \cdot B \not= B \cdot A.$

Конечные группы небольшого размера удобно описывать при помощи т. н. «таблицы умножения». В этой таблице каждая строка и каждый столбец соответствует одному элементу группы, а в ячейку на пересечении строки и столбца помещается результат операции умножения для соответствующих элементов.

Ниже приведён пример таблицы умножения (таблицы Кэли) для группы состоящей из четырёх элементов: (1, -1, i, -i) в которой операцией является обычное арифметическое умножение:

	1	-1	i	-i
1	1	-1	i	-i
-1	-1	1	-i	i
i	i	-i	-1	1
-i	-i	i	1	-1

Единичным элементом здесь является 1, обратными элементами для 1 и -1 являются они сами, а элементы i и -i являются обратными друг для друга.

Если группа имеет бесконечное число элементов, то она называется бесконечной группой.

Когда элементы группы непрерывно зависят от каких-либо параметров, то группа называется непрерывной, или группой Ли. Также говорят, что группа Ли — это группа, множество элементов которой образует гладкое многообразие. С помощью групп Ли как групп симметрий находятся решения дифференциальных уравнений.

Группы повсеместно используются в математике и естественных науках, часто для обнаружения внутренней симметрии объектов (группы автоморфизмов). Внутренняя симметрия обычно связана с инвариантными свойствами; множество преобразований, которые сохраняют это свойство, вместе с операцией композиции, образуют группу, называемую группой симметрии.

В теории Галуа, которая и дала начало понятию группы, группы используются для описания симметрии уравнений, корнями которых являются корни некоторого полиномиального уравнения. Из-за важной роли, которую они играют в этой теории, получили своё название разрешимые группы.

В алгебраической топологии группы используются для описания инвариантов топологических пространств ^[4]. Под инвариантами здесь имеются в виду свойства пространства, не меняющиеся при каком-то его деформировании. Примеры такого использования групп — фундаментальные группы, группы гомологий и когомологий.

Группы Ли применяются при изучении дифференциальных уравнений и многообразий; они сочетают в себе теорию групп и математический анализ. Область анализа, связанная с этими группами, называется гармоническим анализом.

В комбинаторике понятия группы подстановок и действия группы используются для упрощения подсчёта числа элементов в множестве; в частности, часто используется лемма Бёрнсайда.

Понимание теории групп также очень важно для физики и других естественных наук. В химии группы используются для классификации кристаллических решёток и симметрий молекул. В физике группы используются для описания симметрий, которым подчиняются физические законы. Особенно важны в физике представления групп, в частности, групп Ли, так как они часто указывают путь к «возможным» физическим теориям.

Группа $(G, \cdot)$ называется циклической, если она порождена одним элементом a, то есть все её элементы являются степенями a (или, если использовать аддитивную терминологию, представимы в виде na, где n — целое число). Математическое обозначение: $G = \langle a \rangle$ .

Говорят, что группа $G$ действует на множестве $M$ , если задан гомоморфизм $\Phi:G\to S(M)$ из группы $G$ в группу $S (M)$ всех перестановок множества $M$ . Для краткости $(Φ(g))(m)$ часто записывают как $g m$ или $g . m$ .

[править] Примеры групп

Простейшей группой является группа с обычной арифметической операцией умножения, которая состоит из элемента 1. Элемент 1 является единичным элементом группы и обратным самому себе:

	1
1	1

Следующий простой пример — группа с обычной арифметической операцией умножения, которая состоит из элементов (1, -1). Элемент 1 является единичным элементом группы, оба элемента группы обратны самим себе:

	1	-1
1	1	-1
-1	-1	1

Группой относительно обычной арифметической операции умножения является множество, состоящее из четырёх элементов (1, -1, i, -i). Единичным элементом здесь является 1, обратными элементами для 1 и -1 являются они сами, а элементы i и -i являются обратными друг для друга.

	1	-1	i	-i
1	1	-1	i	-i
-1	-1	1	-i	i
i	i	-i	-1	1
-i	-i	i	1	-1

Группой является два поворота пространства на 0° и 180° вокруг одной оси, если произведением двух поворотов считать их последовательное выполнение. Эта группа обычно обозначается C₂. Она изоморфна (то есть тождественна) приведённой выше группе с элементами 1 и -1. Поворот на угол 0°, поскольку он является тождественным, обозначен в таблице буквой E.

C₂	E	R₁₈₀
E	E	R₁₈₀
R₁₈₀	R₁₈₀	E

Группу вместе с тождественным преобразованием E образует операция инверсии I, которая меняет направление каждого вектора на обратное. Групповой операцией является последовательное выполнение двух инверсий. Эта группа обычно обозначается S₂. Она изоморфна приведённой выше группе C₂.

S₂	E	I
E	E	I
I	I	E

По аналогии с группой C₂ можно построить группу C₃, состоящую из поворотов плоскости на углы 0°, 120° и 240°. Можно сказать, что группа C₃ является группой поворотов, переводящих правильный треугольник сам в себя.

Элементы группы C₃

C₃	E	R₁₂₀	R₂₄₀
E	E	R₁₂₀	R₂₄₀
R₁₂₀	R₁₂₀	R₂₄₀	E
R₂₄₀	R₂₄₀	E	R₁₂₀

Если к группе C₃ прибавить отражения треугольника относительно трёх его осей симметрии (R₁, R₂, R₃), то мы получим полную группу операций, которая переводит треугольник сам в себя. Эта группа называется D₃.

Элементы группы D₃

D₃	E	R₁₂₀	R₂₄₀	R₁	R₂	R₃
E	E	R₁₂₀	R₂₄₀	R₁	R₂	R₃
R₁₂₀	R₁₂₀	R₂₄₀	E	R₂	R₃	R₁
R₂₄₀	R₂₄₀	E	R₁₂₀	R₃	R₁	R₂
R₁	R₁	R₃	R₂	E	R₂₄₀	R₁₂₀
R₂	R₂	R₁	R₃	R₁₂₀	E	R₂₄₀
R₃	R₃	R₂	R₁	R₂₄₀	R₁₂₀	E

Совокупность всех вращений относительно одной оси образуют непрерывную группу, называемую R₂. Её элементы обозначим символами R(a), где a — угол поворота, находящийся в пределах 0 ≤ a < 360°. Для этой группы таблица умножения бесконечна, поэтому группа описывается общей формулой

$~R(a)\cdot R(b) = R(a+b~|~\bmod~360^\circ).$

Поскольку результат двух последовательных поворотов вокруг одной оси не зависит от порядка поворотов, группа R₂ является коммутативной. Обратный элемент в группе определеяется формулой

$~R^{-1}(a) = R(360^\circ - a).$

Группа R₃ представляет собой группу всевозможных вращений трёхмерного пространства относительно осей, проходящих через одну точку. Эта группа является группой симметрии сферы. Каждый элемент группы R(α,β,a) задаётся тремя параметрами: α и β — эйлеровы углы, задающие положение оси, a — угол поворота.

Группа S_n или симметрическая группа порядка n — это совокупность n! всевозможных перестановок n элементов. Перестановку удобно обозначать символом

$~P = \begin{pmatrix} 1 & 2 & 3 & \dots & n \\ p_1 & p_2 & p_3 & \dots & p_n \end{pmatrix},$

указывающим, что элемент n при перестановке заменяется на элемент p_n. Обратным элементом для элемента P будет элемент

$~P^{-1} = \begin{pmatrix}p_1 & p_2 & p_3 & \dots & p_n \\ 1 & 2 & 3 & \dots & n \end{pmatrix}.$

Интересно, что группа S₃ изоморфна группе D₃, так как последняя содержит всесозможные преобразования, переводящие треугольник сам в себя, а преобразование треугольника можно задать различными перестановками трёх его вершин:

$~ E = \begin{pmatrix}1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix};~~ R_{120} = \begin{pmatrix}1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix};~ R_{240} = \begin{pmatrix}1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix};$

$~ R_1 = \begin{pmatrix}1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix};~ R_2 = \begin{pmatrix}1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix};~~~ R_3 = \begin{pmatrix}1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}.$

Категория: Мои статьи | Добавил: bugrova (08.08.2011)

Просмотров: 3009 | Рейтинг: 0.0/0

Всего комментариев: 0

Меню сайта

Друзья сайта

Поиск

Категории раздела

Мои статьи [142]

ПСИХОЛОГИЯ. ПСИХОАНАЛИЗ. ГРУППАНАЛИЗ.