Большая Советская Энциклопедия (ГР)

 j^-1 ○j = e. Действительно, в качестве e можно взять тождественное движение, а в качестве j^-1 — движение, обратное j, т. е. возвращающее каждую точку фигуры из нового положения в старое.

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

  Например, если G — множество всех целых чисел, а композиция на G — их обычное сложение (роль e будет играть число 0, а роль (j^-1 — число —j), то G — группа. Часть Н множества G , состоящая из чётных чисел, сама будет Г. относительно той же композиции. В таких случаях говорят, что Н — подгруппа группы G . Отметим, что обе эти Г. удовлетворяют следующему дополнительному условию: 4) j○y = y○j для любых j, y из группы. Всякая группа с этим условием называется коммутативной, или абелевой.

  Ещё один пример группы. Подстановкой множества символов 1, 2, ..., n называется таблица

где в нижней строчке стоят те же символы 1, 2, ..., n, но, вообще говоря, в другом порядке. Композицию двух подстановок j,y определяют следующим правилом: если под символом х в подстановке j стоит символ у, а под символом у в подстановке y стоит символ z, то в подстановке j○y под символом х ставится символ z . Например,

○

Можно проверить, что множество подстановок n  символов относительно такой композиции является группой. При n ³ 3 она неабелева.

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

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

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