Групп теория

ГРУПП ТЕОРИЯ, раздел алгебры, изучающий в самой общей форме свойства действий (операций), наиболее часто встречающихся в математике и её приложениях. Примерами таких действий являются умножение и сложение чисел, сложение векторов, последовательное выполнение преобразований и т. п. При этом групп теория изучает не произвольные операции, а лишь те, которые обладают рядом свойств, перечисляемых в определении группы.

Общее (формальное) определение группы таково. Пусть G - произвольное множество, на котором задана бинарная операция, т. е. для любых двух элементов а, b из G определён некоторый элемент (обозначаемый, например, а • b), который также принадлежит G. Если при этом выполняются условия: 1) (а • b) • с =  а • (b • с) для любых а,b,с из G; 2) в G существует такой элемент е (называемый единицей, иногда - нейтральным элементом), что а • е = е • а = а для любого а из G; 3) для любого а из G существует такой элемент а^-1 (обратный к а элемент), что а • а^-1=а • а = е, то множество G с заданной на нём операцией (композицией) • называется группой.

Примеры групп.

1. Множество G различных движений евклидовой плоскости, самосовмещающих данную фигуру, т. е. переводящих её саму в себя, операцией на котором служит композиция движений (если φ, ψ - два движения из G, то результатом их композиции называется движение φ • ψ, равносильное последовательному выполнению сначала движения φ, а затем движения ψ), образует так называемую группу симметрий фигуры. Единицей в этой группе является тождественное преобразование плоскости, а обратным к φ элементом - обратное к φ преобразование. Группа G является характеристикой большей или меньшей симметричности фигуры: чем шире множество G, тем симметричнее фигура. Например, группа симметрий квадрата (рис., а) состоит из восьми движений (четыре поворота вокруг центра квадрата и четыре отражения: два - относительно диагоналей и два - относительно прямых, соединяющих середины противоположных сторон). Для круга (рис., б) группа симметрий содержит бесконечно много элементов (например, все повороты вокруг центра), а для фигуры, изображённой на рисунке (в), группа симметрий состоит из одного тождественного преобразования.

2. Если Z - множество целых чисел, а операция на Z - их обычное сложение +, то Z - группа. Роль е играет число 0, а роль обратного к z элемента - число -z. Часть Н множества Z, состоящая из чётных чисел, сама является группой относительно той же операции. В таком случае говорят, что Н -подгруппа группы Z. Обе группы Z и Н удовлетворяют следующему дополнительному условию: 4) а + b = b + а для любых а и b из группы. Всякая группа, в которой выполняется последнее условие, называется коммутативной или абелевой.

3. Множество всех подстановок (перестановок) n символов образует группу относительно композиции подстановок, называемую симметрической группой степени n. При n ≥ 3 симметрическая группа некоммутативна. Порядок (число элементов) симметрической группы равен n! (смотри Комбинаторный анализ).

Историческая справка. Групп теория послужила во многих отношениях образцом при перестройке алгебры и математики вообще на рубеже 19-20 века. Истоки понятия группы обнаруживаются в нескольких дисциплинах, главная из которых - теория решений алгебраических уравнений в радикалах. В 1771 году французские математики Ж. Лагранж и А. Вандермонд впервые для нужд этой теории применили подстановки. Затем в ряде работ итальянского математика П. Руффини (1799 и в последующих), посвящённых доказательству неразрешимости уравнений 5-й степени в радикалах, систематически использовалась замкнутость множества подстановок относительно их композиции и по существу описаны подгруппы группы всех подстановок пяти символов. Глубокие связи между свойствами групп подстановок и свойствами уравнений были обнаружены Н. Абелем (1824) и Э. Галуа (1830). Галуа принадлежат многие достижения в групп теории, такие как открытие роли так называемых нормальных подгрупп в связи с задачей о разрешимости уравнений в радикалах, доказательство простоты знакопеременных групп степени n ≥ 5; он же ввёл термин «группа», хотя и не дал его строгого определения. Важную роль в систематизации и развитии групп теории сыграл трактат М. Э. К. Жордана о группе подстановок (1870).

Независимо (и из других соображений) понятие группы возникло в геометрии, когда в середине 19 века на смену античной геометрии пришли другие «геометрии» и встал вопрос об установлении связей и родства между ними. Выход из создавшегося положения был намечен исследованиями по проективной геометрии, посвящёнными изучению поведения фигур при различных преобразованиях. Постепенно интерес в этих исследованиях перешёл на изучение самих преобразований и поиск их классификации. Таким «изучением геометрического родства» занимался А. Мёбиус. Заключительным этапом на этом пути явилась «Эрлангенская программа» Ф. Клейна (1872), положившая в основу классификации геометрий понятие группы преобразований: каждая геометрия определена некоторой группой преобразований пространства, и только те свойства фигур принадлежат данной геометрии, которые инвариантны относительно преобразований соответствующей группы.

Третий источник происхождения понятия группы - чисел теория. Л. Эйлер (1761), изучая «вычеты, остающиеся при делении степеней», по существу пользовался сравнениями и разбиениями на классы вычетов, что на теоретико-групповом языке означает разложение группы на смежные классы по подгруппе. К. Гаусс в «Арифметических исследованиях» (1801), занимаясь уравнением деления круга, фактически определил подгруппы его группы Галуа (смотри Галуа теория). Там же, изучая «композицию двоичных квадратичных форм», Гаусс по существу доказал, что классы эквивалентных форм образуют конечную абелеву группу относительно композиции.

Единство теоретико-групповых форм мышления, существовавших к концу 19 века в различных областях математики, привело к выработке современного абстрактного понятия группы (С. Ли, Ф. Г. Фробениус и др.). Так, уже в 1895 году Ли определял группу как совокупность преобразований, замкнутую относительно их композиции, удовлетворяющей условиям 1), 2), 3). Изучение групп без предположения их конечности и без каких бы то ни было предположений о природе элементов впервые оформилось в самостоятельный раздел математики с выходом книги О. Ю. Шмидта «Абстрактная теория групп» (1916).

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

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

б) Теория абелевых групп. Отправной точкой многих исследований в этой области служит основная теорема о конечно порождённых абелевых группах, полностью выясняющая их строение.

в) Теория разрешимых групп. Понятие разрешимой группы является обобщением понятия абелевой группы. Оно по существу идёт от идей Э. Галуа и тесно связано с разрешимостью уравнений в радикалах. Для конечных групп это понятие может быть определено многими равносильными способами, которые перестают быть равносильными при отказе от конечности группы. Изучение возникающих при этом классов групп составляет предмет теории обобщённо разрешимых групп.

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

д) Теория представлений групп. Эта теория - одно из средств изучения абстрактных групп. Представление абстрактной группы в виде некоторой конкретной группы (например, в виде группы подстановок или группы матриц) позволяет обнаруживать важные свойства этой группы. В теории конечных групп с помощью теории представлений получен ряд важных результатов.

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

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

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

Лит.: Варден Б. Л. Метод теории групп в квантовой механике. Хар., 1938; Федоров Е. С. Симметрия правильных систем фигур // Федоров Е. С. Симметрия и структура кристаллов. Основные работы. М., 1949; Александров П. С. Введение в теорию групп. 2-е изд. М., 1951; Мальцев А. И. Группы и другие алгебраические системы // Математика, ее содержание, методы и значение. М., 1956. Т. 3; Шмидт О. Ю. Абстрактная теория групп // Шмидт О. Ю. Избр. труды. Математика. М., 1959; Холл М. Теория групп. М., 1962; Курош А. Г. Теория групп. 3-е изд. М., 1967; Wussing Н. Die Genesis des abstrakten Grup-penbegriffes. В., 1969.