Теория групп


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

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

Одним из наиболее значительных математических прорывов XX века[1] стала полная классификация простых конечных групп — результат совместных усилий многих математиков, занимающий более 10 тыс. печатных страниц, основной массив которых опубликован с 1960 по 1980 годы.

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

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

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