Математическая энциклопедия - группа

один из основных типов алгебраических систем. Теория Г. изучает в самой общей форме свойства алгебраич. операций, наиболее часто встречающихся в математике и ее приложениях (примеры таких операций умножение чисел, сложение векторов, последовательное выполнение преобразований и т. д.). Понятие Г. явилось исторически одним из первых примеров абстрактных алгебраич. систем и послужило во многих отношениях образцом при перестройке других математич. дисциплин на рубеже 19-20 вв., в результате к-рой понятие математич. системы (= структуры) стало основным в математике.

Определение. Группой наз. произвольное множество Gс одной бинарной операцией, удовлетворяющей следующим аксиомам (если операцию записывать как умножение):

1) операция ассоциативна, т. е. для любых а, b, с из G;

2) операция гарантирует единицу, т. е. в Gсуществует такой элемент е, наз. единицей, что для любого аиз G;

3) операция гарантирует обратные элементы, т. е. для любого а из Gсуществует в Gтакой элемент х, наз. обратным к а, что

Иногда вместо системы аксиом 1) 3) пользуются равносильной системой из двух аксиом: 1) и 4) операция гарантирует левые и правые частные, т. в. для любых двух элементов а, b из Gсуществуют в G такие элементы х, у, наз. левым частным и правым частным от деления b на а, что ах= b, уа= b.

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

Исторические замечания. Истоки понятия Г. обнаруживаются в нескольких дисциплинах, главная из к-рых теория решения алгебраич. уравнений в радикалах. В "Мемуаре об алгебраическом решении уравнений" Ж. Лагранжа (J. Lagrange, 1771) и одной работе А. Вандермонда (A. Vandermonde, 1771) впервые для нужд этой теории были применены подстановки. Особо важен для теории Г. "Мемуар" Ж. Лагранжа, где в терминах многочленов по существу получено разложение симметрической Г. подстановок на смежные классы по подгруппе. Глубокие связи между свойствами Г. подстановок и свойствами уравнении были указаны Н. Абелем (N. Abel, 1824) и Э. Галуа (Е. Galois, 1830). Вместе с тем Э. Галуа принадлежат конкретные достижения в теории Г.: открытие роли нормальных подгрупп в связи с задачей о разрешимости уравнений в радикалах, установление простоты знакопеременных Г. степени и пр. Важную роль в систематизации и развитии этого направления алгебры сыграл трактат К. Жордана (С. Jordan, 1870) о Г. подстановок.

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

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

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

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

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

а) Группы Галуа. Пусть K конечное, се-парабельное и нормальное расширение поля k. Автоморфизмы поля К, оставляющие элементы подполя kнеподвижными, образуют Г. относительно их последовательного выполнения, наз. Галуа группой расширения . Основная теорема Галуа теории гласит: отображение, сопоставляющее каждой подгруппе Г. ее неподвижное подполе, является антиизоморфизмом решетки подгрупп Г. на решетку промежуточных подполей, заключенных между kи К.

Приложение к вопросу о разрешимости уравнений в радикалах осуществляется следующим образом. Пусть f многочлен от хнад нолем k, К - поле разложения f. Группа наз. группой Галуа многочлена f над полем k(ее элементы естественным образом изображаются подстановками корней уравнения ). Оказывается, уравнение тогда и только тогда решается в радикалах, когда группа Галуа многочлена f разрешима (см. Разрешимая группа).

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

б) Гомологические группы. Ведущей идеей теории гомологии является применение теории (абе-левых) Г. к изучению категории топологич. пространств. Каждому пространству X сопоставляется семейство абелевых Г. и каждому непрерывному отображению семейство гомоморфизмов Изучение гомологич. Г. (см. Гомологии группа).и их гомоморфизмов средствами теории Г. часто позволяет решить исходную топологич. задачу. Типичный пример задача распространения: можно ли отображение , определенное на подпространстве Апространства X, распространить на все X, т. е. представить gкак суперпозицию вложения и нек-рого непрерывного отображения Если да, то в гомологиях должно быть т. е. каждый гомоморфизм можно пропустить через с заданным множителем . Если эта алгебраич. задача неразрешима, то и исходная топологич. задача неразрешима. Этим способом можно получать важные положительные результаты.

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