Текст
                    БИБЛИОТЕЧКА -КВАНТ-
выпуск 7
П.С. АЛЕКСАНДРОВ
ВВЕДЕНИЕ
В ТЕОРИЮ
ГРУПП

ш. 12 г БИБЛИОТЕЧКА-КВАНТ- ВЫПУСК 7 П.С. АЛЕКСАНДРОВ ВВЕДЕНИЕ В ТЕОРИЮ ГРУПП К И ха Из КНИГ Нц<шБеркина Математического Колледжа НМУ МОСКВА «НАУКА» ГЛАВНАЯ РЕДАКЦИЯ ФИЗИКО-МАТЕМАТИЧЕСКОП ЛИТЕРАТУРЫ 1980 I
22.144 A 46 УДК 519.4 РЕДАКЦИОННАЯ КОЛЛЕГИЯ Академик И. К. Кикоин (председатель), академик А. Н. Кол- могоров (заместитель председателя), кандидат физ.-мат. наук |и. Ш. Слободецкий ^(ученый секретарь), член-корреспондент АН СССР А. А. Абрикосов, академик Б. К. Вайнштейн, заслу- женный учитель РСФСР Б. В. Воздвиженский, академик В. М. Глушков, академик П. Л. Капица, профессор С. П. Капица, член-корреспондент АН СССР Ю. А. Осипьян, член-корреспондент АН СССР В. Г. Разумовский, академик Р. 3. Сагдеев, кандидат хим. наук М. Л. Смолянский, профессор Я. А. Смородинский, ака- демик С. Л. Соболев, член-корреспондент АН СССР Д. К. Фад- деев, член-корреспондент АН СССР И. С. Шкловский. Александров П. С. А46 Ввеф_^ l ’еорию rmfcg— М.: Наука. Главная редажЖНУ 1зико-м|гт|ж1т11ческой литературы, 1980/ 144 с.— (Библиотечка «Квант». Вып. 7) — 25 коп. Юшга представляет ccfiail сведение в элементарную алгебру и < ^Л^фЛкгпрСлоЛрая нааращ Йфрокое применение в современной Златз^аЛке и*. фц|ике^ <1^и€тедаографии, физике твердого тела и физике элементарных частиц. Все вводимые понятия подробно разъясняются на простых геометрических примерах. В книгу включено дополнение, иаписаиное IO. П. Соловьевым. Для школьников, преподавателей, студентов. л 20203—106 А----------- 87-80, 1702030000 053(02)-80 ББК 22.144 517.1 20203—106 А --------- 053(02)-80 87-80. 1702030000 © Издательство «Наука» . Главная редакция физико-математической литературы, 1980
ОГЛАВЛЕНИЕ ПРЕДИСЛОВИЕ 5 ВВЕДЕНИЕ 7 Глава I. ПОНЯТИЕ ГРУППЫ 10 § 1. Простейшие понятия теории множеств 10 1. Сумма множеств (10). 2. Пересечение мно- жеств (11). 3. Отображения или функции (11). 4. Разбиение множества на подмножества (14). § 2. Вводные примеры 20 1. Действия над целыми числами (20). 2. Дейст- вия над рациональными числами (20). 3. Пово- роты правильного треугольника (21). 4. Клейнов- ская группа четвертого порядка (23). 5. Повороты квадрата (24). § 3. Определение группы 25 § 4. Простейшие теоремы о группах 27 1. Произведение любого конечного числа элементов группы. Первое правило раскрытия скобок (27). 2. Нейтральный элемент (29). 3. Обратный эле- мент (30). 4. Замечания об аксиома,» Г^руппы (32). 5. «Мультипликативная» и «аддитивная» тер- минология в теории групп (33). Глава II. ГРУППЫ ПОДСТАНОВОК 36 § 1. Определение групп подстановок 36 § 2. Понятие подгруппы 40 1. Примеры и определение (40). 2. Условие, чтобы подмножество группы было подгруппой (41). § 3. Подстановки как отображения конечного множества на себя. Четные и нечетные подстановки 42 1 Подстановки как отображения (42). 2. Четные и нечетные подстановки (43). Глава III. ИЗОМОРФНЫЕ ГРУППЫ. ТЕОРЕМА КЭЛИ 48 § 1. Изоморфные группы 48 § 2. Теорема Кэли 52 Глава IV. ЦИКЛИЧЕСКИЕ ГРУППЫ 55 § 1. Подгруппа, порожденная данным элементом данной группы. Определение циклической группы 55 § 2. Конечные и бесконечные циклические группы 56 § 3. Системы образующих 61 1* 3
Глава V. ПРОСТЕЙШИЕ ГРУППЫ 63 САМОСОВМЕЩЕНИЙ § 1. Примеры и определение группы самосовмещений геометрических фигур 63 1. Самосовмещений правильных многоугольников в их плоскости (63). 2. Самосовмешеиия правильного многоугольника в трехмерном пространстве (64). 3. Общее определение группы самосовмещений дан- ной фигуры в пространстве или на плоскости (65). § 2. Группы самосовмещений прямой и окружности 65 § 3. Группы поворотов правильной пирамиды и двойной пирамиды 67 1. Пирамида (67). 2. Двойная пирамида (диэдр) (68). 3. Случай вырождения: группы поворотов отрезка и ромба (70). § 4. Группа поворотов правильного тетраэдра 72 § 5. Группа поворотов куба и октаэдра 76 § 6. Группа поворотов икосаэдра и додекаэдра. Общее замечание о группах поворотов правильных много- гранников 82 Глава VI. ИНВАРИАНТНЫЕ ПОДГРУППЫ 85 § 1. Сопряженные элементы и подгруппы 85 1. Трансформация одного элемента группы при по- мощи другого (85). 2. Пример группы тетраэдра (87). 3. Сопряженные элементы (88). 4. Транс- формация подгруппы (89). 5. Примеры (92). § 2. Йнвариантные подгруппы (нормальные делители) 93 1. Определение (93). 2. Примеры (93). Глава VII. ГОМОМОРФНЫЕ ОТОБРАЖЕНИЯ 96 § 1. Определение гомоморфного отображения и его ядра 96 § 2. Примеры гомоморфных отображений 99 Глава VIII. РАЗБИЕНИЕ ГРУППЫ НА КЛАССЫ ПО ДАННОЙ ПОДГРУППЕ. ФАКТОРГРУППА 104 § I. Левосторонние и правосторонние классы 104 1. Левосторонние классы (104). 2. Случай конеч- ной группы G (105). 3. Правосторонние классы (106). 4. Совпадение правосторонних классов с левосторонними в случае инвариантных подгрупп (107). 5. Примеры (108). §2. Факторгруппа поданной инвариантной подгруппе ПО 1. Определение (ПО). 2. Теорема о гомоморфных отображениях (112). Добавление. ГРУППЫ ПЕРЕМЕЩЕНИЙ ПЛОСКОСТИ И ПРОСТРАНСТВА И ИХ ПОДГРУППЫ. Ю. П. Соловьев 116 1. Группа перемещений плоскости (116). 2. Группа перемещений пространства (123). 3. Конечные под- группы группы перемещений пространства (134). 4
ПРЕДИСЛОВИЕ Эта книга написана на основе моей книги с таким же названием, вышедшей в 1938 году1). По-видимому, потребность в совершенно элементарном введении в теорию групп сохраняется и в настоящее время, несмотря на довольно обширную литературу по алгебре, в которой, в частности, не мало хороших и достаточно полных изложений теории групп. Поэтому я был очень обрадован представившейся теперь воз- можности опубликовать популярное изложение теория групп в серии «Библиотечка «Квант», тем более, что эта серия предназначена как раз тому кругу читателей, для которого я в основном и писал эту книжку. Понятие группы приобретает в настоящее время все большее господство над самыми различными разделами математики и ее приложений и наряду с понятием функ- ции относится к самым фундаментальным понятиям всей математики. Понятие группы не труднее понятия функции; его можно освоить на самых первых ступенях математи- ческого образования, тем более, что сделать это можно на материале элементарной математики. Вместе с тел» знакомство с этим понятием кажется мне одним из самых естественных способов первого ознакомления с совре- менной математикой вообще. Овладеть понятием группы может с интересом и поль- зой всякий любящий математику ученик старших клас- *) П. С. Александров. Введение в теорию групп.—М.: Учпедгиз, 1938 г. 5
сев средней школы. Книжка эта и написана в первую очередь для интересующихся математикой учащихся старших классов средней школы, а также для лип, преподающих математику в школе. Что касается харак- тера изложения, то я старался не давать понятий, не разъяснив их на простых, в значительной части геометрических примерах. Книга содержит написанное Юрием Петровичем Соловьевым добавление «Группы перемещений плоскости и пространства и их подгруппы». Это добавление представляется мне дающим одну из самых живых, важных и интересных иллюстраций общего понятия группы, фундаментальная важность которого для всей математики и ее приложений уже отмечалась выше. Переработка моей прежней книги осуществлена Ю. П. Соловьевым, которому я выражаю искреннюю благодарность. Особенно же я благодарю Ю. П. Соловь- ева за то, что он написал уже упомянутое добавление к этой книге, существенно дополняющее и украшающее ее. П. С. Александров г. Москва 12 сентября 1979 года
ВВЕДЕНИЕ В школе переход от арифметических за- дач к алгебраическим находит свое выражение в том, что в задачах численные данные заменяются буквен- ными. Обозначение чисел буквами отвлекает нас от специальных числовых данных, фигурирующих в той или иной задаче, и приучает решать задачи в общем виде, т. е. для любых числовых значений входящих в нее величин. В соответствии с этим, в начальных, самых важных, главах школьного курса алгебры изучаются правила действий над буквенными выражениями, или, что то же самое, законы так называемых тождественных пре- образований алгебраических выражений. Постараемся с самого начала выяснить это понятие. Каждое алгебраическое выражение представляет собой совокупность букв, связанных между собой зна- ками алгебраических действий; при этом для простоты мы в настоящую минуту будем рассматривать лишь действия сложения, вычитания и умножения. Смысл каждого алгебраического выражения заключается в следующем: если буквы, участвующие в выражении, заменить числами, то выражение показывает, какие действия и в каком порядке надо выполнить над этими числами; другими словами, всякое алгебраическое выра- жение представляет собой некоторый, записанный в об- щем виде, рецепт для обыкновенного арифметического вычисления. Тождественное преобразование алгебраи- ческого выражения означает переход от одного выра- жения к другому, связанному с первым следующим соотношением: если мы в обоих выражениях каждой букве дадим совершенно произвольное числовое значе- ние с одним условием, чтобы одна и та же буква, входящая в оба выражения, получила в обоих случаях одно и то же значение, и если после этого произведем 7
показанные действия, то оба выражения дадут один и тот же числовой результат. Тождественное преоб- разование записывается в виде равенства двух алге- браических выражений; равенства эти справедливы при любой замене входящих в них букв числами (как указано выше). Равенства этого вида называются, как известно, тождествами. Например: а — п = 0, (1) (а+ b)c = ac-\-bc. (2) Всякое тождество выражает некоторое свойство входя- щих в него действий. Так, например, тождество (1) говорит нам, что вычитая из какого-нибудь числа это самое число, мы всегда получим один и тот же резуль- тат, а именно нуль. Тождество (2) утверждает следующее свойство действий сложения и умножения: произведение суммы двух чисел на третье число равно сумме произ- ведения каждого из слагаемых на это третье число. Тождеств существует бесконечно много. Однако можно установить небольшое число основных тождеств, подобных вышенаписанным, таким образом, что любое тождество является следствием из этих основных тождеств. Всякое алгебраическое вычисление, т. е. всякое сколь угодно сложное тождественное преобразование одного алгебраического выражения в другое, является, таким образом, комбинацией небольшого числа основ- ных или элементарных тождественных преобразований, излагаемых в элементарной алгебре под названием правил раскрытия скобок, правил знаков и т. п. Совер- шая эти комбинации элементарных преобразований, обычно даже забывают о том, что каждая буква в алгебраическом выражении есть только символ, знак, обозначающий некоторое число: вычисления, как гово- рят, производят механически, забывая о реальном смысле производимого в каждый момент преобразова- ния, а заботясь лишь о соблюдении правил этих пре- образований. Так поступают обычно и опытные мате- матики и начинающие учащиеся. Однако в последнем случае иногда, к сожалению, бывает, что этот реальный смысл производимых преобразований вообще ускользает из сознания. В механическом осуществлении алгебраических опе- раций ешь и другая, более серьезная сторона. Она 8
заключается в том, что под буквами, входящими в алгебраическое выражение, во многих случаях можно понимать не число, а разнообразные другие объекты математического исследования: не только над числами, но и над другими объектами — примеры этому мы увидим —можно производить действия, которые имеют ряд общих основных свойств с алгебраическими дей- ствиями, и которые поэтому естественно назвать сло- жением, умножением и т. д. Например, силы в механике не являются числами: они являются так называемыми векторами, т. е. величинами, имеющими не только числовое значение, но и направление. Между тем силы можно складывать, и это сложение обладает основными свойствами обычного алгебраического сло- жения чисел. Это приводит к тому, что над силами можно производить вычисления по правилам алгебры. Таким образом, могущество алгебраических преобразо- ваний идет гораздо дальше, чем запись в общей форме действий над числами: алгебра учит вычислениям с лю- быми объектами, для которых определены действия, удовлетворяющие основным алгебраическим аксиомам.
ГЛАВА I ПОНЯТИЕ ГРУППЫ § 1. ПРОСТЕЙШИЕ ПОНЯТИЯ ТЕОРИИ МНОЖЕСТВ В этом параграфе мы опишем вкратце те основные понятия из теории множеств, которые посто- янно употребляются в теории групп. Большинство этих понятий хорошо известно читателю из курса математики средней школы. Прежде всего, мы предполагаем известными понятия множества и его подмножеств. Напомним лишь, что если В является подмножеством множества А, то этот факт обозначается так: В с А или А гэ В. Знак с называется знаком включения. Множества, состоящие из конечного числа элементов, называются конечными множествами. Теория конечных множеств называется иногда комбинаторикой. Но бы- вают и бесконечные множества. Таковы, например: множество всех натуральных (т. е. целых положитель- ных) чисел; множество всех прямых, проходящих через данную точку (в плоскости или в пространстве); множество всех окружностей, проходящих через две данные точки; множество всех плоскостей, проходящих через данную прямую в пространстве и т. д. Заметим еще одно обстоятельство: в математике рассматривается и множество, обозначаемое символом 0, вовсе не содержащее элементов (пустое множество). Пустое множество есть подмножество всякого множества. Пустое множество в этой книге нам почти не придется рассматривать, вообще же в математике оно часто является необходимым моментом в рассуждениях. Напомним теперь определение операций над мно- жествами. 1. Сумма множеств. Суммой (или объедине- нием) множеств А и В называется множество, состоя- 10
щее из всех элементов множества А и всех элементов множества В. Отметим, в частности, следующее: если множество В есть подмножество множества А, то сумма множеств В и А совпадает с А. Совершенно аналогичным способом определяется сумма любого числа множеств. Можно определить и сумму бесконечного числа множеств. Все это содер- жится в следующем определении: Пусть дана какая-нибудь конечная или бесконечная совокупность множеств. Суммой множеств данной совокупности называется множество всех элементов, принадлежащих хотя бы одному из множеств, входящих в данную совокупность. 2. Пересечение множеств. Под пересечением мно- жеств А и В понимается множество элементов, при- надлежащих и множеству А и множеству В. Пересе- чение множеств А и В обозначается A Q В. Конечно, это множество может оказаться и пустым. Заметим, что если В с А, то пересечение множеств А и В есть множество В. Вообще пересечением множеств данной (конеч- ной или бесконечной) совокупности множеств на- зывается множество, состоящее из элементов, при- надлежащих ко всем множествам данной совокуп- ности. 3. Отображения или функции. Предположим, что некоторое количество людей идет, скажем, в театр. При входе в театр люди раздеваются и получают в гардеробе номер, под которым висит их пальто. Что интересует нас с математической стороны в этом всем известном явлении? Интересующим нас обстоя- тельством является факт, который может быть сформу- лирован следующим образом. Каждому зрителю театра соответствует (или пос- тавлен в соответствие) некоторый предмет, а именно: тот номер, который этот зритель получил в гарде- робе. Если каким-нибудь образом каждому элементу а некоторого множества А поставлен в соответствие опре- деленный элемент Ь некоторого множества В, то мы говорим, что множество А отображено во множество В, или что мы имеем функцию, аргумент которой пробегает множество А, а значения ее принадлежат 11
множеству В. Для того чтобы показать, что данный элемент b поставлен в соответствие элементу а, пишут: b = f(a) и говорят, что b есть образ элемента а при данном отображении f (или что b есть значение функ- ции для значения а аргумента). При этом могут представиться различные случаи, которые мы сейчас и разберем. Может случиться, что на данный спектакль распроданы все билеты. Тогда и в гардеробе обычно не остается свободных мест: не только каждый зритель получит номер, но при этом все номера окажутся распределенными между зрите- лями. Этот факт с математической точки зрения означа- ет, что: каждому элементу множества А поставлен в соот- ветствие элемент b — f(a) множества В, причем каждый элемент множества В оказывается поставленным в соот- ветствие хотя бы одному элементу множества А. (Выде- ленные слова выражают в применении к нашему част- ному примеру как раз то обстоятельство, что все но- мера оказались розданными.) В этом случае мы говорим, что имеем отображение множества А на множе- ство В. Почему мы пишем «каждый элемент множества В оказывается поставленным в соответствие хотя бы одному элементу множества Л»? Потому что может случиться, что нескольким различным элементам мно- жества А поставлен в соответствие один и тот же элемент множества В. В нашем частном случае это означает, что несколько человек повесят свои пальто на один и тот же номер. Наиболее важным случаем отображений является случай отображений одного множества на другое. К нему легко приводится и общий случай отображения одного множества в другое. В самом деле, пусть дано какое-нибудь отображение f множества А во множество В; множество всех тех эле- ментов множества В, которые в силу отображения f поставлены в соответствие хотя бы одному элементу множества А, назовем образом множества А при отображении f и обозначим через f(A). Очевидно, что отображение f есть отображение множества А на множество f(A). Это замечание дает нам возможность в дальнейшем ограничиться рассмотрением отображений одного мно- жества на другое. 12
В нашем примере посетителей театра А есть мно- жество всех зрителей, пришедших на данный спектакль, a f (Д) есть множество всех номеров, оказавшихся заня- тыми в гардеробе. Определение. Пусть дано отображение f мно- жества А на множество В. Пусть b есть произвольный элемент множества В. Полным прообразом элемента Ъ при отображении f называется множество всех тех элементов множества А, которым при отображении f ставится в соответствие данный элемент Ь. Это мно- жество обозначается через В нашем примере b есть какой-либо из номеров в гардеробе театра; полный прообраз элемента Ь есть множество всех тех посетителей театра, которые пове- сили свои пальто на этот номер Ь- Рассмотрим теперь особый случай, когда на каж- дый номер повешено только одно пальто, т. е. когда полный прообраз каждого элемента b множества В состоит лишь из одного элемента множества А. В этом случае отображение множества А на множество В называется взаимно однозначным. Дадим еще пример, иллюстрирующий понятие взаимно однозначного отображения. Вообразим кава- лерийский отряд. На каждого всадника приходится одна лошадь, на каждой лошади сидит один всадник. Этим установлено взаимно однозначное отображение множества всех всадников на множество всех лошадей (данного отряда), а также взаимно однозначное отоб- ражение множества всех лошадей на множество всех всадников (речь все время идет о всадниках и лоша- дях данного отряда). Этот пример показывает, что взаимно однозначное отображение множества А на множество В автомати- чески производит также взаимно однозначное отобра- жение множества В на множество А: ведь если каждое множество /-1(Ь), где Ь — любой элемент В, состоит лишь из одного элемента а, то мы и получаем ото- бражение f-1 множества В на множество А, ставящее в соответствие каждому элементу b множества В эле- мент п = /-1(Ь) множества А. Отображение f-1 назы- вается обратным отображением к отображению f. Итак, при взаимно однозначном отображении мно- жества А на множество В происходит следующее: каждый элемент а множества А объединяется в пару 13
с некоторым вполне определенным элементом f(a), и при этом оказывается, что каждый элемент b множе- ства В находится в паре с единственным вполне опре- деленным элементом а множества А. Ставя в соответ- ствие каждому элементу b множества В находящийся с ним в паре элемент а множества А, мы получим взаимно однозначное отображение f-1 множества В на множество А, обратное к отображению f. Таким образом, при взаимно однозначном отобра- жении одного множества на другое оба множества зани- мают равноправное положение (так как каждое взаимно однозначно отображается на другое). Для того чтобы подчеркнуть это равноправие, часто говорят о взаимно однозначном соответствии между двумя множествами, разумея под этим совокупность обоих взаимно одно- значных отображений каждого множества на другое. 4. Разбиение множества на подмножества, а) Мно- жества множеств. Мы можем рассматривать мно- жества, состоящие из самых различных элементов. В частности, можем рассматривать множества множеств, т. е. множества, элементы которых сами являются множествами. Мы уже встречались с ними, когда вво- дили определения суммы и пересечения множеств: ведь речь там шла о сумме и о пересечении некоторой (конечной или бесконечной) совокупности множеств, т. е. именно о множестве множеств. К приведенным по этому поводу примерам прибавим еще некоторые, взятые из повседневной жизни. Множеством множеств является, например, множество всех спортивных команд Москвы (каждая спортивная команда есть множество составляющих ее спортсменов); множество всех науч- ных обществ данного города или дайной страны, мно- жество всех профессиональных союзов, множество всех воинских частей (дивизий, полков, рот, батальонов, взво- дов и т. д.) данной армии — также являются множествами множеств. Эти примеры показывают, что множества, являющиеся элементами данного множества множеств, могут в одних случаях пересекаться, в других слу- чаях, наоборот, не иметь общих элементов. Так, напри- мер, множество всех профессиональных союзов СССР есть множество попарно непересекающихся множеств, так как гражданин СССР не может быть одновременно членом двух профессиональных союзов. С другой сто- роны, множество всех воинских частей какой-либо 14
армии дает пример множества множеств, некоторые элементы которого являются подмножествами других элементов: так, каждый взвод есть подмножество неко- торого полка, полк есть подмножество дивизии и т. д. Множество спортивных команд данного города со- стоит, вообще говоря, из пересекающихся множеств, так как одно и то же лицо может входить в несколько спортивных команд (например, в команду пловцов и в команду волейболистов или лыжников). Замечание. Для облегчения речи мы будем иногда вместо термина «множество множеств» упот- реблять, как совершенно равнозначащие, термины «система множеств» или «совокупность множеств». б) Разбиение на классы. Очень важный класс систем множеств мы получим, если рассмотрим всевоз- можные разбиения какого-нибудь множества на попарно непересекающиеся множества. Другими словами, пусть дано множество М, представленное в виде суммы попарно непересекающихся подмножеств (в конечном или бесконечном числе). Эти подмножества (множества — слагаемые нашей суммы) и являются элементами дан- ного разбиения множества М. П р и м е р 1. Пусть 7И есть множество всех уча- щихся какой-нибудь школы; школа разбита на классы, которые, очевидно, и образуют непересекающиеся под- множества, дающие в сумме все множество М. Пример 2. М есть множество всех учащихся в средних школах Москвы. Множество М можно раз- бить на попарно непересекающиеся подмножества, на- пример, следующими двумя способами: 1) мы объединяем в одно слагаемое всех учащихся одной и той же шко- лы (т. е. разбиваем множество всех учащихся по школам); 2) мы объединяем в одно слагаемое всех уча- щихся одного и того же класса (хотя и разных школ). Пример 3. Пусть М есть множество всех точек плоскости; возьмем на этой плоскости какую-нибудь прямую g и разобьем всю плоскость на прямые, парал- лельные прямой g. Множества точек каждой такой прямой и являются теми подмножествами, на которые мы разбиваем множество М. Примечание 1. Те читатели, которые знают, что такое система координат, пусть представляют себе прямую g как одну из координатных осей (для опре- деленности ось абсцисс) этой координатной системы. 15
П р и м е ч а н и е 2. Если данное множество М разбито па попарно непересекающиеся подмножества, дающие в сумме множество Л1, то для краткости говорят про- сто о разбиении множества М на классы. Теорема 1. Пусть дано отображение f множества А на множество В. Полные прообразы всевозмож- ных точек b множества В образуют разбиение множе- ства А на классы. Множество этих классов находится во взаимно однозначном соответствии с множеством В. Эта теорема, в сущности, очевидна: каждому эле- менту а множества А соответствует в силу отображе- ния f один и только один элемент b = f(a) множества В, так что а входит в один полный прообраз А это и значит, что полные прообразы точек Ь, во-пер- вых, дают в сумме все множество А, во-вторых, попарно не пересекаются. Множество классов находится во взаимно однознач- ном соответствии с множеством В: каждому элементу b множества В соответствует класс и каждому классу f 1 (Ь) соответствует элемент множества В1). Теорема 2. Пусть дано разбиение множества А на классы. Оно порождает отображение множества А на некоторое множество В, а именно, на множество всех классов данного разбиения. Это отображение полу- чается, если поставить в соответствие каждому эле- менту множества А тот класс, к которому он при- надлежит. Доказательство теоремы уже заключено в самой ее формулировке. Пример 4. Тем, что учащиеся Москвы распреде- лены по школам, уже и установлено2) отображение множества А всех учащихся на множество В всех школ: каждому учащемуся соответствует та школа,- в которой он учится. При всей самоочевидности наших двух теорем факты, устанавливаемые ими, не сразу получили в математике отчетливую формулировку; получив же эту формули- ровку, они сразу приобрели очень важное значение в логическом построении различных математических дисциплин и прежде всего алгебры. 1) Обратите внимание на то, что f отображает А на В. Для отображения А в В теорема, вообще говоря, не верна. 2) В предположении, что каждый учащийся учится лишь в одной школе, 16
в) Отношен неэквивалентности. Пусть дано разбиение множества М на классы. Введем следующее определение: назовем два элемента множества М экви- валентными по отношению к данному разбиению множества М на классы, если они принадлежат к одному и тому же классу. Таким образом, если мы разобьем учащихся Москвы по школам, то двое учащихся будут «эквива- лентны», если они учатся в одной и той же школе (хотя бы и в разных классах). Если же мы разобьем учащихся по классам, то двое учащихся будут «экви- валентны», если они учатся в одном и том же классе (хотя бы и различных школ). Отношение эквивалентности, только что определен- ное нами, очевидно, обладает следующими свойствами. Свойство симметрии (или взаимности). Если а и Ь эквивалентны, то эквивалентны также b и а. Свойство транзитивности (или переходности). Если эквивалентны элементы а и Ь, а также b и с, то а и с эквивалентны (с учетом симметричности это свойство можно сформулировать так: «два элемента, а и с, эквивалентные третьему, Ь, эквивалентны между собой»). Наконец, мы считаем каждый элемент эквивалент- ным самому себе\ это свойство отношения эквивалент- ности называется свойством рефлексивности. Итак, всякое разбиение данного множества на классы определяет между элементами этого множества некоторое отношение эквивалентности, обладающее свойствами симметрии, транзитивности и рефлексивности. Предположим теперь, что нам удалось, — каким бы то ни было способом, — установить некоторый признак, дающий нам возможность о некоторых парах элемен- тов множества М говорить как о парах эквивалентных элементов. При этом мы требуем от этой эквивалент- ности только, чтобы она обладала свойствами симмет- рии, транзитивности и рефлексивности. Докажем, что это отношение эквивалентности опре- деляет разбиение множества М на классы. В самом деле, обозначим символом Ка множество всех элементов М, эквивалентных элементу а. В силу того, что наше отношение эквивалентности, по предположению, обладает свойством рефлексивности, каждый элемент а содержится в своем классе Ка. 17
Докажем, что если два класса пересекаются (т. е. имеют хоть один общий элемент), то они непременно совпадают (т. е. каждый элемент одного класса явля- ется в то же время элементом другого). В самом деле, пусть классы Ка и Къ имеют общий элемент с. Записывая эквивалентность двух каких- нибудь элементов х и у в виде х^«/, имеем по опре- делению классов: а<-^с, Ь^с. Следовательно, из симметрии с^Ь и транзитив- ности вытекает a~b. ' (1) Пусть у — какой-нибудь элемент класса Кь, т. е. 1>~У, тогда в силу транзитивности и (1), получаем а~У, т. е. у есть элемент класса К.а. Пусть теперь х — какой-нибудь элемент класса Ка- Имеем а^х; применяя свойство симметрии, получаем х^а, а из (1) и транзитивности вытекает х^Ь. Применяя опять свойство симметрии Ь~х, получаем, что х принадлежит к классу Л6. Таким образом, два класса, Ка 11 Кь, имеющие общий элемент с, действительно совпадают между собой. Мы доказали, что различные классы Ка образуют систему попарно непересекающихся подмножеств мно- жества М. Далее, классы в сумме дают все множество М, так как каждый элемент множества Af принадлежит к своему классу. Повторим еще раз доказанные в этом пункте резуль- таты, объединив их в следующее предложение. Теорема 3. Каждое разбиение на классы какого- нибудь множества М определяет между элементами множества М некоторое отношение эквивалентности, 18
обладающее свойствами симметрии, транзитивности и рефлексивности. Обратно, каждое отношение эквива- лентности, установленное между элементами множе- ства М и обладающее свойствами симметрии, транзи- тивности и рефлексивности, определяет разбиение множества М на классы попарно эквивалентных мезюду собой элементов. Приведем теперь несколько геометрических приме- ров отношений эквивалентности и разбиений множеств на классы. Пример 5. Пусть М — множество всех прямых на плоскости. Напомним, что две прямые, /, и /2, на- зываются параллельными, если либо 1Г и /2 совпадают, либо не имеют общих точек (символически: либо /1 = /2, либо /хр]/2 = 0). Разобьем множество М на классы, относя прямые /х и /2 к одному классу в том и только том случае, когда /х||/2- Параллельность прямых есть отношение эквивалентности на множестве М. Действи- тельно, Ц1 и, если 1г || /2, то /21|/х. Следовательно, отно- шение || рефлексивно и симметрично. Далее, пусть /х || /2 и /21| /3. Если /х = /2 и /2 = 13, то, очевидно, 1г = /3. Если /1 = /2, а /2Г)/3=0, то /ХГ|/3=0; аналогично для слу- чая /х f) /2 = 0 и /2 = 13. Остается рассмотреть случай /х П /2 = 0 и /2 П /3 = 0. Но тогда либо /х П /3 = 0, либо пересечение /х П /3 содержит хотя бы одну точку Д; в последнем случае /х = 13 в силу пятого постулата Евклида, т. е. отношение Ц транзитивно. Таким обра- зом, отношение || есть отношение эквивалентности. По- лученные классы эквивалентности называются направ- лениями на плоскости. Пример 6. Назовем две плоские фигуры Ех и Е2 эквивалентными, если они конгруэнтны (ЕХ^Е2), т. е. если существует такое перемещение f плоскости, что f (FJ = F2. Конгруэнтность также есть отношение экви- валентности. Действительно, F^F, поскольку в этом случае в качестве перемещения можно взять тождест- венное перемещение плоскости. Далее, если Fr^F2, то существует такое перемещение f, что f(F1) — F2. Но тогда /-1(Е2)=/-ЧНЛ)) = Г-НЛ) = Л- т. е. Е2^ЕХ. И, наконец, если Fr^F2 и F2^F3, то f(F1) = F2 и g(F2) — F3 для некоторых перемещений f и g. Поэтому F3 = g(Fi)=g(f(Fd')=g-f(Fd, т- е- Fi=Fs- Итак, отно- шение рефлексивно, симметрично и транзитивно, т. е. является отношением эквивалентности. 19
Упражнения. 1. Доказать, что отношение подо- бия фигур является отношением эквивалентности. 2. Доказать, что равенство векторов есть отношение эквивалентности. § 2. ВВОДНЫЕ ПРИМЕРЫ 1. Действия над целыми числами. Сложе- ние целых чисел* 2) удовлетворяет следующим условиям, которые называются аксиомами сложения и которые для всего последующего будут иметь чрезвычайно боль- шое значение: I. Всякие два числа можно сложить (т. е. для лю- бых двух чисел а и Ь существует вполне определенное число, называемое их суммой: a-j-b). II. Условие сочетательности или ассоциативности: Для любых трех чисел а, Ь, с имеет место тождество: (° + Ь) + с = а -|- (Ь 4- с). III. Среди чисел существует одно определенное число, нуль, удовлетворяющее для всякого числа а соотношению а4~0 = а. IV. Для каждого числа а существует так называе- мое противоположное ему число, —а, обладающее тем свойством, что сумма « + (—«) равняется нулю: о + (—а) = 0. Наконец, занимающее несколько особое место условие V. Условие переместительности или коммутативности: й -J- b — b 4- а. 2. Действия над рациональными числами. Рассмот- рим теперь множество Q, состоящее из всех положи- тельных и отрицательных рациональных чисел2), т. е. из всех рациональных чисел, отличных от нуля. Умно- жение этих чисел удовлетворяет так называемым аксио- мам умножения- Перечислим их. I. Всякие два числа из Q можно перемножить (т. е. для любых двух чисел а и b существует вполне опре- деленное число, называемое их произведением: а-Ь)- ') Под целыми числами всегда понимаются все положительные и все отрицательные целые числа и, кроме того, число нуль. 2) Под рациональным числом понимается любое целое и любое дробное число. 20
И. Условие сочетательности или ассоциативности. Для любых трех чисел а, Ь, с из множества Q имеет место тождество: (а-Ь)-с = а-(Ь-с). 111. Среди чисел множества Q существует единст- венное число — единица, удовлетворяющее для всякого числа а соотношению а-1 —а. IV. Для каждого числа а из Q существует обратное ему число а-1, обладающее тем свойством, что произве- дение а а-1 равняется единице: a ar1= 1. V. Условие коммутативности: a-b = b-a. Сравнивая примеры пп. 1 и 2, нетрудно заметить полное сходство аксиом, которым удоЬлетворяет опе- рация сложения для целых чисел и операция умноже- ния для ненулевых рацио- нальных чисел. Ниже мы увидим, что это сходство не случайно и проявляется при рассмотрении разнообразных конкретных операций. 3. Повороты правильного треугольника. Покажем, что не только числа, но и мно- гие другие объекты мож- но перемножать и притом с соблюдением только что Пример 1. Рассмотрим правильного треугольника вокруг его центра О (рис. 1). При этом мы будем считать два поворота совпадаю- щими, если они отличаются друг от друга на целое число полных оборотов (т. е. на целочисленное крат- ное 360°)1). Легко видеть, что из всех возможных пово- Рис. 1. перечисленных условий, всевозможные повороты г) Так как поворот на целочисленное кратное 360°, очевидно, ставит каждую вершину на ее первоначальное место, то естествен- но объявить такой поворот совпадающим с нулевым и вообще считать совпадающими два поворота, отличающиеся друг от друга на целое число Полных оборотов. 21
ротов треугольника лишь три поворота переводят тре- угольник в себя, а именно: повороты на 120°, на 240° и так называемый нулевой поворот, оставляющий все вершины, а следовательно, и все стороны треугольника на месте. Первый поворот переводит вершину А в вер- шину В, вершину В в вершину С, вершину С в вер- шину А (он перемещает, как говорят, вершины А, В, С в циклическом порядке). Второй поворот перемещает А в С, В в А, С в В (т. е. перемещает в циклическом порядке А, С, В). Теперь мы, в соответствии со здравым смыслом, вводим следующее определение. Умножить два поворота— значит, последовательно произвести их один за другим. Таким образом, поворот на 120°, умноженный с самим собой, дает поворот на 240°, умноженный с поворотом на 240° дает поворот на 360°, т. е. нулевой поворот. Два поворота на 240° дают поворот на 480° = 360° 4-120°, т. е. их произведение есть поворот на 120°. Если мы нулевой поворот обозначим через а0, пово- рот на 120° через а1, поворот на 240° через а2, то получим следующие соотношения: «о йо = Gq, Gq (Zj = Qj • g0 = cij, Й1 • a1 = a2, * ^2 == ^2 * :^2 * ^2 ~~ Итак, для каждых двух поворотов определено их произведение. Читатель легко проверит, что это умно- жение удовлетворяет сочетательному закону; очевидно также, что оно удовлетворяет переместительному закону. Далее, среди наших поворотов имеется также нулевой поворот а0, который удовлетворяет условию ci • cIq —— Gq ‘ а —— ci для любого поворота а. Наконец, каждый из наших трех поворотов имеет обратный ему поворот, дающий в произведении с дан- ным поворотом нулевой поворот: нулевой поворот, очевидно, обратен самому себе, с01 = ас„ так как а0 • а0 = = а0, тогда как ар* =а2 и ар* = аг (так как ах а^ — а^- Итак, умножение поворотов правильного треуголь- ника, удовлетворяет всем перечисленным аксиомам умно- жения. 22
Запишем еще раз наше правило умножения пово- ротов более компактным образом в виде следующей пифагоровой таблицы умножения-. Таблица 1 а0 а2 а0 а0 аг «1 а2 ае а2 а2 ао Произведение двух элементов в этой таблице нахо- дим в пересечении строки, отмеченной первым элемен- том, и столбца, отмеченного вторым элементом. Читатель, который будет вычислять с нашими пово- ротами механически, возьмет просто три буквы: а0. °!, а2 и будет умножать их, пользуясь только что выписан- ной таблицей умножения; при этом он может совер- шенно забыть, что именно эти буквы обозначали. 4. Клейновская группа четвертого порядка. Пример 2. Рассмотрим совокупность четырех букв а„, а1г а2, а3, умножение которых определено следующей таблицей: Таблица 2 а0 а1 а2 а3 а0 а„ ai а2 а3 at а0 а3 а2 аг аг а3 а„ О1 аз а3 а3 “i аи 23
или в развернутом виде: flip CIq :— Яо, ~~ ^1 ' Д0 ~1 с0 аг = с2 а0 = а^, а() - а3 — а3 аа = а3, Й1 — ао< Cl-^ ' Ct<2 —- <^2 ’ &]_ ~~ ^3* Я1 - с3 = О3 • flj = O2i ^2 ' ^2 ~ «0. ®2 ' ®3 = «3 ' ®2 ^1: ^3 ’ ^3 = «0- Умножение определено для любых двух букв из числа наших четырех. Непосредственная проверка сразу показывает, что это умножение удовлетворяет условию ассоциативности и коммутативности. Буква о,, обладает основным свойством единицы: произведение двух сомножителей, из которых одно есть п0, равно другому сомножителю. Таким образом, условия, аналогичные условиям I, II, III, V из пп. 1—2, оказываются выполненными в нашей «алгебре четырех букв». Для того чтобы убе- диться, что условие IV также выполнено, достаточно заметить, что мы положили flo • «0 — «0. — «о. ®2'®2 — «0> «3 • «3 — ®0» т. е. каждая буква сама себе обратна (дает при умно- жении с самой собой единицу). Наша «алгебра четырех букв» на первый взгляд может показаться своего рода математической игрой, забавой, лишенной реального содержания. В действи- тельности законы этой алгебры, выраженные табли- цей 2, имеют вполне реальный смысл, с которым мы вскоре познакомимся; замечу, более того, что эта «алгебра четырех букв» имеет серьезное значение и в высшей алгебре. Она называется клейновской группой четвертого порядка. 5. Повороты квадрата. Пример 3. Некоторую «алгебру четырех букв», отличную от предыдущей, можно построить в полной аналогии с тем, что мы делали в первом примере. Рассмотрим квадрат ABCD и повороты вокруг его центра, переводящие фигуру в самое себя. Опять будем считать совпадающими всякие два поворота, отличаю- щиеся друг от друга на целочисленное кратное 360 . Таким образом, будем иметь всего четыре поворота, а именно: нулевой, поворот на 90°, на 180° и на 270 . 24
Эти повороты обозначим соответственно через ап, и,, о2, а3. Если под умножением двух поворотов понимать снова последовательное осуществление двух поворотов, то получим следующую таблицу умножения, вполне аналогичную второму примеру: Таблица 3 «о С1 аг Сз 01 Ог а3 «1 «1 ^2 аз Go «2 с2 «3 Со «1 с3 а3 а0 С1 С2 Таким же точно образом как в этом и в первом примере, можно рассматривать повороты правильного пяти-, шести- и вообще n-угольника. Читателю пре- доставляется самому провести относящиеся сюда рас- суждения и построить соответствующие таблицы умножения. § 3. ОПРЕДЕЛЕНИЕ ГРУППЫ Прежде чем идти дальше в изучении отдельных примеров, подведем итог уже рассмотренным примерам, введя основное определение. Пусть задано некоторое (конечное или бесконечное) множество G, на котором определена операция умно- жения, т. е. определен закон, сопоставляющий любой паре а, b элементов из G некий элемент из G назы- ваемый произведением а и Ь и обозначаемый симво- лом а-b. Предположим, что эта операция умножения удовлетворяет следующим условиям: I. Условие ассоциативности. Для любых трех эле- ментов а, Ь, с множества G справедливо соотношение: (a-b)-c = a-(bc). 25
Это значит следующее. Обозначим через d элемент множества G, являющийся произведением элементов а и Ь; точно так же обозначим через е элемент b с мно- жества G. Тогда d-c и а-е являются одним и тем же элементом множества G. II. Условие существования нейтрального элемента. Среди элементов множества G имеется некоторый опре- деленный элемент, называемый нейтральным элемен- том и обозначаемый символом 1, такой, что а-1 = 1 -а —а при любом выборе элемента а. III. Условие существования обратного элемента к каждому данному элементу. /С каждому данному эле- менту а множества G можно подобрать такой эле- мент b того же множества G, что a-b = b-a—\. Элемент Ъ называется обратным к элементу а и обозначается от1. Множество G с определенной в нем операцией умно- жения, удовлетворяющей только что перечисленным трем условиям, называется группой', сами эти условия называются аксиомами группы. Операция умножения, удовлетворяющая аксиомам группы, иногда называется групповой операцией или групповым законом. Мы будем пользоваться всеми этими терминами, не оговаривая каждый раз их экви- валентность. Пусть в группе G, кроме указанных выше трех аксиом, оказывается выполненным еще и следующее условие: IV. Условие коммутативности: а-Ь = Ь-а. В этом случае группа G называется коммутатив- ной или абелевой группой. Группа называется конечной, если она состоит из конечного числа элементов; в противном случае она называется бесконечной. Число элементов конечной, группы называется ее порядком. Познакомившись с определением группы, мы видим, что приведенные в первых двух параграфах этой главы 26
примеры являются примерами групп. Действительно, мы познакомились последовательно: 1) с группой целых чисел (групповая операция — обычное сложение целых чисел); 2) с группой отличных от нуля рациональных чисел (групповая операция — обычное умножение рациональ- ных чисел); 3) с группой поворотов правильного треугольника (групповая операция — композиция поворотов); 4) с клейновской группой порядка 4 (групповая операция— умножение букв а0, с1( а2, а3, задаваемое таблицей 2); 5) с группой поворотов правильного четырехуголь- ника (групповая операция — композиция поворотов); 6) с группой поворотов правильного п-угольника. Все эти группы коммутативны. Группа целых чисел и группа ненулевых рациональных чисел бесконечны; остальные — конечные группы. § 4. ПРОСТЕЙШИЕ ТЕОРЕМЫ О ГРУППАХ1) 1. Произведение любого конечного числа элементов группы. Первое правило раскрытия скобок. Аксиома ассоциативности имеет в теории групп и, сле- довательно, во всей алгебре очень большое значение: она позволяет определить произведение не только двух, но и трех и вообще любого конечного числа элементов группы и пользоваться при рассмотрении этих произ- ведений обычными правилами раскрытия скобок2). В самом деле, если даны, положим, три элемента а, Ь, с, то мы еще пока не знаем, что значит умно- жить эти три элемента: ведь аксиомы групп говорят лишь о произведениях двух элементов и выражения вида a-b-с еще не определены. Однако условие ассо- циативности гласит, что умножая, с одной стороны, элемент а на элемент Геи, с другой стороны, эле- мент а-b на элемент с мы получим один и тот же элемент в качестве произведения. Вот этот элемент, являющийся произведением двух элементов а и Ь- с, 2) Читатель, желающий сначала ознакомиться с дальнейшими примерами групп, может пропустить этот параграф и вернуться к нему только по прочтении глав П —IV. 2) При этом надо только помнить, что в случае некоммутатив- ных групп нельзя, вообще говоря, менять порядок сомножителей. 27
а также произведением двух элементов а b и с, и пред- ставляется естественным определить в качестве произ- ведения трех элементов а, Ь, с в том порядке, как только они здесь выписаны, и обозначить его просто через ab-с. Таким образом, на равенство а b с = а (Ь - с) = (а Ь) с надо смотреть, как на определение abc произведения трех элементов а, Ь, с (здесь знак умножения для удобства опущен). Таким же точно образом можно определить произ- ведение четырех элементов a, b, с, d, например, как a-(bed). Докажем, что при этом a (bed) = (ab) (cd) = (abc) d. По только что сказанному имеет прежде всего место равенство: a (bed) = a [b (cd)]. Но для трех элементов a, b, cd мы имеем: а [/? (cd)] = (ab) (cd). С другой стороны, имеем для трех элементов ab, с, d: (ab) (cd) = [(ab)c]d = (abc)d, что и требовалось доказать. Предположим, что произведение любых п — 1 эле- ментов уже определено. Определим произведение и элементов а^а2 ... ап как а1(а2 ... ап). Таким образом, выражение ага2 ... ап может считаться определенным методом математической (полной) индукции для лю- бого п. Теорема. Пусть п —любое натуральное число. Для любого натурального числа1) т^п справедливо тождество (первое правило раскрытия скобок): (щ ... ат) (amJrl ... ап) — а^ ... ап. П) Доказательство. Доказательство будем вести методом полной индукции2): для п = 1 теорема выра- жает тождество а, =а1. Предположим, что она спра- г) Натуральное число—это целое положительное число. 2) Читателю рекомендуется самому провести рассуждения, и только потом сверить их с приведенными в тексте. 28
ведлива для п k — I и докажем ее для п = k. Рас- смотрим сначала случай т=\. Тогда формула (2) превращается в (й2 • • • &&) — • • • ^k- Но это есть определение выражения at... ak. Итак, для данного n = k и т=\ формула (2) спра- ведлива. Теперь, фиксируя n — k, предположим, что наша формула доказана для т = q — 1; докажем ее для m — q. Так как при т — п формула (2), очевидно, справедлива, можем предположить q<Zli. Тогда, так как теорема предположена справедливой для n^k — 1, то (Oi ••• а9Ж+1 «*) = [(fli ••• °?-i)a<7](a?+i ••• ak)- Условие ассоциативности, примененное к трем элемен- там ... аг1), ад, [cig^ ... ah), дает [(fij . . . Cig] (Clg+l . . . Clk) = (Cll . . . Clg^) [cig (cig-^ . . . Ofc)]. Но выражение, стоящее справа в квадратных скобках, есть, по определению, О^О^, . •. Ofc. Итак, получаем: (Й1 ... Cig) (Clg+l . . • d/l) = (Gj • . . Clg-j) (Ctg . . . Of;), но в силу предположенной справедливости формулы (2) для n = k и tn = q— 1, правая часть последнего равен- ства есть а, ... о*. Отсюда следует равенство (flj . . . Cig) (Qg^ . . . Clh) = Oj ... Clfe, что и требовалось доказать. 2. Нейтральный элемент. Условие существования нейтрального элемента гласит: в группе существует некоторый элемент 1, такой, что для любого элемента а группы выполнено условие а- 1 = 1д = а. (3) В этом условии не содержится утверждения, что не мо- жет быть в данной группе второго элемента 1', отлич- ного от 1, но обладающего тем же свойством а Г = Г • а = а (4) для любого а. 29
Отсутствие такого элемента Г вытекает из следую- щей более сильной теоремы, которую иногда называют теоремой об единственности нейтрального элемента. Теорема. Если для какого-нибудь определенного элемента а группы G найден элемент 1а, удовлетворяю- щий одному из условий а-1а = а или 1аа = а, то непременно 1а = 1. Доказательство. Предположим сначала, что а-\а = а. Заметим прежде всего, что для любого эле- мента b имеем ЬЛа=(ЬЛ)-\а, что при замене 1 на аг1-а дает b • 1а = b аг1 • а• 1а = b сг1 (а• 1а) = b-a~1a = b. Точно так же имеем 1а-Ь = (1 • ia)-b = a~1-a - 1а-Ь = а-Ца- \a)-b = a1a-b = b. Итак, для любого b имеем Ь- la = la-b = b. Возьмем, в частности, Ь—1. Получаем Ь1а=1. (5) Но по определению элемента 1 имеем, с другой стороны, 1 •!« = !«. (6) Из уравнений (5) и (6) следует 1а=1, что и требова- лось доказать. Совершенно аналогичным образом можно вывести тождество 1а=1 из предположения 1а-а — а. 3. Обратный элемент. Условие существования обрат- ного элемента гласит: для каждого элемента а сущест- вует определенный элемент а1 такой, что а1 • а — а • ст1 = 1. Здесь опять-таки утверждается лишь существование элемента о-1, а никак не единственность его. Докажем эту единственность, т. е. докажем следующую теорему. 30
Теорема. Если для данного а имеем какой-нибудь элемент а', удовлетворяющий одному из условий а а’ = 1 или а’ -а = 1, то непременно а’ = а-1. Доказательство. Пусть а • а' = 1. Отсюда следует, что (а-1) • (а а') = а-1 • 1 = аг1, т. е. (а-1 а)-а' = о-1, т. е. 1 а' = а1, т. е. а' = а~1. Совершенно аналогичным образом можно из предполо- жения а' • а = 1 вывести а' = а1. Итак, для данного а существует единственный эле- мент х, удовлетворяющий равенству сх=1 или равен- ству ха=1, а именно элемент х = а~1. Возьмем теперь элемент дг1. Элемент а удовлетво- ряет равенству а1 • а = 1, т. е. является для элемента от1 как раз тем элементом х = (tr1)-1, о котором только что шла речь. Итак, Пусть теперь а, Ь — некоторые элементы группы G. Рассмотрим в этой группе уравнение ха = Ь. (7) Очевидно, что это уравнение имеет решение x = ba~l. Это решение — единственно, так как если элемент с есть решение уравнения (7), то са = Ь, значит, с = cacr1 = bar1. 31
Точно так же уравнение ах = b (8) имеет своим единственным решением элемент а^Ь. Следствие. Если ab — ac, а также, если Ьа — са, то Ь = с. Докажем теперь следующее важное тождество: (ab)-1 = Ь^а-1. (9) В самом деле, элемент (ab)-1 есть единственный эле- мент х группы, удовлетворяющий условию ab-x=\\ (10) но ab (Irhr1) = а (Ыг1) а-1 = а • 1 а-1 = аа~х = 1. Отсюда элемент х = tr^a1 как раз удовлетворяет усло- вию (10), значит, действительно, (ab)~l — Методом математической индукции легко получаем общий результат (й! ... ап)~1 = йп'йпЕ 1 ... й?1. Отсюда, в частности, следует тождество с(а1... а^1 — са~п'ап'-1... йГ1, называемое вторым правилом раскрытия скобок. 4. Замечания об аксиомах группы. Мы не ставим себе задачей дать наименьшее число требований, доста- точных для определения понятия группы. Действи- тельно, мы потребовали, чтобы нейтральный элемент удовлетворял сразу условиям а- 1 = 1 й = й, а обратный элемент а-1 к любому элементу а условиям й • й-1 = от1 • й = 1. Между тем на основании доказанного в пунктах 2 и 3 настоящего параграфа достаточно было бы потре- бовать выполнения одного какого-нибудь из условий а -1 — а или 1 -а = а, а также одного какого-нибудь из условий а • fl-1 = 1 или «-1 • а = 1. 32
Наконец, заметим, что в определении группы (§ 3) аксиомы И и III, т. е. условие существования обрат- ного элемента ко всякому данному, можно было бы заменить одной следующей аксиомой («условие неогра- ниченной возможности деления»): Ко всяким двум элементам а и Ъ можно найти элементы х и у такие, что ах = Ь и уа = Ь. Доказательство предлагаем привести самому чита- телю (или прочитать его, например, в книге А. Г. Ку- роша «Теория групп»), 5. «Мультипликативная» и «аддитивная» термино- логия в теории групп. Составными частями понятия группы являются: а) множество тех предметов (числа, подстановки, повороты и т, д.), которые являются элементами группы; б) определенная операция или действие, которое мы назвали умножением и которое позволяет для каж- дых двух элементов а и b нашей группы найти третий элемент а-b той же группы. Мы выбрали термин умножение для обозначения операции, имеющей место в каждой группе. Выбор того или иного термина на существо дела, конечно, влияния не оказывает; в применении к каждой группе можно было бы говорить о сложении ее элементов (а не об умножении их) и рассуждать не на мульти- пликативном, а на аддитивном языке. С мультиплика- тивным языком, или, как говорят, с мультипликатив- ной записью группы, мы уже познакомились. Теперь сообразим, какое выражение получают групповые аксиомы на аддитивном языке («в аддитивной записи»). Прежде всего, мы требуем, чтобы для каждых двух элементов а и b нашего множества G (см. § 3) был однозначно определен элемент а-}-Ь — сумма двух эле- ментов а и Ь. Собственно групповые аксиомы примут при этом следующий вид: I. Условие ассоциативности. Для любых трех эле- ментов а, Ь, с множества G справедливо соотношение (а -|- Ь) + с = а -|- (Ъ+с). II. Условие существования нейтрального элемента. Среди элементов множества G имеется некоторый опре- деленный элемент, называемый нейтральным элементом 2 П. С. Александров 33
и обозначаемый через 0, такой, что а 4~ О О 4~ а == а при любом выборе элемента а. 111. Условие существования противоположного эле- мента. К каждому данному элементу а множества G можно подобрать такой элемент —а того же множе- ства G, что а 4- (— а) = (— а) + а = 0. Мы видим, что если операцию, определяющую дан- ную группу, переименовать из умножения в сложение, то оказывается естественным нейтральный элемент переименовать из единицы в нуль и говорить о про- тивоположных элементах (—а) вместо обратных сг1. Условие коммутативности в аддитивной записи имеет вид а -|- b= b 4” Мультипликативная терминология является истори- чески первой и сейчас употребляется подавляющим большинством авторов. Наиболее удобно в одних слу- чаях рассуждать о группах на мультипликативном, в других случаях на аддитивном языке. Наконец, имеется много случаев, когда оба языка оказываются одинаково удобными. Как на пример, где, конечно, удобнее пользоваться аддитивным языком, укажем на группу целых чисел: групповой операцией является здесь обыкновенное арифметическое сложение, нейтральный элемент есть обыкновенный арифметический нуль, и понятие проти- воположных чисел имеет также свой обычный арифме- тический смысл. Едва ли можно спорить о том, что непривычно и неудобно было бы обычное арифметическое сложение вдруг называть умножением, нуль единицей и т. д. Однако читатель должен хорошо понять, что, несмотря на все неудобства такого переименования, оно вполне возможно и не приведет ни к какому противоречию до тех пор, пока мы ограничиваемся изучением группы целых чисел, т. е. рассматриваем единственную опера- цию над целыми числами, а именно, арифметическое сложение. Если мы наряду с арифметическим сложением стали бы рассматривать еще и умножение (также в элемен- 34
тарном, арифметическом смысле слова), то переимено- вание сложения в умножение, о котором идет речь, конечно, совершенно запутало бы терминологию. Как пример группы, для которой мультипликативный язык более удобен, можно назвать группу Q ненулевых рациональных чисел, которую мы рассмотрели в § 2, п. 2 настоящей главы. Чтобы покончить с вопросами терминологии, отме- тим, что в настоящее время становится все более и более общепринятым говорить об общих группах на мультипликативном языке, а о коммутативных груп- пах на аддитивном языке (хотя мы только что видели исключение из этого правила, когда упоминали о группе отличных от нуля рациональных чисел). В этой книжке мы будем, в основном, придержи- ваться указанного соглашения.
ГЛАВА II ГРУППЫ ПОДСТАНОВОК § I. ОПРЕДЕЛЕНИЕ ГРУПП ПОДСТАНОВОК Если три человека Сидор, Иван и Петр сидят на скамейке, предположим, слева направо, то их можно пересадить шестью разными способами, а именно (считая все время слева направо): (1) Сидор, Иван, Петр; (2) Сидор, Петр, Иван; (3) Иван, Сидор, Петр; (4) Иван, Петр, Сидор; (5) Петр, Сидор, Иван; (6) Петр, Иван, Сидор. Переход от одного какого-нибудь порядка, в кото- ром они сидят, к любому другому порядку называется подстановкой. Подстановка записывается так: /Сидор, Иван, Петр\ \Иван, Петр, СидорУ’ и означает, что Иван сел на место Сидора, Петр на место Ивана, Сидор — на место Петра. В таком смысле можно говорить о подстановках любых предметов. Так как при этом природа пере- ставляемых предметов значения не имеет, то эти пред- меты обычно обозначаются числами, и речь идет о под- становках чисел. Из трех чисел 1, 2, 3 можно сделать следующие подстановки: /1 2 3\ /12 3\ /1 2 3\ И 2 ЗУ’ И 3 2/’ \2 1 зУ’ /1 2 3\ /12 3\ /1 2 3\ \2 з 1У’ \з 1 гУ’ \з 2 1У‘ Каждая подстановка заключается в том, что на место числа, стоящего в верхней строчке, ставится подписанное под ним число из нижней строчки. Пер- 36
/1 2 3\ вая подстановка L 2 J называется тождественной, в ней каждое число остается на своем месте. Вторая „ /1 2 3\ подстановка . . 3 91 заключается в том, что число 1 остается на месте, число 3 ставится на место числа 2, а число 2 —на место числа 3 и т. д. Общий вид подстановки из чисел 1, 2, п таков: /1 2 ... п\ \г'1 *2 ••• йг/ Здесь i\, i2, /„ — это те же числа 1, 2, ..., п, но только записанные в другом порядке. Например, пусть /1 2 3 4 5\ \3 1 4 5 2/’ тогда, очевидно, n = 5, i1 = 3, i2=l, i3 = 4, i4 = 5, i6 = 2. Из n чисел можно сделать п! различных подстано- вок. Докажем это. Каждая подстановка из чисел 1, 2, ..., п имеет вид /1 2 ... л\ Vi й ••• *л/ где все ..., i„ различны и каждое из них есть одно из чисел 1, 2, .... п. Значит, принимает п возмож- ных значений. После того как одно из них выбрано, мы имеем для выбора значения i2 уже только п — 1 возможностей. Остановившись на одной из них, имеем для выбора значения 13 лишь п — 2 возможностей. И так далее, пока для in останется лишь одна воз- можность. Всего таким образом имеется п(п — 1)х X (п — 2)... 2 1 = л! возможностей, что и требовалось доказать. Вернемся к подстановкам из трех цифр. По опре- делению, будем считать, что перемножить две подста- новки, значит последовательно произвести их одну за другой. В результате получится опять подстановка, называемая произведением двух данных подстановок. Перемножим, например, подстановки /1 2 3\ /12 3\ \2 1 3/ И \3 2 I/' В силу первой подстановки единица заменится двойкой, в силу второй подстановки эта двойка оста- 37
нется на месте; итак, после последовательного совер- шения обеих подстановок единица перейдет в двойку. Точно так же после последовательного совершения обеих подстановок двойка перейдет в тройку, тройка перейдет в единицу: /1 2 3\ /1 2 3\ /1 2 3\ \2 1 з) \3 2 \2 3 1/ Таким же точно образом можно перемножить любые две подстановки. Для того чтобы удобно записать результаты всех этих перемножений, введем следую- щие обозначения: р _ fl 2 3\ р /1 2 3\ о Л 2 3\ °~ \1 2 ЗД 1 \1 3 2Д 2 \2 1 ЗД р _/1 2 3\ р 71 2 3\ р 71 2 3\ 3 \2 3 1Д 4 \3 1 2)’ ъ \3 2 Ро — тождественная подстановка. Тогда имеем следующую таблицу умножения: Таблица 4 первый множи- тель второй множитель Ро Р1 р2 Рз р4 Ро Р0 - Рз Р1 р2 Рз р4 Ро Р1 Р1 Р« Рз р2 Р5 р4 р2 Р2 Р4 Ро Ро Р1 Рз Рз РЭ Р« Р1 р4 Ро р2 р4 Р4 Р2 Р5 Ро Рз Р1 Ро Р5 Рз р4 Pi р2 Ро Для того чтобы найти произведение двух подстановок, например, Р2Р4, надо взять строчку, в заголовке которой («первый сомножитель») стоит первая подста- новка (в нашем случае Рг), и столбец, в заголовке которого («второй сомножитель») стоит вторая подста- новка (в нашем случае Р4). В пересечении выбранной строки с выбранным столбцом и будет стоять искомое произведение: Р2 Pt = ДР 38
Проведем вычисление в развернутом виде; пусть р =Р 2 3 р /' 2 3\ 2 12 1 3/’ < \3 1 2)' при помощи тех же рассуждений, что и в случае равен- ства (1), получаем /1 .2 3\ /1 2 3\ /1 2 3\ \2 1 3/ Дз 1 2/ 3 2]’ т. е. действительно: Читателю рекомендуется проверить таким же образом всю таблицу умножения. Непосредственной проверкой можно убедиться в том, что наше умножение удовлетворяет ассоциатив- ному закону. Тождественная подстановка Ро есть единственная подстановка, удовлетворяющая условию Р0-Л = Я-Р0 = Л- для любой подстановки Рг. Наконец, к каждой подстановке имеется обратная к ней, дающая в произведении с данной тождествен- ную подстановку: обратная подстановка к данной ста- вит все числа, смещенные подстановкой, на их преж- ние места. Так, например, /1 2 3\-i _ /1 2 3\ \2 3 1 у — \3 1 2/' Чтобы в таблице умножения найти сразу подстановку, обратную к данной подстановке, надо в строчке, отме- ченной слева данной подстановкой, найти элемент Ро; в заголовке столбца, в котором лежит этот элемент, и стоит подстановка, обратная данной. Имеем, как легко видеть: Р~0' = Ро, Pp = Pit РТ’ = Л. Р?=Рз, р?=р„ р-г=р6. Итак, умножение подстановок удовлетворяет всем груп- повым аксиомам и, следовательно, совокупность всех подстановок из трех элементов есть группа. Мы обо- значим эту группу через S3. Группа S3 конечна, ее порядок равен 6. 39
Заметим, что умножение подстановок, вообще го- воря, не обладает свойством переместительности (ком- мутативности): произведение двух подстановок зависит, в общем случае, от порядка множителей. Так, мы имеем, например, р Р -р р р р А о и' О А X § 2. ПОНЯТИЕ ПОДГРУППЫ 1. Примеры и определение. Естественно возникает вопрос: нельзя ли получить группу, взяв не все, а только некоторые из числа наших подстано- вок (из трех чисел) и сохранив для них, конечно, тот же закон умножения? Нетрудно убедиться, что ответ на этот вопрос утвердительный. В самом деле, рассмотрим, например, пару элемен- тов Ро и Р±. Наша таблица умножения дает нам непо- средственно: Т>о‘Т>0 = />0, Р0-Р1 = Р1, Pi • Ро = ^*11 ^1'^1— Ро- Мы видим, что все групповые аксиомы выполнены (в частности, Ро’=Ро и Р^1 = Рг), значит, два эле- мента Рп и Рг образуют группу, составляющую часть группы всех подстановок из трех чисел. Точно так же можно убедиться, что пара элемен- тов Рп и Р2 в свою очередь образует группу, как и пара Ро и Р5. Что же касается пары Ро и Р3 (и также пары Ро и Р4), то она группы не образует, так как Р3-Р3 = Р4 (т. е. произведение элемента Р3 с самим собой не есть элемент нашей пары). Эти простые рассуждения оправ- дывают введение следующего общего определения. Определение. Пусть задана какая-нибудь груп- па G; тогда, если множество Н, состоящее из некото- рых элементов нашей группы G, образует (при законе умножения, заданном в G) группу, то группа Н назы- вается подгруппой группы G. Таким образом, пары элементов (Рп, Рг), (Ро, Рг), (Ро, РБ), каждая, являются подгруппами порядка 2 группы S3. Других подгрупп порядка 2 группа S3 не имеет: из определения подгруппы следует, что всякая подгруппа II группы G содержит нейтральный элемент 40
группы G, значит, всякая подгруппа порядка 2 груп- пы 53 имеет вид (Ро, Р,), где i — одно из чисел 1, 2, 3, 4, 5; но мы видели, что i не может равняться ни 3, ни 4, значит, остаются только рассмотренные под- группы (Ро, Л), (Ль Р2), (/’о, Р5)- В группе 53 имеется также подгруппа, состоящая из трех элементов (подгруппа порядка 3). Эго будет под- группа (Ро, Р3, Р4). Читателю предлагается самому убедиться, что эта подгруппа есть единственная под- группа порядка 3, содержащаяся в 53. Подгрупп порядка 4 и 5 в группе 53 не имеется вовсе1). Итак, подгруппы порядка 53 суть: три подгруппы порядка 2, а именно: (Ро, Рг), (Ро, Р2), (Ро, РБ), одна подгруппа порядка 3, а именно: (Ро, Р3, Pt). Таким же образом, как мы изучили группу 53, можно было бы изучить группу S4, состоящую из всех подстановок из четырех чисел. Группа S4 имеет порядок 1-2-3-4 = 24. Да и вообще, при любом п подстановки из п чисел образуют группу Sn порядка 1 •2-3-...-п = н! Закон умножения во всех этих группах один и тот же: умножить две подстановки из п чисел, значит, последовательно произвести эти подстановки одну за другой. Отметим, наконец, что группа 5„ всех подстановок из п элементов называется симметрической группой (подстановок из п элементов). Любая подгруппа группы 5„ называется группой подстановок из п элементов. 2. Условие, чтобы подмножество группы было под- группой. При доказательстве того, что некоторое под- множество Н группы G является подгруппой, удобнее всего бывает пользоваться следующей общей теоремой: Подмножество Н группы G тогда и только тогда является подгруппой группы G, когда выполнены следу- ющие условия: г) В этом можно убедиться, разобрав все 10 подмножеств группы S3, содержащих элемент Ра и состоящих из четырех эле- ментов, а также все 5 подмножеств, содержащих 5 элементов, включая непременно Ро. Однако отсутствие подгрупп порядка 4 и 5 в группе вытекает непосредственно из следующей общей тео- ремы, которая будет доказана позже (гл. VIII): порядок всякой подгруппы Н конечной группы G есть делитель порядка G. 41
1. П роизведение двух элементов а и b из Н (в смысле умножения, определенного в G) есть элемент множе- ства Н. 2. Нейтральный элемент группы G есть элемент множества И. 3. Элемент, обратный к какому-нибудь элементу множества Н, есть элемент множества Н. Для доказательства достаточно заметить, что наши условия выражают в точности требования, чтобы опе- рация умножения, определенная в G, но применяемая лишь к элементам множества Н, удовлетворяла всем аксиомам группы (ассоциативности требовать не нужно: будучи выполнена при умножении любых элементов множества G, она тем более выполнена в частном слу- чае, когда эти элементы являются элементами множе- ства Н). § 3.1) ПОДСТАНОВКИ КАК ОТОБРАЖЕНИЯ КОНЕЧНОГО МНОЖЕСТВА НА СЕБЯ. ЧЕТНЫЕ И НЕЧЕТНЫЕ ПОДСТАНОВКИ 1. Подстановки как отображения. Мы изло- жили понятие подстановки тем элементарным и не- сколько кустарным способом, каким это обычно и делается. Если не бояться общематематических терминов, то подстановку из п элементов следует определить про- сто как взаимно однозначное отображение f множества данных п элементов на себя. Если наши элементы суть, положим, числа 1, 2, 3,... ..., п, то подстановка 1 2 3 ... п\ Ui а2 а3 ... ап) задается как функция ak = f (k), k=\, 2, ..., n, причем и значения аргумента и значения функции суть числа 1, 2, 3,... , п. Для двух данных значений аргумента значения функции всегда различны. *) Читатель, которому этот параграф покажется трудным, может опустить его при первом чтении и вернуться к нему лишь перед гл. VI. 42
В частности, подстановка вполне определена, если для каждого k указано значение f(k), т. е. ak. Отсюда следует, что совершенно несущественно, в каком порядке записаны числа в верхней строчке: важно только, чтобы под числом k было подписано именно ak. Например, 1 2 3 4 5\ /3 4 5 2 14 и 2 4 3 5 1/ \3 5 1 4 2/ представляют собой две записи одной и той же под- становки. Этому, в сущности, самоочевидному замечанию можно придать и такую форму. Пусть дана подстановка Л = (’ 2 3 - " . (2) \ai а2 аз ... ап/ Если есть какая-нибудь подстановка тех же чисел 1, 2, 3, ... , п, то подстановка (2) может быть записана в виде / Pi Рг • • Рп\ \ч % - Ч/ 2. Четные и нечетные подстановки. Пусть дана подстановка я /12 3 ... п\ А = \^1 ^2 С3 ••• Рассмотрим множество, состоящее из двух каких-нибудь чисел набора 1, 2,... , и, положим для определенности из чисел t и k. Такое множество назовем парой чисел1), а именно парой, состоящей из элементов i и k; обоз- начим его (i, k). Число всех пар, которые можно составить из дан- ных п элементов, нетрудно подсчитать. Сначала вычис- лим, сколько различных упорядоченных подмножеств из двух элементов содержится в множестве из п эле- *) Здесь с понятием пары не связано никакое предположение о порядке следования элементов пары: (t, k) и (k, i) суть две записи одной -и той же пары. Такие пары элементов, взятые из числа данных п элементов, называются также сочетаниями из п элемен- тов по 2. 43
ментов. Обозначим число таких подмножеств через А*п и покажем, что А'п = п (п — 1). Действительно, для того чтобы распределить два эле- мента, взятых из данных п элементов, по двум местам, можно сначала выбрать какой-нибудь один элемент и поместить его на первое место. Это можно сделать п способами. На второе место теперь остается п — 1 «кан- дидатов» и значит, п — 1 способ выбора второго элемента. Следовательно, всего мы получим п(п — 1) способов размещения, что и требовалось. Пусть С~п — число всех пар, которые можно составить из п элементов. Покажем, что Z-'S 1 П (fl 1) — ъ — 9 > или, что то же самое, Л^ = 2(Х В самом деле, чтобы образовать упорядоченное мно- жество, содержащее два элемента из данных п, надо выделить какие-либо два из этих п элементов, что можно сделать способами, а затем упорядочить выделенные два элемента, что можно сделать двумя способами. Итак, Л^ = 2Си, что и требовалось доказать. Пара, состоящая из элементов i и k, называется правильной по отношению к подстановке А, если раз- ности i — k и а,—имеют один и тот же знак; это значит: если i < k, то должно быть а, < а*; если же i > k, то должно быть > ак. В противном случае говорят, что наша пара неправильна в подстановке Л или образует в ней инверсию. Следовательно, если пара (I, k) образует инверсию, то имеем либо i<k и либо, наоборот, i > k и at < ak. Рассмотрим, как при- мер, подстановки группы S3. (1 2 3\ ( 2 3 ] нет ни одной инверсии — все пары правильны. (1 2 3\ 3 2) имеется единственная инверсия (2, 3), так как при i = 2, & = 3 имеем с, = 3 и ak = 2. 44
В подстановке ^2 = Q инверсия (1, 2). В подстановке P3 = Q (1, 3), (1, 2). В подстановке Р4 — Q (1, 3), (2, 3). В подстановке Ръ = (3 (1, 2), (1, 3), (2, 3). 2 1 2 3 2 1 2 2 3\ 3> имеется единственная 3\ j 1 имеются две инверсии: 3\ 2> имеются две 3\ j I имеются три инверсии: Определение. Подстановка, содержащая четное инверсии: число инверсий, называется четной подстановкой; подстановка, содержащая нечетное число инверсий, нечетной подстановкой. Мы видим, что в группе S3 четные подстановки (Ро, Ра и Р4) образуют подгруппу. Наша задача — доказать, что это замечание справедливо для любой группы S„. Доказательство опирается на некоторые предвари- тельные замечания, к которым мы и переходим. Знаком подстановки А называется число Д-1, если подстановка А четная, и число —1, если она нечетная. Отвлекаясь от обычного словоупотребления, назовем теперь знаком рационального числа г число Д1. если число г положительно, число —1, если г отрицательно, и число 0, если г = 0. Знак числа г в только что уста- новленном смысле обозначим так: (зн г). При этих обозначениях ясно, что знак подстановки А п(п— 1) i — k равен произведению знаков всех ——- чисел а,_а . - i—k k—i причем дробь а,__а = а^-а- СТРОИТСЯ по одному разу для каждой пары, взятой из чисел 1, 2, 3,..., п. Этим замечанием мы воспользуемся для доказатель- ства следующей теоремы. Теорема 1. Знак произведения двух подстановок равен произведению знаков сомножителей. Доказательство. Пусть даны две подстановки: л=( 1 «1 2 3 ... п а2 Яз ... ап 1 2 3 ... п \Z>i b2 b3 ... bn) Их произведение есть, очевидно, подстановка / 1 2 3 ... п \ Ьа Ьа Ьа X а1 112 3 Л/ 0) 45
Знаки Л и В равны соответственно произведениям всех знаков 1 — k i—k ----- И Т.-- at —ан bi~bk Но так как можно также написать В = «а ч ап \ то имеем: знак В равен произведению всех знаков r~~^k Ьа1~Ъаь- Отсюда сразу следует: (зн А)-(зн В) = = произведению всех \зн g___• 1зн ь~—Ь / i—k а;—аь \ = произведению всех (зн а.^_а • -b \_b ] — =произведению всех зн ~ \ \ biii~bab)' Но последнее произведение есть знак подстановки II 2 3 ... п \ Ь“3 " Ь“пГ т. е. подстановки А • В, что и требовалось доказать. Из доказанной теоремы непосредственно следует: произведение двух подстановок одинаковой четности1) есть четная, а произведение двух подстановок различной четности2) есть нечетная подстановка. Тождественная подстановка не содержит ни одной инверсии и, сле- довательно, есть четная подстановка. Далее, А-А~1 = Е (Е —тождественная подстановка), т. е. произведение данной подстановки А и обратной ей подстановки есть четная подстановка; отсюда по только что доказанному следует, что любая подстановка имеет ту же четность, что и обратная ей. Итак, произведение двух четных подстановок есть четная подстановка; тождественная подстановка есть !) То есть произведение Двух четных или двух нечетных под- становок. 2) То есть произведение четной и нечетной или нечетной и четной подстановок, 46
четная подстановка, обратная четной подстановке есть четная подстановка. Отсюда следует, что совокупность всех четных под- становок из п элементов есть подгруппа группы S„ всех вообще подстановок из п элементов. Группа чет- ных подстановок из п элементов называется знако- переменной или альтернирующей группой подста- новок из п элементов, и обозначается через Ап. Теорема 2. Порядок группы Ап равняется Другими словами, в группу Ап входит ровно поло- вина всех подстановок из п элементов. Для того чтобы убедиться в этом, достаточно установить взаимно одно- значное соответствие между множеством всех четных и множеством всех нечетных подстановок из п элемен- тов. Такое соответствие устанавливается, если выбрать какую-нибудь определенную нечетную подстановку Р и каждой четной подстановке А поставить в соответ- ствие подстановку Р А. Тогда: 1) каждой четной подстановке будет соответствовать нечетная подстановка; 2) двум различным четным подстановкам будут соот- ветствовать различные нечетные подстановки; 3) каждая нечетная подстановка В окажется постав- ленной в соответствие одной (и только одной) четной подстановке, а именно: четной подстановке Р~г-В. Таким образом, наше соответствие есть взаимно однозначное соответствие между множеством всех четных и множеством всех нечетных подстановок.
ГЛАВА III ИЗОМОРФНЫЕ ГРУППЫ. ТЕОРЕМА КЭЛИ § 1. ИЗОМОРФНЫЕ ГРУППЫ Рассмотрим, с одной стороны, группу поворотов /?3 правильного треугольника (гл. I, § 2), а с другой стороны, содержащуюся в группе всех под- становок из трех цифр подгруппу А3, состоящую из трех элементов Ро, Р3, Pt (гл. II, § 2). Мы обозначили элементы группы Ря через а0, а1, а2. Установим теперь между элементами группы Р3 и элементами группы А3 следующее взаимно однозначное соответствие: -*-* Р3, «1 Р3, а-2 *-» Pt- Это соответствие сохраняет умножение в следующем смысле. Если какой-либо элемент в левом столбце может быть записан в виде произведения двух элемен- тов (конечно, того же левого столбца), например, аоаг = = ц, или GjG^Gj или а^ — сЦ), и если мы каждый элемент полученного равенства заменим соответствую- щим элементом правого столбца, то равенство останется справедливым. Мы видим, что группы R3 и А3 хотя и состоят из элементов различной природы (одна группа состоит из поворотов треугольника, а другая из подстановок цифр), но устроены они одинаково: таблицы умножения этих групп отличаются лишь обозначениями и, следо- вательно, заменой обозначений, т. е. переименованием элементов, они могут быть приведены к одинаковому виду. Такие группы, которые при надлежащем выборе обозначений элементов таблицы умножения оказываются тождественными (одинаковыми), называются изоморф- ными группами. 48
Обыкновенно понятие изоморфизма высказывают в немного отличной форме. Дело в том, что «переиме- нование» элементов в таблице умножения, о котором шла речь в нашем определении изоморфизма, по суще- ству, сводится к установлению взаимно однозначного соответствия между элементами двух групп. Мы теперь дадим определение изоморфизма, непосредственно исхо- дящее из понятия взаимно однозначного отображения. Определение I. Пусть дано взаимно однознач- ное соответствие между множеством всех элементов группы G и множе- ством всех элементов группы G'. Мы скажем, что это соответствие есть изоморфное соответствие (или изоморфизм) между двумя группами, если выполнено условие сохранения умножения, гласящее: каково бы ни было соотношение вида ё1' ёг~ ёз между элементами одной группы, например, G, соотно- шение, получаемое при замене элементов glf g2, g3 группы G соответствующими им в группе G' элементами g’u ёч> ё’з также оказывается справедливым: g\-g'i — g\- Определение II. Две группы называются изо- морфными, если между ними возможно установить изоморфное соответствие. Примечание. Если требовать, чтобы всегда из равенства ё1’ёг=ёз (в группе G) следовало равенство ё\' ёз~ёз для элементов группы G', соответствующих элементам ёг> ё^ ёз> имеет место и обратное, а именно: если для каких-либо трех элементов g2, g'3 группы G' имеет место соотношение ё1 ’ ё-i — ёз< то для элементов glt g2, ёз группы G, соответствующих элементам g'lt g'2, g3, также выполнено соотношение ёгёг = ёз- (О 49
В самом деле, если Сы соотношение (1) не имело места, то было бы gig^g^go- В силу взаимной однозначности соответствия между G и G’ элементу группы gt соответствует в группе G' элемент g\=£g'3 и в силу нашего предположения из gl'g2=gl должно вытекать gvgi=gl, вопреки тому, что gt ' gi=gi' Теорема. При изоморфном отображении g^g' группы G на группу G' нейтральному элементу одной группы соответствует нейтральный элемент другой группы, и всякой паре взаимно обратных элементов одной группы соответствует пара взаимно обратных элемен- тов другой группы. В самом деле, пусть g0 — нейтральный элемент группы G, и пусть ему при данном изоморфном соот- ветствии между группами G и G' соответствует элемент go группы G’. Докажем, что go есть нейтральный эле- мент группы G'. В самом деле, так как go —нейтраль- ный элемент группы G, то имеем для произвольного элемента g той же группы ggo = g\ в силу изоморфности отображения имеем: g'-g'o = g', откуда и следует, что g(' есть нейтральный элемент группы G’. Пусть gr и g2 — пара обратных элементов в группе G: gi ’ gi = go (где g0 по-прежнему — нейтральный элемент группы G). Отсюда gl ' gi — go- Так как go —нейтральный элемент группы G', то g{ и g2 взаимно обратны. 50
Упражнения. 1) Показать, что группа, состоя- щая из двух элементов а0 и аг с таблицей умножения изоморфна группе поворотов отрезка (вокруг его сере- дины). 2) Доказать, что все группы порядка 2 изоморфны между собой. 3) Доказать, что все группы порядка 3 изоморфны между собой. Решение. Пусть а0, alt а2 — элементы группы; пусть а0 — единичный элемент. Тогда tip ’ @0 ~= ^0» «0 * ^1 == «О * ^2 == ^2* Не может быть, чтобы а1-а1 = а1, так как тогда а^-а^- Итак, • at — а2. Аналогично, Gx ’ ^2 =^= ^2 « ' ^2 ®1" Следовательно, ' ®2 = «О- Таким же точно образом заключаем, что ®2 ‘ = Наконец, поскольку с2-п2#=а2 (так как тогда имели бы а2 = а0) и а2-а2=/=а0 (так как ах-а2 = ао)» то а2 а2 = ох. 51
Итак, для группы порядка 3 возможна лишь одна таблица умножения, а именно: ао «1 а2 «о <'о а2 «1 а2 а2 а2 ао 4) Доказать, что всякая коммутативная группа порядка 4 изоморфна или клейновской группе, или группе поворотов -правильного четырехугольника (две последние группы между собой неизоморфны; почему?). 5) Доказать, что группа всех положительных чисел (с арифметическим умножением в качестве групповой операции) изоморфна группе всех действительных чисел (с арифметическим сложением в качестве групповой операции). Указание: изоморфное отображение осущест- вляется логарифмированием. § 2 1). ТЕОРЕМА КЭЛИ В этом параграфе мы докажем следующее предложение, открытое Кэли* 2). Теорема. Всякая конечная группа изоморфна неко- торой группе подстановок. Доказательство. Пусть G —конечная группа, п — ее порядок, alt а2, ..., ап — ее элементы, среди них —нейтральный элемент. Напишем для каждого 1 = 1, 2, ..., п at • ah аг -аь ..., ап • а,. Все эти элементы различны; число их равно п; зна- чит, это суть те же элементы а,, а2, ..., а,„ но только 1) Читатель, пропустивший § 3 предыдущей главы, должен пропустить и этот параграф. 2) Кэли A. (Cayley) — английский математик (род. 1821, умер 1895) —один из основателей теории групп, 52
записанные в другом порядке, а именно: пусть a2-a; = a,-2, а„-т/; = а1я. Итак, элементу а1 соответствует подстановка Ci • ai а2 а2а; 2 *2 «2 или подстановка — ‘J Л = отличающаяся от подстановки Pt только тем, что в Pt переставляются элементы группы G, а в PJ —взаимно однозначно соответствующие этим элементам их номера. Если i^=k, то Pi=/=Pk, так как в подстановке Pt под элементом at расположен al-ai = ai, а в подста- новке Рк под элементом расположен ах-ак=ак, ak=£at. Итак, имеем взаимно однозначное соответствие между элементами alt аг, ап группы G и подстановками Л, Рг, ..., Рп. Теперь нужно доказать, что во-первых, подстановки Plt р2....Рп образуют группу по отношению к обыч- ному умножению подстановок и, во-вторых, что эта группа изоморфна группе G. Заметим прежде всего: I. Среди подстановок Р1г Р2, ..., Рп содержится тождественная подстановка. В самом деле, так как аг есть, по предположению, нейтральный элемент группы G, то подстановка р _ { а1 а2 аП \ 1 Wi • cti а2 • ai ... ап- aj есть тождественная подстановка. Далее докажем: если ah = a{-ak, то Ph — PtPk. Сначала заметим, что А аь а2 а2 • ак ап \ ап. ‘ / ai -ai \А ' • ик a2 ai a2- Oj • ak an‘ai \ an ' * dkj представляют две записи одной и той же подстановки Рк\ в самом деле, обе записи означают, что каждому элементу а группы G ставится в соответствие элемент а-ак той же группы. л
Итак, мы можем записать р —( ai'ai °2'ai •" ап‘а1 \ * \ai-ai-ak a2-ai-ak ... an-arak)‘ Заметив это, видим, что подстановка PrPh = __/ ai а2 ••• ап \ e f ai ai аъ’СЦ ... ап • aj ~\al-ai a2-ai ... an-ai) [a^ai-ak a2arak ... anarak ап \ ... Qn‘ Qi' Cl kJ на основании общего определения умножения подста- новок тождественна с подстановкой / Gi CI2 W1 ’ ai' ak а2' ai' ak Но если arak = ah, то / Щ а2 \О1-«Гай a2-ai-ak ... ап-агак Т. е. PfPk = Ph. a, Только что доказанное можно сформулировать так: На. Произведению двух элементов группы G соответ- ствует произведение подстановок, соответствующих этим элементам. Отсюда следует: ПЬ. Произведение любых двух из числа подстановок Рг, Р„..., Рп есть одна из подстановок Рх, Р2, ..., Рп. Рассмотрим подстановку Ph элемент at и элемент ajl = ak. Так как at-ak = a1, то по только что доказан- ному Р{-Рк = Р1-, но есть, как мы видели, тождест- венная подстановка, поэтому Pk = Pp. Итак, мы доказали еще одно утверждение. III. Подстановка Pf' для любого i = 1, 2, ..., п есть одна из подстановок Р1г Р2, .... Рп- Из lib, I и III следует, что совокупность подста- новок Plt Р2, .... Рп есть группа при обычном опре- делении умножения подстановок. Из Па следует, что эта группа изоморфна группе G. Теорема Кэли, таким образом, доказана.
ГЛАВА IV ЦИКЛИЧЕСКИЕ ГРУППЫ § 1. ПОДГРУППА, ПОРОЖДЕННАЯ ДАННЫМ ЭЛЕМЕНТОМ ДАННОЙ ГРУППЫ. ОПРЕДЕЛЕНИЕ ЦИКЛИЧЕСКОЙ ГРУППЫ Пусть а — произвольный элемент группы G. Умножим его на себя, т. е. возьмем элемент а а. Этот элемент обозначим через а2. Точно так же обозначим а-а-а через а3 и вообще положим а - а ... а = ап. п раз Рассмотрим, далее, элемент а~1 и обозначим последо- вательно а-1 • а~г через а-2, а-1 а-1 а-1 через а~3, а-1 -а-1... а-1 через а~п. п раз Обозначения эти оправданы тем, что, действительно, ап-ап = 1. Для доказательства последнего утверждения заметим прежде всего, что в случае п = 1 оно очевидно (следует из самого определения а~1). Предположим, что оно верно для п — 1 и докажем в этом предположении его справедливость для п. Имеем ап • а-" = (а • а"-1) (а~ <л“1) • а-1) = а {а'11 • а~ (л-1)} • а'1. Но в силу нашего предположения фигурная скобка равна единице, значит, ап • а~п = а • 1 • а1 = а • tr1 = 1, что и требовалось доказать. 55
Мы определили выражение ап для любого положи- тельного и для любого отрицательного значения п. Положим, наконец, что, по определению, п°=1. Пусть теперь р и 9 —два целых числа. Из наших определений следует, чго для любых целых р и q имеем ар • ц? = ар+9. Мы получаем следующий результат: Множество Н (а) тех элементов группы G, которые могут быть представлены в виде а'1 при целом п с той групповой операцией, которая задана в группе G, обра- зует группу И (а). В самом деле: 1) произведение двух элементов, при- надлежащих И (а), есть опять элемент Н (п); 2) единица принадлежит Н (о); 3) к каждому элементу ат из Н (а) найдется элемент ат, который также принадлежит Н(а). Итак, И (а) есть подгруппа G. Эта подгруппа назы- вается циклической подгруппой группы G, порож- денной элементом а. Поскольку в группе Н (а) ат-ап = amJ,n — ап+т — ап ат, то группа Н (а) коммутативна. Мы определили понятие циклической подгруппы Н(а), порожденной некоторым элементом а данной группы G. Станем теперь на более абстрактную точку зрения и рассмотрим группу И такую, что каждый ее элемент имеет вид ап для некоторого фиксированного элемента а из И и некоторого числа п. Такую группу мы назовем циклической группой, порожденной элементом а, и будем обозначать, как и ранее, Н (а). Теперь нет нужды счи- тать, что группа Н = Н (а) содержится в какой-либо объемлющей группе. Так как группа Н (а) коммутативна, то ее групповую операцию принято записывать на аддитивном языке. Итак, операция в И (а) теперь обозначается-]-, нейт- ральный элемент 0, элемент а -|- а 4- а черй па и т. д. п раз § 2. КОНЕЧНЫЕ И БЕСКОНЕЧНЫЕ ЦИКЛИЧЕСКИЕ ГРУППЫ Группу Н (а) мы определили как состоящую из всех тех элементов, которые могут быть записаны в виде та. При этом мы не ставили вопроса: будут ли Бб
две записи тга и т2а при различных целых mt и /па всегда давать два различных элемента группы Н (а) или же может случиться, что т1а = т2а, хотя т1 и т2 различны? Постараемся разобраться в этом. Пусть существуют два различных между собой целых числа mt и т2 таких, что т1а = т2а. Прибавляя к обеим частям пос- леднего равенства элемент — тга, получим О = (т2 — /?1д) а. Следовательно, существуют такие целые числа т, что та = 0. Так как из /?ш = 0 следует —та = 0, то всегда можно предположить, что число т в равенстве /?ш = 0 поло- жительно. Возьмем теперь среди всех натуральных чисел, удовлетворяющих условию ma = Q, наименьшее и обоз- начим его через а. Имеем а#=0, 2а#=0, .... (а—1)а=£0, ссс = О. Докажем, что все элементы 0 = 0а, а, 2а, ..., (а— 1)« (1) различны между собой. В самом деле, если бы было pa — qa при Q^p<Zq^u — 1, то имели бы, прибавляя к обеим частям последнего равенства по —ра: (q-p)a = 0, а это противоречит определению числа а, так как в наших условиях заведомо 0<Zq — p^a— 1. Итак, все элементы (1) различны между собой. Докажем, что вся группа И (а) исчерпывается элементами (1), т. е., что для любого целочисленного т имеем та = га, причем O^r^a —1. Для этого разделим число т на число а с остатком (по правилу деления целых чисел), а именно—пред- ставим его в виде щ = <7а-|-г, (2) 57
где q есть неполное частное, а г —остаток, удовлетво- ряющий условию1) OsCr <а. Имеем та = (qa г) а = qa • а 4- га, но qa-a = q (аа) = q-0 = 0, значит, та — га. Итак, если существуют два такие числа т1 и т2, что m1a = m2fl, то существует натуральное число а, такое, что вся группа Н (а) исчерпывается а различными между собой элементами: О, а, 2а, ..., (а — 1)а, (3) тогда как аа = 0. Положение получается такое: весь ряд .... —та, ..., —а, 0, а, ..., та, ... представляет собой бесконечное повторение (в обе сто- роны—направо и налево) своего «отрезка» (3). В самом деле, (а + 1) а — аа 4- а = а, (а 4- 2) а = аа 4- 2а = 2а, (2а— 1)а = аа4-(а— 1)а = (а — 1)а, 2ас = 0, (2а 4- 1)а = а и т. д. х) При отрицательном т остаток г при делении на а>0 все же берется положительным. В самом деле, пусть т отрицательно; тогда —т положительно и может быть записано в виде —m—q'a-^-r', Osgr'<a, где <?' и г' — неотрицательные. Тогда т = — q'a—г' =—(tj'-j-l) a4- 4-(а —г') В этих условиях число — (<?'+ 1) называется неполным частным от деления отрицательного числа т на положительное число а, а неотрицательное число г—а— r'<a называется остатком при этом делении. Более подробно см. об этом § 2 гл. VII. 58
И аналогично в левую сторону: — а = аа — а = (а — 1) о, — 2а = аа — 2а = (а — 2) а, — (а — 1)а = аа — (а — 1)а=о, — сш = 0 и т. д. Чтобы найти, какой именно элемент группы Н (а) мы получаем, взяв сумму а + а+... 4- а = та т раз ИЛИ (— а) + (— а) + ..+(—«) = — та, т раз надо разделить т (или —т) на а. Неотрицательный остаток г, полученный при этом делении, OigriCa—1 и дает нам ответ на наш вопрос: та = га. Отсюда также ясно, как складываются элементы группы Н (а): ра-\- qa = (р + q) а = га, где г есть остаток при делении p + на “• Рассмотрим теперь правильный а-угольник; централь- ный угол, опирающийся на сторону нашего многоуголь- ника, есть Многоугольник переходит сам в себя при поворотах на углы: О («тождественный» поворот), <р, 2<р, ..., (а — 1)<р. Если считать тождественными повороты, отличающиеся друг от друга на целое число полных оборотов, то никакие другие повороты, кроме перечисленных а, не переводят наш многоугольник в самого себя. При этом композиция поворота на угол р<р и поворота на угол q<p есть поворот на угол г<р, где г есть остаток при делении p + q на а. Мы видим: если повороту нашего многоугольника на угол т<р поставить в соответствие элемент та груп- 59
пы Н (а), получается изоморфное отображение группы И (а) на группу поворотов правильного ос-угольника. Группы, изоморфные группам поворотов правильных многоугольников, называются конечными цикличе- скими группами. Итак, если туа — тм для некоторых тг и m.t, то конечная группа Н (а) есть конечная циклическая группа. Таблица сложения для циклической группы поряд- ка т имеет вид Таблица 5 ао <h а2 а3 ... ат-1 ав ая а3 ат-1 С1 а2 а3 о4 ао «2 а-2 а3 ая а6 at а3 а3 Oi а5 а6 а2 • • • • • ::: • °т-з ат з ат 2 ат-1 °0 ... ат t ат-2 ат-2 ат-1 ао «1 ... ат-з ат-1 Gm~l Со а1 а2 ат~2 Эта таблица сложения может служить вторым опреде- лением циклической группы порядка т. * * * Мы исследовали случай, когда для данного элемен- та а группы И (а) имеются два таких целых числа т1 и пг2, что m1a = m2n. Рассмотрим теперь случай, когда таких двух целых чисел нет, т. е. когда все элементы ..., —та, —(т — 1)а, —За, —2а, —а, 0, а, 2а, За, ..., та, ... (4) различны. Элементы (4) находятся в этом случае во взаимно однозначном соответствии с целыми числами: со
элементу та соответствует целое число т и обратно. Если при этом тщ + т2а = т3а, то m1 + m2 = m3. Отсюда следует, что наше взаимно однозначное соот- ветствие есть изоморфное соответствие между группой Н (а) и группой всех целых чисел. Группы, изоморфные группе целых чисел, называются бесконечными циклическими группами. Далее, так как две группы А и В, изоморфные одной и той же группе С, очевидно, изоморфны между собой, то все бесконечные циклические группы между собой изоморфны. Изоморфны между собой (по той же причине) и все конечные циклические группы одного и того же порядка т. § 3. СИСТЕМЫ ОБРАЗУЮЩИХ Вернемся на время к циклической группе Н (а), порожденной элементом а группы G. Элемент а в том смысле порождает группу Н(а), что всякий ее элемент является произведением нескольких сомножи- телей1), каждый из которых есть или а или а1. Вместо того чтобы говорить: элемент а порождает группу Н (а), часто говорят: элемент а есть образующий элемент группы Н (а). Однако не всякая группа есть циклическая, не вся- кая группа порождается одним элементом — нецикли- ческие группы порождаются не одним, а с необходимостью несколькими (иногда бесконечным числом) элементами; понятию одного образующего элемента приходит на смену понятие системы образующих2). Определение. Некоторое множество Е элементов группы G называется системой образующих этой группы, если всякий элемент группы G есть произве- дение конечного числа сомножителей, каждый из которых либо есть элемент множества Е, либо является обрат- ным некоторому элементу множества Е. 1) В «аддитивной» терминологии: суммой нескольких слагаемых. 2) Очевидно, совокупность всех элементов какой-нибудь группы есть (тривиальная) система образующих этой группы. Итак, всякая группа имеет систему образующих. 61
Пример. Рассмотрим плоскость с выбранной на ней системой декартовых координат. Обозначим через G множество тех точек Р = (х, у), обе координаты кото- рых х и у — суть целые числа. Установим следующее правило сложения точек: суммой двух точек Рг — (хп yj и Р2 = (х2, у2) называется точка Р3 = (х3, у3) с координа- тами х3 — хг-]-х2 и У3~У1Л-У2- Читатель сам легко убедится, что это определение сложения превращает множество G в коммутативную группу и что точки (0, 1) и (1; 0) составляют систему образующих этой группы. Замечание. Читатель, знакомый с понятием комплексного числа, сразу поймет, что только что построенная группа изоморфна группе целых комплекс- ных чисел (со сложением в качестве групповой опера- ции). При этом комплексное число x-^-iy называется целым, если х и у суть целые числа. Задача. Доказать, что всякая система натураль- ных чисел, наибольший общий делитель которых равен единице, есть система образующих группы всех целых чисел.
ГЛАВА V ПРОСТЕЙШИЕ ГРУППЫ САМОСОВМЕЩЕНИЙ § 1. ПРИМЕРЫ И ОПРЕДЕЛЕНИЕ ГРУПП САМОСОВМЕЩЕНИЙ ГЕОМЕТРИЧЕСКИХ ФИГУР А* А Рис. 2. 1. Самосовмещения правильных много- угольников в их плоскости. Обширный и очень важ- ный класс разнообразных групп как конечных, так и бесконечных составляют группы «самосовмещенин» гео- метрических фигур. Под самосовмещением данной геометрической фигуры F понимают такое перемещение фигуры F (в пространстве или на плоскости), которое переводит F в самое себя, т. е. совмещает фигуру F с самой собой. Мы уже познакомились с простейшими группами самосовмещенин, а именно: с группами поворотов пра- вильных многоугольников. Пусть дан в плоскости правильный многоугольник АоА,^... Ап (рис. 2), напри- мер, правильный восьмиу- гольник А0А1 ДА3А4А,АА (вершины все перенумеро- ваны подряд в одном на- правлении, например, про- тив часовой стрелки). Требуется найти те перемещения в его плоскости, которые совмещают его с самим собой. При этом перемещении всякая вершина многоугольника должна перейти в вершину, всякая сторона —в сто- рону, а центр многоугольника — в самого себя. Пусть многоугольника 63
при некотором определенном перемещении вершина А перейдет, положим, в А (на рисунке k = 4). Тогда сторона АА должна перейти либо в сторону AkAk¥l либо в сторону А А-г Но если бы сторона АА перешла в сторону AkAk-lt то треугольник AoAfi пере- шел бы в треугольник А^А^О. Этот последний тре- угольник можно было бы, передвигая его в плоскости, перевести в положение A()Afi', являющееся зеркаль- ным отражением треугольника А^О относительно сто- роны АА- В результате оказалось бы, что мы тре- угольник ААО перемещением в его плоскости перевели в его зеркальное отражение, а это невозможно ’). Итак, сторона АА Должна перейти в сторону АА+г Точно таким же образом мы убеждаемся в том, что сторона A1Ai переходит в A+iA+2, сторона А А переходит в А^А^ и т. д. Другими словами, наше перемещение есть поворот многоугольника в его пло- скости на угол Итак, мы показали, что: а) всякое самосовмсщение правильного п-угольника в его плоскости есть поворот многоугольника на угол 2л k~, где k —целое число’, б) таким образом, самосовмещений имеется п; в) эти самосовмещения, как мы знаем, образуют группу. 2. Самосовмещения правильного многоугольника в трехмерном пространстве. Предыдущее рассуждение существенно предполагало, что мы рассматриваем лишь самосовмещения многоугольника в его плоскости. Если бы мы рассматривали совмещения п-угольника с самим собой в пространстве, то к перечисленным поворотам прибавились бы еще «опрокидывания» много- угольника, т. е. повороты на угол 180° вокруг осей симметрии многоугольника. Осей симметрии правиль- ный n-угольник имеет п: в случае четного п осями сим- п метрии являются у прямых, соединяющих пары про- п тивоположных вершин многоугольника, и — прямых, соединяющих середины его противоположных сторон; 1) Строгое доказательство этой невозможности, являющейся одним из основных фактов геометрии плоскости, выходит за рамки этой книги. 64
в случае нечетного п оси симметрии суть прямые, со- единяющие вершины с серединами противоположных сторон многоугольника. Доказательство того, что п поворотами и п «опрокидываниями» правильного н-уголь- иика исчерпываются все самосовмещения п-угольника, т. е. все перемещения его в пространстве, переводящие многоугольник в самого себя, по существу, содержится в рассуждениях § 3 этой главы. Читателю предлагается вернуться к этому вопросу по прочтении указанно- го параграфа и еще раз продумать все вопросы, свя- занные с самосовмещениями правильных многоуголь- ников. 3. Общее определение группы самосовмещений дан- ной фигуры в пространстве или на плоскости. Пусть в пространстве или на плоскости дана фигура F. Рас- смотрим все самосовмещения этой фигуры, т. е. все перемещения ее (в пространстве или на плоскости), со- вмещающие эту фигуру с нею самой. В качестве произведения g±-g2 двух самосовмеще- ний gi и g2 определим перемещение, возникающее в результате последовательного совершения сначала перемещения g2, а потом перемещения gx. Очевидно, что перемещение gt g2 также является совмещением фигуры F с собой, в предположении, что перемеще- ния gj и g2 порознь являются таковыми. Совокупность всех самосовмещений фигуры F с только что определенной операцией произведения образует группу. В самом деле, умножение перемещений удов- летворяет условию ассоциативности; далее, в совокуп- ности самосовмещений имеется единичное, или тожде- ственное, самосовмещение (именно, «покой», т. е. пере- мещение, оставляющее каждую точку фигуры на месте). Наконец, к каждому самосовмещению g имеется обрат- ное ему самосовмещение g1 (передвигающее каждую точку назад, в исходное положение, из положения, которое оно заняло после перемещения g). § 2. ГРУППЫ САМОСОВМЕЩЕНИЙ ПРЯМОЙ И ОКРУЖНОСТИ Группы самосовмещений правильных мно- гоугольников — конечны. В этой же главе мы познако- мимся и с другими конечными группами самосовмеще- ний, а именно, с группами самосовмещений некоторых 3 П. С. Александров 65
многогранников. А сейчас дадим несколько примеров бесконечных групп самосовмещений. Первый пример— группа всех самосовмещений пря- мой в какой-либо проходящей через нее плоскости. Эта группа состоит: из скольжений прямой по себе (самосовмещения первого рода) и из поворотов прямой в выбранной плоскости на угол 180° вокруг любой из ее точек (самосовмещения второго рода). Группа самосовмещений прямой некоммутативна. Чтобы убедиться в этом, достаточно перемножить два самосовмещения, из которых одно первого, а дру- гое — второго рода: результат этого перемножения изме- нится при изменении порядка сомножителейJ). Оче- видно, все самосовмещения второго рода можно получить, перемножая (т. е. последовательно осуществляя) всевоз- можные скольжения прямой с одним каким-нибудь пово- ротом на 180° (т. е. поворотом на 180° вокруг одной определенной, но произвольно выбранной точки этой прямой). Скольжения прямой по самой себе составляют под- группу всех ее самосовмещений. Эти скольжения суть единственные перемещения прямой самой по себе. Каждому скольжению прямой самой по себе взаимно однозначным образом соответствует некоторое действи- тельное число, указывающее, на какую длину и в каком из двух возможных направлений мы сдвинули прямую по ней самой. Отсюда легко заключить, что группа всех скольжений прямой по самой себе изоморфна груп- пе действительных чисел (с операцией обыкновенного арифметического сложения в качестве групповой опе- рации). В качестве второго примера рассмотрим группу всех самосовмещений окружности в ее плоскости. Эта группа состоит из всевозможных поворотов окружности в ее плоскости вокруг ее центра, причем, как всегда, повороты на углы, кратные 2л, считаются тождествен- ными. Каждому элементу нашей группы соответст- вует, таким образом, определенный угол <р. Измеряя этот угол в отвлеченной (радианной) мере, мы получим !) Читателю рекомендуется фактически убедиться в этом, взяв два каких-нибудь определенных самосовмещения первого и второго рода и построив их произведение для одного и другого порядка сомножителей. 66
действительное число х. Но, так как углы, отличаю- щиеся на целочисленные кратные 2л, определяют один и тот же поворот окружности, то каждому элементу группы поворотов окружности соответствует не только данное число х, но и все числа вида х4-2л-&, где Л —любое целое число. С другой стороны, каждому действительному «телу х соответствует единственный вполне определенный пово- рот окружности, а именно: поворот на угол, отвлечен- ная мера которого равна х. Таким образом, между поворотами окружности и действительными числами установлено следующее соответствие: каждому дейст- вительному числу х соответствует один-единственный вполне определенный поворот, а именно поворот на угол х. Но при этом каждый поворот оказывается по- ставленным в соответствие не одному, а бесконечно- му множеству действительных чисел, которые все отличаются друг от друга на целочисленные крат- ные 2л. Группа поворотов окружности обозначается SO (2). Все только что рассмотренные группы, а именно: группы самосовмещений прямой и окружности, имеют следующие особенности: все эти группы состоят из перемещений соответствующей фигуры в себе. Другими словами, в течение каждого перемещения вся фигура — окружность, прямая — остается совмещенной с самой собой. Это свойство не имеет места при самосовмеще- ниях правильных многоугольников: при этих послед- них конечное положение перемещающейся фигуры совме- щено с начальным, но промежуточные положения, кото- рые фигура занимает в процессе перемещения, отли- чаются от ее начального и конечного положений. Таково же положение вещей и при перемещениях многогранников, к которым мы сейчас переходим. § 3. ГРУППЫ ПОВОРОТОВ ПРАВИЛЬНОЙ ПИРАМИДЫ И ДВОЙНОЙ ПИРАМИДЫ 1. Пирамида. Группа поворотов правиль- ной (рис. 3) n-угольной пирамиды (вокруг ее оси), очевидно изоморфна группе поворотов правильного n-угольника, лежащего в ее основании; эта группа есть, таким образом, циклическая группа порядка п. Легко убедиться, что поворотами пирамиды вокруг оси 3* 67
I n 2л . ,. 2л\ (на углы 0, —, (n-1) —I исчерпываются все пе- ремещения, совмещающие пирамиду с самой собой. 2. Двойная пирамида (диэдр). Определим теперь группу самосовмещений тела, «двойной правильной п-уголь- ной пирамиды» или п-уголь. ного диэдра (рис. 4). Это тело состоит из пра- вильной п-угольной пирамиды известного под названием и ее зеркального отражения в плоскости основания. Мы сейчас докажем, что группа самосовмещений диэдра состоит из следующих элементов: 1) поворотов вокруг оси пирамиды (на углы О, 2) так называемых опрокидываний, т. е. поворотов на угол л вокруг каждой из осей симметрии «.основания диэдра», т. е. правильного многоугольника, являющегося общим основанием обеих пирамид, составляющих диэдр. Таких осей симметрии имеется, как мы видели, п, так что перемещений второго рода имеется тоже п. Число всех полученных перемещений есть, таким образом, 2п. Чтобы убедиться в том, что (за исключе- нием случая п = 4) не имеется никаких других пере- мещений, переводящих n-угольный диэдр в самого себя, заметим прежде всего, что в случае п =/= 4 всякое совме- щение диэдра с самим собой должно либо оставлять на месте точки $ и S' (самосовмещения первого рода), либо менять их местами (самосовмещения второго рода). Далее, основание диэдра должно переходить при таком 68
перемещении в самого себя. Заметим, наконец, что произведение (т. е. последовательное осуществление) двух самосовмещений первого рода дает самосовмеще- ние первого рода, произведение самосовмещений пер- вого рода с самосовмещениями второго рода дает само- совмещение второго рода, а произведение двух само- совмещений второго рода дает самосовмещение первого рода. При этом произведение двух самосовмещений, из которых одно — первого, а другое — второго рода, зави- сит от порядка сомножителей: если а — самосовмеще- ние первого, а b — самосовмещение второго рода, то ab = Ьа1. Рассмотрим сначала самосовмещения первого рода. При таких самосовмещениях основание переходит в само себя, оставаясь в своей плоскости; оно испытывает, таким образом, поворот на один из углов: „ 2л , ,. 2л О, —, .... (П— 1)—. ’ п ' ' п Таким образом, и все перемещение диэдра оказы- вается поворотом вокруг оси диэдра на тот же угол. Итак, самосовмещений первого рода имеется (вклю- чая тождественное самосовмещение, т. е. покой) ровно п. Эти самосовмещения суть не что иное, как повороты диэдра вокруг его оси на углы Пусть дано некоторое вполне определенное самосов- мещение второго рода, т. е. такое самосовмещение диэдра с самим собой, при котором вершины S и S' меняются местами. Произведем после данного самосовмещения второго рода некоторое вполне определенное опрокидывание диэдра, т. е. перемещение, заключающееся в повороте диэдра на угол л вокруг одной какой-нибудь, раз на- всегда выбранной, оси симметрии основания. Получим самосовмещение первого рода1), т. е. поворот диэдра вокруг его оси. !) В самом деле, этот поворот есть самосовмещение второго рода, а произведение двух самосовмещений второго рода есть самосовмещение первого рода. 69
Итак, всякое самосовмещение второго рода перехо- дит после одного и того же опрокидывания в неко- торое самосовмещение первого рода. Отсюда следует легко: всякое самосовмещение второго рода можно получить, производя (до или после некоторого самосо- вмещения первого рода) одно и то же опрокидывание. Отсюда, далее следует,что число самосовмещений второго рода равно числу самосовмещений первого рода,т. е. п. С другой стороны, ясно, что все опрокидывания являются самосовмещеннями второго рода. Так как этих опрокидываний имеется ровно п, то ими, оче- видно, и исчерпывается вся совокупность самосовмеще- ний второго рода. Итак, мы доказали следующее: группа самосовмеще- ний, п-угольного диэдра есть некоммутативная группа порядка 2п, состоящая из п поворотов вокруг оси диэдра SS' и из п опрокидываний, т. е. поворотов на угол л вокруг осей симметрии основания диэдра. Все п опро- кидываний получаются умножением одного из них на п поворотов диэдра вокруг его оси SS'. Так как все повороты диэдра вокруг его оси полу- чаются умножением с самим собой одного поворота — 2л именно, поворота на угол —, то группа всех самосо- вмещений имеет систему образующих из двух элементов: поворота на угол — и одного какого-нибудь опрокиды- вания. Случай п = 4 является особым потому, что частным случаем четырехугольного диэдра является октаэдр, допускающий не 8, а как мы увидим ниже, 24 само- совмещения. Это объясняется тем, что при самосовме- щении некоторых четырехугольных диэдров, а именно правильных октаэдров, вершина S может совмещаться не только с вершиной S', но и с каждой из вершин основания. Одно из необходимых для этого условий — одинаковое число граней (а также и ребер), примыкаю- щих к каждой вершине, выполнено, очевидно, в случае любого четырехугольного диэдра. В случае правиль- ного октаэдра и все углы, телесные и плоские, при любых двух вершинах оказываются соответственно рав- ными так же, как и сами грани и ребра. 3. Случай вырождения: группы поворотов отрезка и ромба. Наименьшее число вершин, которое может 70
иметь многоугольник, есть 3; в известном смысле, однако, отрезок может рассматриваться как случай «вырождения» многоугольника, или, если угодно, как «многоугольник с двумя вершинами». Возможность такой точки зрения, в частности, под- тверждается тем, что группа самосовмещений отрезка в какой-нибудь плоскости, содержащей его, есть цикли- ческая группа, и притом порядка 2: она, очевидно, состоит из тождественного самосовмещения и из пово- рота отрезка на угол 180°. Подобно этому равнобедренный треугольник будет случаем вырождения правильной пирамиды: группа самосовмещений равнобедренного треугольника в про- странстве также есть группа порядка 2. Далее, вырождением диэдра или двойной пирамиды будет, очевидно, ромб. Группа самосовмещений или поворотов ромба (в пространстве) состоит из четырех элементов: из тождественного преобразования с0, из поворотов и й2 вокруг каждой из диагоналей ромба на 180° и из поворота аа ромба в его плоскости вокруг его центра на 180° (этот поворот есть произведение двух предыдущих) *). Таблица умножения для нашей группы имеет вид: 01 О2 Оз а0 ао 01 О2 Оз «1 01 Oj О3 02 а2 о2 Оз О0 01 о3 а3 о2 01 О0 Она совпадает с таблицей умножения клейновской группы порядка 4, приведенной нами в качестве второго 1) Рассматривая одну из диагоналей ромба как «основание», другую —как ось диэдра, мы получим эти четыре перемещения из поворотов вокруг «оси» (на угол л) и «опрокидывания» отно- сительно основания. 71
примера в гл. I, § 2, п. 4. В этом легко убедиться непосредственно, а еще проще —рассматривая вместо группы самих поворотов ромба изоморфную ей группу подстановок его четырех вершин А, В, С, D: очевидно, поворотам а0, alt а2, а3 соответствуют следующие под- становки вершин1 2): /А В С D \ABCD \ (А В С D /’ \В А С D \ /А В С D\ (А В С D\ )’ \ABDCJ' \BADC]- § 4. ГРУППА ПОВОРОТОВ ПРАВИЛЬНОГО ТЕТРАЭДРА 2) Для определения всех самосовмещений тетраэдра АпА1А2А3 (рис. 5) рассмотрим сначала те из них, которые одну определенную вершину, пусть на- Рис. 5. и ^.Обозначим теперь О пример До, оставляют непод- вижной. Такие самосовмеще- ния совмещают и треуголь- ник Д,Д2Л3 с самим собою, поворачивая его вокруг его центра Во на один из углов г. 2л 4л О, -у, -у. Отсюда следует, что самосовмещений тетраэд- ра А0А1А2А3, оставляющих вершину Ло на месте, име- ется ровно три: тождествен- ное самосовмещение а0, оста- вляющее на месте все эле- менты тетраэдра, и два пово- рота а, и аа вокруг оси А0В0 2л соответственно на углы -у через Xi какое-нибудь опреде- ленное самосовмещение тетраэдра, переводящее верши- 1) Мы принимаем за аг поворот вокруг диагонали CD, за с2 — поворот вокруг диагонали АВ. 2) Под тетраэдром здесь и везде дальше понимаем правильный тетраэдр. 72
ну Ло в вершину Л, 1 = 1, 2, З1); через х0 обозна- чим снова тождественное самосовмещение. Докажем, что всякое самосовмещение b тетраэдра может быть записано в виде b = arxk, (1) где i = 0, 1, 2 и k = 0, 1, 2, 3 являются однозначно определенными (последнее утверждение означает, что если b = ai-x/l, Ь' = ае--хк- и по крайней мере одно из неравенств i =£i', k=£ k' имеет место, то непременно Ь^=Ь'). Итак, пусть дано какое-нибудь самосовмещение Ь\ оно переводит вершину Ао в некоторую определенную вершину Ак, где k = Q, 1, 2, 3; но тогда самосовмеще- ние Ьхк1 оставляет вершину Ао на месте и есть следо- вательно, некоторое вполне определенное а{, так что bxkl = at и b = atxk, где i и k определены однозначно. Так как и обратно каждой паре (i, k) соответствует по записи (1) некоторое самосовмещение тетраэдра, то имеется взаимно однозначное соответствие между всеми самосовмещениями тетраэдра и всеми парами (i, k), где i принимает значения 0, 1, 2, а & —значения 0, 1, 2, 3. Отсюда следует, что имеется ровно 12 самосовме- щений тетраэдра. Каждое самосовмещение тетраэдра означает некото- рую подстановку его вершин, т. е. некоторую подста- новку их номеров 0, 1, 2, 3. Но всех подстановок из четырех элементов имеется 24; из них, как мы сейчас видели, только 12 осуществляются перемещениями тет- раэдра в пространстве. Посмотрим, какие это переме- щения и какие подстановки. Назовем для краткости граневой медианой тетраэдра прямую, проходящую через какую-нибудь вершину Лг тетраэдра и через центр Bt грани, противоположной этой вершине. Реберной медианой назовем прямую, проходящую через середины двух каких-нибудь взаимно противоположных ребер тетраэдра. Каждой граневой медиане соответствует два нетож- дественных самосовмещения тетраэдра, именно: пово- !) Вершина Ао переводится в Ак и А3, например, посредством поворотов вокруг оси 4аВа (соединяющей вершину А2 с центром противоположной грани); Ао переводится в А2, например, посред- ством поворота вокруг оси А3В3. 73
роты вокруг этой медианы на углы -g- и -у. Всего, таким образом, получаем восемь поворотов, которые в виде подстановок номеров записываются так: /О 1 2 3\ _/0 1 а1~ (О 2 3 1/’ G2~\0 3 /0 1 2 3\ /0 1 °4 V3 1 0 2/’ а’° U 3 /0 1 2 3\ °7 2 0 3 ’ 2 3\ _/0 1 2 3\ 1 2/’ йз-\2 1 3 0/’ 2 3\ /0 1 2 3\ 2 0/’ °4 — \3 0 2 1/’ /0 1 2 3\ в —\2 0 1 ЗГ Вокруг каждой реберной медианы имеем один нетож- дественный поворот на угол л, что дает нам (так как реберных медиан имеется три ) еще три поворота, запи- сываемых в виде подстановок: /0 1 2 3\ /0 1 2 3\ /0 1 2 3\ °9 —\1 0 3 2/’ С10 — \2 3 0 1/’ °11 —\3 2 1 0/‘ (3) Эти 11 поворотов вместе с тождественным самосовме- щением («тождественным поворотом») а0 и дают нам все 12 самосовмещений тетраэдра. Каждое из них яв- ляется поворотом вокруг одной из семи осей симмет- рии 4) тетраэдра; поэтому группу самосовмещений и называют группой поворотов тетраэдра. Легко проверить, что все подстановки (2) и (3) — четные; так как всех четных подстановок из четырех элементов (вершин тетраэдра) имеется 12, то перед нами взаимно однозначное и, очевидно, изоморфное соответствие между группой поворотов тетраэдра и знакопеременной группой подстановок из четырех эле- ментов. Посмотрим теперь, каковы подгруппы группы пово- ротов тетраэдра. В ней, как и во всякой группе, имеются прежде всего две так называемые несобственные подгруппы: это, во-первых, вся рассматриваемая группа и, во-вто- т) Эти семь осей симметрии суть четыре граневые и три ребер- ные медианы тетраэдра. В широком смысле слова осью симмет- рии геометрической фигуры называется всякая прямая, вокруг которой фигуру можно повернуть на отличный от нуля угол таким образом, что она совместится сама с собой. Заметим в связи с этим, что всякое перемещение твердого тела в пространстве, оставляю- щее неподвижной какую-либо точку О этого тела, является пово- ротом этого тела вокруг некоторой оси, проходящей через точку О. 74
рых, подгруппа, состоящая из одного нейтрального элемента. Нас интересуют остальные, так называемые собственные1) подгруппы поворотов тетраэдра. Их имеется восемь. Прежде всего заметим, что произведение поворотов на угол л вокруг двух различных реберных медиан дает нам поворот на тот же угол л вокруг третьей реберной медианы (в этом можно убедиться как геометрически, так и непосредственным умноже- нием двух каких-нибудь из подстановок (3)). Отсюда следует, что повороты на угол л вокруг всех трех реберных медиан образуют вместе с тождественным поворотом группу, очевидно, четвертого порядка; она изоморфна клейновской группе (т. е. группе всех пово- ротов ромба). Эту группу обозначим через Н. Среди всех подгрупп группы поворотов тетраэдра она имеет наибольший порядок. В ней содержатся три подгруппы второго порядка, состоящие из поворотов на углы 0 и л вокруг каждой данной реберной медианы. Эти под- группы обозначим через Н01, Н02, Нт. Кроме указан- ных групп имеются еще четыре подгруппы третьего порядка, именно: Hh i = 0, 1, 2, 3, состоящие каждая л 2л 4л из трех поворотов на углы 0, -у, -у вокруг соответ- ствующей граневой медианы. Для того чтобы доказать, что никаких других под- групп в группе поворотов тетраэдра нет, достаточно показать, что любые два отличных от нуля элемента, взятые из двух различных групп Hi или взятые один из какой-либо группы Hi, а другой из какой-либо группы H8k, уже дают систему образующих всей группы поворотов тетраэдра. Для этого в свою очередь доста- точно рассмотреть любые два элемента из числа эле- ментов йц с3, я6, а7, например, аг и а3, а также какой- нибудь из элементов а2, а4, ае, а8 и какой-нибудь из элементов as, а10, ап. Читателю рекомендуется провести доказательство геометрически, а именно: показать, что каждый поворот тетраэдра может быть получен умно- жением любой упомянутой пары поворотов. Можно достигнуть того же результата и непосредственно вычислениями. Следующие тождества доказывают, на- пример, что элементы и а3 составляют систему обра- !) Подгруппа // группы G называется собственной, если она содержит по крайней мере два элемента и Н =/= С. 75
зующих группы поворотов тетраэдра: a0 = a1ai1, а.^ащ.ущ1, a2 = al, as-=a\as, cii = al, a9 = йз ‘a^l, a6 = йз'а^з, al0 = dT‘a3, a3 = a3lal = a3, a11=a3al. He следует думать, что каждый элемент единствен- ным образом выражается через образующие; например, а7 = а^а^щ1 и в то же время а7 — а31аГа3ага3. Группа поворотов тетраэдра некоммутативна. Например, «1«3 ~ «ю, «3«1 «11 • Упражнение. Читателю рекомендуется доказать следующую общую теорему: некоторое множество Е элементов группы G тогда и только тогда является системой образующих этой группы, когда не существует никакой собственной подгруппы группы G, которая содержала бы все элементы множества Е. Пользуясь этой теоремой, найти все системы обра- зующих группы поворотов тетраэдра (состоящие не более чем из трех элементов каждая). Уже из этого примера будет видно, как много различных систем образующих может иметь конечная группа. § 5. ГРУППЫ ПОВОРОТОВ КУБА И ОКТАЭДРА !) 1. Для того чтобы установить все самосовме- щения куба, поступим так же, как и в случае тетраэдра: рассмотрим сначала лишь те самосовмещения куба ABCDA'B'C'D' (рис. 6), которые одну из вершин,— пусть А,— совмещают с самой собой. При каждом самосовмещений куба вершина пере- ходит в вершину, ребро в ребро, грань в грань; также и диагонали куба переходят в самих себя. Если данное самосовмещение оставляет вершину А непод- вижной, то оно оставляет неподвижной и диагональ АС (так как существует лишь одна диагональ куба, х) Так же как и в случае тетраэдра, мы везде под октаэдром разумеем правильный октаэдр, 76
выходящая из вершины Л). Итак, наше самссовмещение есть поворот куба вокруг диагонали АС. Таких поворотов, кроме тождественного, имеется два: на 2зт 4л угол и па угол О о Итак, имеется всего три самосовмещения куба, переводящих вершину Л в саму себя. Но вершину Л надлежаще подобранным поворотом можно перевести в каждую из восьми вершин куба; отсюда, повторяя те же рассуждения, что и в случае тетраэдра, легко выводим, что всех само- совмещений куба имеется 3 • 8 = 24. Постараемся опреде- лить каждое из этих са- мосовмещений. Заметим прежде всего, что у куба имеются следующие 13 осей симметрии: четыре диаго- нали, три прямые, соеди- няющие попарно середины граней куба, шесть пря- мых, соединяющих попар- но середины противополож- ных ребер куба. Вокруг каждой из четырех диаго- налей имеется два нетож- дественных поворота куба, совмещающих куб с са- мим собой, всего имеем восемь поворотов вокруг ди- агоналей. Вокруг каждой из прямых, соединяющих центры противоположных граней куба, имеется три нетождест- венных поворота. Следовательно, всего таких пово- ротов 9. Наконец, имеем один нетождественный поворот (на угол л) вокруг прямой, соединяющей середины двух противоположных ребер; общее число этих пово- ротов равно, следовательно, шести. Итак, имеем 8 + 9 + 6 = 23 нетождественных пово- рота, совмещающих куб с самим собой. Если присое- динить к ним еще тождественный поворот, получим 24 самосовмещения, т. е. все самосовмещения куба, какие только имеются. 77
Итак, поворотами куба вокруг его осей симметрии исчер- пываются все его самосовмещения. Поэтому, так же как и в случае тетраэдра, группа самосовмещений куба обычно называется группой поворотов куба. Прежде чем идти дальше в изучении строения группы поворотов куба, докажем следующую лемму: Лемма. Единственный поворот куба, переводящий каждую из его четырех диагоналей в самое себя, есть тождественный поворот 1). В самом деле, заметим сначала, что всякий пово- рот, переводящий в себя какие-нибудь две диагонали куба, положим, АС и DB', — переводит в себя и диа- гональную плоскость ADCB' (см. рис. 6). Всякий нетождественный поворот, переводящий в себя неко- торую плоскость, имеет своей осью либо прямую, лежа- щую в данной плоскости, —в этом случае угол пово- рота равен л, либо прямую, перпендикулярную к этой плоскости. Но поворот плоскости на угол л вокруг оси, лежащей в этой плоскости, переводит в самих себя, кроме оси поворота, лишь прямые, пер- пендикулярные к этой оси. Так как прямоугольник ADCB' не есть квадрат, то диагонали его, не будучи взаимно перпендикулярными, не могут переходить каждая в себя саму при повороте вокруг какой бы то ни было оси, лежащей в плоскости прямоугольника. Итак, АС и DB' могут переходить в самих себя лишь при поворотах куба вокруг оси, перпендикуляр- ной к плоскости ADCB'. Такой осью является прямая MN, соединяющая середины сторон A'D' и ВС. Един- ственный нетождественный поворот куба вокруг пря- мой MN есть поворот на угол л. Значит, только при этом повороте каждая из диагоналей АС и DB' пере- ходит в саму себя. Но при этом повороте две другие диагонали BD' и СА' меняются местами, так что нетождественного поворота, переводящего в самих себя все четыре диагонали куба, вовсе нет. г) Не следует упускать из виду следующее обстоятельство: если при данном повороте куба данная диагональ, положим АС', переходит в самое себя, то это не значит, что вершины, опреде- ляющие эту диагональ (в нашем случае вершины А и С'), непре- менно остаются неподвижными: они могут поменяться местами (т. е, А может перейти в С, а С' в 71), 7д
Таким образом, при каждом нетождественном пово- роте куба четыре его диагонали испытывают нетож- дественную подстановку. Отсюда следует: при двух различных поворотах а и b диагонали испытывают различные подстановки, так как если бы при поворо- тах а и Ь происходила та же самая подстановка диа- гоналей, то при повороте акт1 все диагонали остава- лись бы на месте, и значит, atr1 было бы тождествен- ным поворотом, а потому повороты а и b совпадали бы между собой. Итак, всем 24 различным поворотам куба соответст- вуют различные подстановки четырех диагоналей, про- изводимые этими поворотами. Но всех различных под- становок из четырех элементов имеется, как известно, 1 -2-3-4 = 24. Отсюда следует: между группой всех поворотов куба и группой всех подстановок его четырех диаго- налей имеется взаимно однозначное соответствие. Так как при установленном нами соответствии произведе- нию поворотов соответствует, очевидно, произведение подстановок *), то имеем следующую теорему: Группа поворотов куба изоморфна группе всех под- становок из четырех элементов. Средн подгрупп поворотов куба отметим прежде всего циклические подгруппы второго, третьего и чет- вертого порядков, состоящие соответственно из пово- ротов вокруг каждой из 13 осей симметрии куба. Циклических подгрупп второго порядка шесть (по числу осей, соединяющих середины двух противопо- ложных ребер), циклических подгрупп третьего порядка четыре (по числу диагоналей), циклических подгрупп четвертого порядка имеется три (по числу соединяю- щих центры противоположных граней). Значительно больший интерес представляют сле- дующие перечисленные ниже подгруппы. а) Подгруппа двенадцатого порядка, состоящая из поворотов переводящих в себя (одновременно) каждый !) Ведь произведение двух поворотов состоит в последователь- ном осуществлении этих поворотов, произведение подстановок— в последовательном осуществлении этих подстановок, тогда как взаимно однозначное соответствие между поворотом и подстанов- кой диагоналей заключается в соответствии данного поворота с фактически производимой им подстановкой диагоналей, 79
из двух тетраэдров ACB'Dr и BDA'C (рис. 7), впи- санных в куб. Эта подгруппа состоит из 2-4 = 8 нетождественных поворотов вокруг диагоналей куба, из трех поворотов, каждый на угол л, вокруг осей, соединяющих центры противоположных граней, и из тождественного поворота. б) Три подгруппы восьмого порядка, изоморфные группе четырехугольной двойной пирамиды (диэдра). Каждая из этих подгрупп В' В Рис. 7. состоит из тех поворотов куба, которые переводят в самое себя одну из пря- мых, соединяющих цен- тры двух противополож- ных граней, например, точки S и X' (октаэдр, вписанный в куб, явля- ется частным случаем четырехугольного ди- эдра; группа его пово- ротов, оставляющих не- подвижными или меня- ющих местами две вер- шины его Хи X', и бу- дет, очевидно, группой четырехугольного диэд- ра). Эта подгруппа вось- мого порядкаполучается из следующих восьми поворотов: четырех поворотов во- круг оси XX' (включая тождественный); двух поворо- тов на угол л вокруг осей, соединяющих соответст- венно середины ребер А А' и СС, ВВ' и DD'\ двух поворотов на угол л вокруг осей, соединяющих соот- ветственно центры граней АВВ'А' и CDD'C, ADD'А' и ВССВ’. в) Подгруппа четвертого порядка, состоящая из тождественного преобразования и трех поворотов на угол л вокруг каждой из осей, соединяющих центры двух противоположных граней. Эта группа состоит из тех поворотов, которые входят в каждую из пере- численных в п. б) трех подгрупп восьмого порядка. Эта подгруппа четвертого порядка коммутативна и изоморфна группе поворотов ромба (т. е. клейновской группе порядка 4). во
Кроме упомянутых, имеются еще подгруппы чет- вертого порядка, также изоморфные группе самосов- мещений ромба. 2. Группа самосовмещений или поворотов правиль- ного октаэдра изоморфна группе поворотов куба. Чтобы убедиться в этом, достаточно описать куб вокруг правильного октаэдра (рис. 8) или вписать куб в правильный октаэдр (рис. 9). Каждое самосовмещение Рис. 8. Рис. 9. октаэдра соответствует некоторому самосовмещению куба, и наоборот. Это положение вещей есть одно из проявлений отношения двойственности, имеющего место между кубом и октаэдром; его мы сейчас определим. Прежде всего мы назовем два элемента (вершина, ребро, грань) какого-нибудь многогранника инцидент- ными, если один из этих двух элементов принад- лежит другому (как его элемент). Таким образом, вершина и грань, имеющая эту вершину среди своих вершин, а также грань и ребро этой грани, нако- нец вершина и ребро, одним из концов которого яв- ляется эта вершина —суть пары инцидентных эле- ментов. Два многогранника называются двойственными, если элементы одного могут быть таким образом постав- лены во взаимно однозначное соответствие с элемен- тами другого, что при этом пары инцидентных элемен- тов одного многогранника соответствуют парам инци- дентных элементов другого, и при этом: 81 |
вершины первого многогранника соответствуют гра- ням второго, ребра первого многогранника соот- ветствуют ребрам второго, грани первого многогран- ника соответствуют вершинам второго. Нетрудно видеть, что куб и октаэдр в этом смысле двойственны друг другу, а тетраэдр двойствен самому себе. § 6. ГРУППА ПОВОРОТОВ ИКОСАЭДРА И ДОДЕКАЭДРА 4). ОБЩЕЕ ЗАМЕЧАНИЕ О ГРУППАХ ПОВОРОТОВ ПРАВИЛЬНЫХ МНОГОГРАННИКОВ 1. Среди всех пяти правильных много- гранников нам осталось рассмотреть два: икосаэдр и додекаэдр (рис. 10, 11). Эти многогранники двойственны между собой и группы их самосовмещений изоморфны. Рис. 10. Рис. 11. Для того чтобы убедиться в этом, достаточно впи- сать икосаэдр в додекаэдр (рис. 12) или додекаэдр в икосаэдр (рис. 13). Поэтому нам достаточно озна- комиться с группой самосовмещений икосаэдра. Чтобы определить число ее элементов, мы поступим так же, как и в случае тетраэдра и куба. Именно, мы сначала рассмотрим те самосовмещения икосаэдра, которые оставляют неподвижной одну какую-нибудь из его вершин. Таких самосовмещений имеется пять, а именно: пять поворотов вокруг оси, соединяющей данную i) Имеем опять в виду правильный икосаэдр и правильный додекаэдр. 82
вершину с противоположной ей. Так как всех вершин 12, то число самосовмещений икосаэдра есть 5-12 = 60. Все эти самосовмещения оказываются поворотами икосаэдра вокруг его осей симметрии. В самом деле, имеются следующие оси симметрии икосаэдра: Рис. 12. Рис. 13. Шесть осей, соединяющих противоположные вер- шины: вокруг каждой из них имеем четыре нетож- / 2л 4л 6л 8л \ Явственных поворота (на углы -g-, у, -у, -g-1, сов- мещающих икосаэдр с самим собой; всего, значит, получаем 4-6 = 24 поворота; 10 осей, соединяющих центры противоположных граней; вокруг каждой из этих осей имеем два нетож- / 2л 4л \ „ „ ол дественных поворота (на угол -у и -у), а всего 20 поворотов; 15 осей, соединяющих середины противоположных ребер и дающих каждая по одному нетождественному повороту (на 180°); итак, имеем 244-20-}-15 нетождественных поворота и один тождественный поворот — всего 60 поворотов. Как всегда, из этого рассуждения следует, что икосаэдр имеет 31 ось симметрии. Ввиду достаточной сложности группы поворотов икосаэдра мы не будем здесь далее останавливаться на ее изучении. Заметим только, что эта группа изо- морфна знакопеременной группе подстановок из пяти элементов. 2. Мы определяли группы поворотов многоуголь- ников и многогранников как группы самосовмещений. 83
Рассмотрим как бы два экземпляра пространства, вложенных один в другой. Одно пространство пред- ставляем себе в виде бесконечно распространяющегося во все стороны твердого тела и назовем его твердым пространством. Другое пространство представляем себе в виде пустого пространства. Твердое пространство помещаем в пустое, в котором оно может перемещаться. Наш многогранник представ- ляем как часть твердого пространства, неподвижную в нем и способную перемещаться лишь вместе с ним. При такой точке зрения можно рассматривать пово- роты всего «твердого» пространства в «.пустом» про- странстве (вокруг тех или иных осей), которые совме- щают данный многогранник с самим собой, т. е. производят самосовмещения его. Так как каждое само- совмещение рассмотренных нами многогранников оказывалось поворотом вокруг той или иной оси и каждый поворот многогранника вокруг оси можно представлять себе как порожденный поворотом всего пространства вокруг той же оси, то группа самосов- мещений данного многогранника изоморфна группе поворотов пространства, совмещающих этот многогран- ник с самим собой. Эту последнюю группу обычно*и имеют в виду, когда говорят о группе поворотов дан- ного правильного многогранника. Часто ее даже назы- вают просто «группой правильного многогранника». Группы правильных пирамид (т. е. конечные цик- лические группы), группы диэдров и только что рас- смотренные группы правильных многогранников суть единственные конечные подгруппы группы всех перемеще- ний пространства.
ГЛАВА VI ИНВАРИАНТНЫЕ ПОДГРУППЫ § 1. СОПРЯЖЕННЫЕ ЭЛЕМЕНТЫ И ПОДГРУППЫ 1. Трансформация одного элемента группы при помощи другого. Рассмотрим в группе G два каких- нибудь элемента а и Ь. Элемент ЬЛаЬ называется трансформацией элемента а при помощи элемента Ь. Посмотрим, при каких условиях имеет место равен- ство b^ab = a. (1) Если равенство (1) выполнено, то умножая его части слева на Ь, получим ab = ba. (1') Итак, если выполнено (1), то выполнено и (!'), т. е. элементы а и Ь переместительны. Обратно, если выпол- нено (!'), то умножая обе его части на b 1 слева, получим b~lab = b^ba - а, т. е. имеет место и равенство (1). Итак, мы видим, что для того, чтобы при данных а и b имело место равенство (1), т. е. чтобы трансформация элемента а посредством элемента b равнялось самому элементу а, необходимо и достаточно, чтобы элементы а и Ь были переместительны (удовлетворяли равенству (Г))- В частности, в коммутативных группах равенство (1) имеет место для любых элементов а и Ь. 85
В качестве иллюстрации понятия трансформации рассмотрим группу- G всех подстановок из п элементов; пусть а = 1 2 3 ... п fli а2 «з ... а„, Тогда очевидно, 1 2 3 ... п b\ b2 Ь3 ... Ьп t>3 3 Ьз «з Ьз br • Ьп . п • ьп • л (2) Формула правила: пусть (2) ^2 2 ^2 «2 ^2 '«1 Ьп2 и°3"- U°n) может быть записана в виде следующего b~1(lb = (bt 1 2 -Ми = 2 -М; а2 ... ап] \ЬХ Ь2 ... bnJ чтобы получить трансформацию подстановки а при помощи подстановки Ь, нужно в обеих строчках обычной записи подстановки а сделать подстановку Ь. Поясним это правило еще частными примерами. Пусть, например, п = 3и '1 2 3\ 2 13/’ a 2 3 2 1, а = Получаем з !)-(! з >• Гораздо проще понять только что выведенное пра- вило, пользуясь термином отображение или функция. Подстановка а означает функцию y = f(x), х = = 1, 2, ... , п, у= 1, 2, 3, ... , п, где двум различным значениям х всегда соответствуют два различных зна- чения у, так что f есть взаимно однозначное отобра- жение множества {1, 2, ..., п} на себя. Подстановка b есть функция у — гр (х) той же природы, что и f(x). Подстановка (гЧхЬ есть функция y = F(x), определенная формулой ^(х) = <р{/[<р-1(х)]}. (3) Она получается, если элементу <р(х) поставить в соответствие элемент гр [/ (х)]; это непосредственно видно, 86
если в формуле (3) поставить q> (х) вместо х и заметить, что Ф’Чч^х)]:®*. Так как х пробегает все числа 1, 2, 3, ..., п, то и <р(х) пробегает все те же числа, только в другом порядке, и формулой /?[<р(х)] = <р[/(х)] (4) функция F(x), т. е. подстановка b^ab, вполне опреде- лена. Формула (4) представляет собой только другую запись формулы (2). Наконец, если обозначить f(x) через у, полученный ре- зультат можно сформули- ровать еще и так: подстановка F заключа- ется е том, что элемент <р(х) заменяется элементом Ч>(У)- Так как всякая конеч- ная группа изоморфна не- которой группе подста- новок, то формула (2) вы- ясняет содержание понятия «трансформация», по край- ней мере для всех конеч- ных групп. 2. Пример группы те- В Рис. 14. траэдра. Рассмотрим в ви- де дальнейшего примера группу поворотов тетраэдра ABCD (рис. 14). Пусть а есть поворот тетраэдра вокруг оси MN (соединяющей середины ребер ВС и AD) на угол л, пусть b есть поворот вокруг оси DO, переводящий А в С, В в А, С в В; тогда b^ab есть поворот на угол л вокруг оси PQ, соединяющей середины ребер АВ и CD. В этом можно убедиться как непосредственно. так и замечая, что поворот а производит подстановку вершин (л г r тогда как b производит подстановку С Z5 2т / /А В С D\ \CABD' ' .. /А В С D\ Производя в каждой строке выражения Щ с в А 1 (А В С D\ fC А В D\ подстановку \r А в Dj> получим [DB АС), е. 87
R л nr)' соответствующую повороту вокруг оси PQ £j /л U О / на угол л. Таким же точно образом убедимся, что а~гЬа есть поворот, переводящий В в С, С в D, D в В во- круг оси, соединяющей вершину А с центром грани BCD. Этому повороту соответствует подстановка с D в)‘ 3. Сопряженные элементы. Пусть G — какая-нибудь группа. Лемма 1. Если элемент b есть трансформация элемента а при помощи элемента с, то элемент а есть трансформация элемента Ь при помощи элемента с1. В самом деле, из соотношения b ----- с-1 ас, умножая обе части слева на с, а справа на с-1, полу- чаем cbc1 = а, т. е. а = (с-^-Чхг1, что и требовалось доказать. Определение. Два элемента группы называются сопряженными элементами, если один из них есть трансформация другого. Лемма 2. Если а сопряжен с b, b сопряжен с d, то а сопряжен с d. В самом деле, так как а сопряжен с Ь, то сущест- вует такой элемент с, что Ь = с^ас. (5) Так как b сопряжен с d, то существует такой элементе, что b = e~lde, (5') так что c~1ac = e~1de. Умножая обе части последнего равенства слева на с, а справа на с-1, получим а — (се1) d (ее-1) = (ес1)-1 d (ее1), т. е. а есть трансформация элемента d при помощи элемента ес \ что и требовалось доказать. Лемма 3. Каждый элемент сопряжен самому себе. 88
В самом деле, совершенно очевидно, что а= 1-1п-1. Содержание лемм 1—3 заключается в том, что сопряженность двух элементов группы обладает свой- ствами симметрии, транзитивности и рефлексивности. Отсюда на основании теоремы 3 гл. I, § 1, п. 4 следует Теорема 1. Всякая группа G распадается на классы попарно сопряженных между собой элементов. При этом класс какого-нибудь элемента а группы G состоит из всех сопряженных с а элементов группы G, т. е. трансформаций элемента а при помощи все- возможных элементов группы G. Заметим, что класс нейтрального элемента всякой группы G состоит из одного этого элемента (так как при любом а имеем а-1-1 - а = 1). Задача. Требуется доказать, что группа поворотов тетраэдра распадается на следующие классы сопряжен- ных элементов: 1) класс, состоящий из одного нейтрального эле- мента; 2 2) класс, состоящий из поворотов на угол у л вок- руг каждой из четырех осей, соединяющих вершину тетраэдра с центром противоположной грани; 3) класс, состоящий из четырех поворотов на угол у л вокруг тех же осей (всюду по (или против) часо- вой стрелки, если смотреть из неподвижной вершины); 4) класс, состоящий из поворотов на угол л вокруг каждой из трех осей, соединяющих середины двух противоположных ребер тетраэдра. Читателю рекомендуется также исследовать классы сопряженных элементов в других группах поворотов. 4. Трансформация подгруппы. Класс сопряженных элементов, к которому принадлежит данный элемент а группы G, состоит из трансформаций элемента а при помощи всевозможных элементов b группы G. Теперь возьмем какую-нибудь подгруппу Н группы G и будем рассматривать трансформации всевозможных элементов х этой подгруппы при помощи одного и того же произволь- но выбранного элемента Ь группы G. Полученное мно- жество элементов, т. е. совокупность всех элементов вида b~lxb, 89
где b — выбранный нами определенный элемент группы G, а х пробегает множество всех элементов подгруппы Н, называется трансформацией подгруппы Н при помощи элемента b и обозначается через b~lHb. Докажем, что b ХНЬ есть группа. В самом деле: 1. Пусть имеем два элемента сх и с2, принадлежащие к Ь^НЬ. Докажем, что сгс2 при- надлежит к b~4ib. Имеем: с1 = Ь^хф, с2 = Ь~1х2Ь, где Xj и х2 суть элементы группы Н. Из уравнений (6) следует непосредственно: схс2 = Ь^хрсф; (6) (7) итак, схс2 есть трансформация элемента хгх2 при помо- щи Ь, а потому схс2 принадлежит к Ь^НЬ. 2. Докажем, что нейтральный элемент 1 группы G принадлежит к Ь^НЬ. Так как 1 принадлежит к Н, и так как то 1 принадлежит и к Ь~*ПЬ. 3. Наконец, если а принадлежит к Ъ~ХНЬ, то и а1 принадлежит Ь^НЬ. В самом деле, если а принадле- жит к Ь~Ч1Ь, то a — b^xb, где х есть некоторый эле- мент Н. Но тогда элемент а1 = (b ^xb)-1 = Ь~гх~1Ь, т. е. а-1 есть трансформация элемента х1 группы Н при помощи Ъ, следовательно, а-1 есть элемент множества ь-1нь. Итак, Ь~Ч1Ь есть группа. Каждому элементу х группы Н соответствует вполне определенный элемент группы ЬЧ1Ь, именно элемент ЬЛхЬ группы Ь ХНЬ. При этом двум различным элемен- там X! и х2 соответствуют различные элементы Ь^хф и b~lx2b, так как если хх и х2 различны, то различны 90
и элементы хф и хф1)’, а если различны элементы Xjb и х2Ь, то различны и элементы fo-’Xjb и Ь-Ъсф2). Итак, поставив в соответствие элементу х группы Н элемент Ь~гхЬ группы b~lHb, мы получаем взаимно однозначное соответствие между И и Ь~гНЬ. В силу равенств (6) и (7) произведению двух элементов хг и х2 соответствует при этом произведение элементов Ьлхф и т. е. наше соответствие есть изоморф- ное соответствие между группами Н и Ь~гНЬ. Таким образом, нами доказана следующая Теорема 2. Трансформация подгруппы Н группы G при помощи элемента b группы G есть подгруппа группы G, изоморфная группе Н. Замечание. Непосредственно вытекают из опре- делений следующие предложения: 1) Если G — коммутативная группа, а //-ее под- группа, то трансформация подгруппы И при помощи любого элемента b группы G есть сама группа Н (ведь в этом случае трансформация любого элемента х при посредстве b есть сам этот элемент х: b~1xb = x). 2) Если G —любая группа, Я —ее подгруппа, b — элемент И, то Ь-'НЬ = Н, так как для всякого элемента х группы Н при Ъ, при- надлежащем Н, принадлежит Н и элемент Ь~гхЬ. 3) Если подгруппа Н2 есть трансформация под- группы при посредстве элемента Ь, то Нг есть трансформация подгруппы Н2 при посредстве элемента ь-1. Доказательство непосредственно следует из лем- мы 1, п. 3. Определение. Две подгруппы группы G, из которых одна является трансформацией другой, назы- ваются сопряженными подгруппами. Так как 1~1Н-\=Н, то каждая группа сопря- жена с самой собой. !) В самом деле, если xib — x2b = c, то x1 = cb~1 и x2=cb *. 2) Так, если Ь^1хгЬ = brx2b = с, то x1b = bc и x2b = bc. 91
Из леммы 2 п. 4 следует, что две подгруппы, со- пряженные третьей, сопряжены между собой, так что множество всех подгрупп группы G распадается на классы сопряженных между собой подгрупп. Мы уже знаем (теорема 2 этого пункта), что все сопряженные между собой подгруппы изоморфны между собой. 5. Примеры. В группе поворотов правильного тет- раэдра имеются, как мы видели, следующие подгруппы: 1. Две несобственные подгруппы: первая, состоящая из одного нейтрального элемента, и вторая, состоящая из всех двенадцати поворотов тетраэдра. Каждая из этих подгрупп, очевидно, сопряжена с самой собой. 2. Три подгруппы второго порядка: Н01, Нт, Нпз, каждая из которых состоит из поворотов на углы О и л вокруг некоторой реберной медианы. Все эти группы образуют один класс сопряженных подгрупп. 3. Группа И четвертого порядка (клейновская), являющаяся объединением (в смысле теории множеств) трех групп Н01, Нт, Н03 (т. е. состоящая из тождест- венного поворота и из поворотов на угол л вокруг каждой из трех реберных медиан). Из определения группы И как объединения групп НВ1, Н02, Н03 и из того, что группы Н01, НОй, Н03 образуют один класс сопряженных подгрупп, следует, что группа Н сопря- жена лишь с самой собой. 4. Четыре подгруппы третьего порядка: Яо, Нг, Н.2, Н3; каждая из них состоит из поворотов на углы О, 2л 4л „ г, -у, -у вокруг некоторой граневои медианы. Все эпш группы также образуют один класс сопряженных под- групп. Итак, все 10 подгрупп группы поворотов правиль- ного тетраэдра следующим образом распадаются на классы сопряженных подгрупп: три класса, состоящие каждый из одного элемента: классы, содержащие лишь по одной несобственной подгруппе, и класс, состоящий из одной подгруппы Н четвертого порядка; класс, состоящий из трех подгрупп второго порядка; класс, состоящий из четырех подгрупп третьего порядка. 92
§ 2. ИНВАРИАНТНЫЕ ПОДГРУППЫ (НОРМАЛЬНЫЕ ДЕЛИТЕЛИ) 1. Определение. Если подгруппа Н дан- ной группы G не имеет никакой отличной от себя сопряженной подгруппы (т. е. если класс всех подгрупп, сопряженных в группе G подгруппе Н, состоит лишь из одной группы И), то подгруппа Н называется инва- риантной *) подгруппой (или нормальным делителем) группы G. Очевидно, определение инвариантной подгруппы можно сформулировать и так: подгруппа Н группы G называется инвариантной, если трансформация любого элемента группы Н при помощи любого элемента группы G есть элемент груп- пы Н. Понятие инвариантной подгруппы — одно из важ- нейших понятий всей алгебры: если и невозможно в этом кратком изложении довести читателя до полного понимания всей важности этого понятия, раскрываю- щегося в алгебре, особенно в так называемой теории Галуа, то можно все же надеяться, что из рассужде- ний этой и следующей глав читатель поймет, насколько велико значение инвариантных подгрупп в логическом построении самой теории групп. 2. Примеры. Тривиальными примерами инвариант- ных подгрупп являются обе несобственные подгруппы любой группы. Кроме того, любая подгруппа комму- тативной группы является, очевидно, инвариантной. Укажем некоторые менее тривиальные примеры. 1. Группа скольжений прямой самой по себе есть инвариантная подгруппа группы всех самосовмещений прямой (гл. V, § 2). 2. Циклическая группа А порядка п, состоящая из всех самосовмещений первого рода тг-угольного Инвариантная—в переводе с латинского «неизменяемая» (по отношению к операции трансформирования подгруппы). В настоящее время в математической литературе вместо тер- мина инвариантная все большее распространение получает термин нормальная подгруппа. По нашему мнению, этот термин совер- шенно не отражает основного свойства рассматриваемых подгрупп: инвариантности по отношению к операции трансформирования подгрупп. 93
диэдра, есть инвариантная подгруппа группы всех поворотов «-угольного диэдра 1). 3. Знакопеременная группа Ап подстановок из п элементов есть инвариантная подгруппа группы S„ всех подстановок из п элементов. В самом деле, если b есть произвольная четная подстановка, а а есть любой элемент группы Sn (т. е. любая подстановка — четная или нечетная), то подстановка сг1Ьа имеет в качестве знака произведение трех чисел, равных 4-1 или — 1: (зн а-1) (зн Ь) (зн а). Так как (зна~1) = зна, то (зн а~1) (зн а) в каждом слу- чае (т. е. для любого а) равняется 4-1; следовательно, (зн гт1 Ьа) = (зн а-1) • (зн Ь) • (зн а) = (знЬ) = 4-1, а это значит, что а~*Ьа есть четная подстановка, т. е. элемент группы А„. Итак, трансформация любого элемента b группы Ап есть элемент группы Ап (вообще говоря, отличный от а), т. е. Ап есть инвариантная подгруппа группы Sn. Возвращаемся к примерам инвариантных и неинва- риантных подгрупп. Мы уже видели, что в группе всех поворотов тет- раэдра имеется одна собственная инвариантная под- группа четвертого порядка. Так как группа всех поворотов тетраэдра изоморфна знакопеременной груп- пе А} подстановок из четырех элементов (т. е. группе всех четных подстановок из четырех элементов), то полученный результат можно сформулировать и так: знакопеременная группа подстановок из четырех эле- ментов имеет инвариантную подгруппу четвертого порядка. Это обстоятельство заслуживает внимания: оказы- вается, при п>4 знакопеременная группа АП подста- новок из п элементов не содержит никакой инвари- Так как, если а -есть самосовмещение первого, а Ь — само- совмещение второго рода, то имеем (как было указано в гл. V, § 3) ab = ba \ откуда b~1ab=a~1\ так как это справедливо для любого элемента подгруппы А, то blAb = А. 94
антной подгруппы (кроме двух несобственных подгрупп). Этот факт, доказательство которого читатель может найти, например, в книге «Теория групп» А. Г. Куроша, имеет большое значение в алгебре: он тесно связан с тем, что общее уравнение степени п > 4 неразрешимо в радикалах. Группа поворотов куба, как мы знаем, изоморфна группе S4. Значит, в ней заведомо имеется инвариант- ная подгруппа, изоморфная группе А4; эта группа нам уже знакома из гл. V, § 5: она состоит из поворотов, переводящих в себя каждый из двух тетраэдров, вписанных в куб. Мы уже упоминали также о трех подгруппах вось- мого порядка, содержащихся в группе самосовмещений куба. Эти три группы образуют класс сопряженных между собой групп; следовательно, ни одна из них не инвариантна. Зато инвариантной подгруппой явля- ется пересечение этих трех групп, которое, как мы знаем, представляет собой группу, состоящую из ней- трального элемента и из трех поворотов куба на 180° вокруг каждой из трех прямых, соединяющих центры двух противоположных его граней *). Никаких инвариантных собственных подгрупп, кроме указанных групп двенадцатого и четвертого порядка, в группе самосовмещений куба не имеется. Упомянем еще следующие классы сопряженных групп: 1. Класс, состоящий из трех циклических групп порядка 4 (каждая из этих групп состоит из поворо- тов вокруг одной из осей, соединяющих центры двух противоположных граней куба). 2. Класс, состоящий из четырех циклических групп порядка 3 (каждая из этих групп состоит из поворо- тов вокруг одной из диагоналей). 3. Класс, состоящий из шести циклических групп порядка 2 (каждая из этих групп состоит из поворо- тов вокруг одной из осей, соединяющих середины двух противоположных ребер). !) Читателю рекомендуется доказать следующую общую тео- рему: пересечение всех групп, входящих в некоторый класс сопря- женных между собой подгрупп, есть инвариантная подгруппа.
ГЛАВА VII ГОМОМОРФНЫЕ ОТОБРАЖЕНИЯ § 1. ОПРЕДЕЛЕНИЕ ГОМОМОРФНОГО ОТОБРАЖЕНИЯ И ЕГО ЯДРА Пусть каждому элементу а группы А поставлен в соответствие элемент b=f(a) группы В. Совокупность всех полученных таким образом элементов Ь = /(п) группы В обозначим через f(A). Мы говорим, что имеем отображение / группы А в группу В, а именно: на множество / (Л) ас В. Введем теперь следующее фундаментальное опреде- ление. Отображение / группы А в группу В называется гомоморфным, если для любых двух элементов аг и а2 группы А выполнено условие /(п1-а2) = /(а1)-/(«2). (О причем знак в левой части равенства (1) надо, есте- ственно, понимать как знак умножения в группе А, а в правой части равенства (1) как знак умножения в группе В. Теорема. Если f есть гомоморфное отображение группы А в группу В, то множество f (А) В есть подгруппа группы В. Доказательство. Достаточно показать, что: 1) если Ъх и Ь2 суть элементы множества /(Л), то b1-b2 есть также элемент множества /(Л); 2) нейтральный элемент группы В есть элемент множества /(Л); 3) если b есть элемент множества /(Л), то 1г1 есть также элемент множества / (Л). Докажем последовательно утверждения 1), 2), 3). 9G
1) Пусть Ь, и b2 суть два элемента множества f (Д\ Это значит, что существуют такие элементы <2j и аг группы А, что f («1) = &i. f («2) = b2. Но в силу гомоморфное™ отображения f имеем: f («1 • а2) = К b2. Следовательно, b}-b2 как образ при отображении / элемента группы А есть элемент множества f(A). Первый пункт, таким образом, доказан. 2) Пусть 1 — нейтральный, а а — какой-нибудь элемент группы А. Имеем (в группе А) а -1 =а, откуда (в группе В) получаем f(a-l) = f(a), и в силу гомоморфное™ отображения / левую часть последнего равенства можно переписать в виде /(а)-/(1) = /(а); отсюда видно, что /(1) есть нейтральный элемент груп- пы В. Этим доказан второй пункт. 3) Пусть b — произвольный элемент множества f(A)<ziB. Существует такой элемент а группы А, что f (а) = b. Обозначим через b' элемент множества / (Л). Докажем, что ь^ь-1. В самом деле, а бг1= 1. Следовательно, На)7(а-1) = 1 (1 справа означает нейтральный элемент группы В), т. е. 1, и следовательно, V = Ь~\ что и требовалось доказать. Итак, всякое гомоморфное отображение группы А в группу В есть гомоморфное отображение группы А на некоторую подгруппу группы В. 4 П. С. Александров 97
Замечание 1. ь только что проделанных рас- суждениях содержится доказательство следующих важ- ных утверждений, справедливых для всякого гомоморф- ного отображения группы А в группу В: Л1)=1 (2) (где слева 1 есть нейтральный элемент группы А, а справа — нейтральный элемент группы В), f(a~1)=f(a)1. (3) Замечание 2. На основании примечания в гл. III § 1 мы можем сказать: Взаимно однозначнее гомоморфное отображение группы А на группу В есть изоморфное отображение. Определение. Пусть/есть гомоморфное отобра- жение группы А в группу В. Множество всех элемен- тов х группы А, отображающихся в силу f на ней- тральный элемент группы В, называется ядром гомо- морфного отображения f и обозначается через Теорема, Ядро гомоморфного отображения f груп- пы А в группу В есть инвариантная подгруппа группы А. Доказательство. Из определения гомоморфного отображения непосредственно следует, что, если f(fli)=l, /(а2)=1, то /(а1-а2) = 1, т. е. если ау и а2 суть элементы /-1(1), то и а\а2 есть элемент /-1 (1). Далее, мы видели при доказательстве предыдущей теоремы, что f (1) есть нейтральный элемент группы В, т. е. 1 есть элемент Наконец, если /(а)=1, то /(щ1) = /(о)-1= 1, т. е. если а есть элемент /л(1), то а 1 есть также элемент /“’(l)- Отсюда уже следует, что Z"1 (1) есть подгруппа группы А. Чтобы доказать, что Д1 (1) есть инвариантная под- группа группы А, надо убедиться в том, что трансфор- мация а-’ха произвольного элемента х группы fl(l) при помощи любого элемента а группы А есть элемент группы / *(1). Другими словами, надо убедиться в том, что f (а'ха) = 1, 98
если только /(х)=1. Но это почти очевидно, так как при f (х) = 1 имеем f (сг'ха) = f (a)-1 .f (х) -f(a) = f (а) 1 1 f (а) = Итак, наша теорема полностью доказана. В дальнейшем мы увидим, что и обратно, всякая инвариантная подгруппа группы А есть ядро некоторого гомоморфного отображения группы А. § 2. ПРИМЕРЫ ГОМОМОРФНЫХ ОТОБРАЖЕНИЙ 1. Рассмотрим группу G всех целых чисел ..., — п, —(п-1), .... —2, —1, 0,1, 2,... .... (п — 1), п, ... и группу второго порядка С2. Эта группа является абелевой. Пусть ее элементы будут b0, blt а таблица сложения такая: b„ + b0 = b0, b0 + bl = b1 + b0 = b1, b1 + bl = b0. Очевидно, что b0 есть нейтральный элемент группы С2. Установим следующее отображение / группы G на группу G2. Каждому четному числу ставим в соответ- ствие элемент Ьо группы G2, каждому нечетному числу ставим в соответствие элемент Ь} группы G2. Это отображение гомоморфно. В самом деле, пусть а и а'—два целых числа. Если а и а' оба четные числа, то ао' тоже четное, и мы имеем f (а + а') = f (а) = f (a') = b0=f (a) +f(a’). Если одно из двух чисел а и о' (пусть а) четное, а другое нечетное, то а-\-а' нечетное, так что f(a) = b0, f(a') = b1, f(a + a') = b1 = b0 + b1 = f(a)+f(a'). Если, наконец, и а и а' нечетные числа, то а + а' четное, и мы имеем: f(a) = f(a') = blt f (a + a') = b0 = b1 + b1^=f (a) + f(a')- Ядром нашего гомоморфизма, очевидно, является группа всех четных чисел. 4* 99
Обобщим этот пример. Пусть дано произвольное натуральное число т^2. Рассмотрим циклическую группу Gm порядка т с элементами Ьо, 1ц, 1ц, Ьт^ и таблицей сложения: ^0 bi i>2 ... ^т~2 bfn-l ^0 ьи Ь1 ... -2 Ьт-1 1’1 t>2 Ьз ... bfn-1 Ьо Ьг К Ьз <>4 ... Ьо Ьг • • &т-2 Ьт-1 ь0 Ьщ-з ^т-1 ^т-1 Ьо ... Ьт-з Ьщ-2 (нейтральный элемент обозначен через Ь„). Установим гомоморфное отображение f группы G всех целых чисел на группу Gm. Для этого напомним прежде всего следующую ариф- метическую теорему: Каждое целое число а при делении на натуральное число т дает в качестве остатка одно из чисел 0, 1, ... .. , т — 1. При этом остаток числа а определяется как единственное неотрицательное целое число г, удовлетво- ряющее соотношениям a = mq-\-r, O^r^m — 1, (4) при целом q (называемом неполным частным при деле- нии а на т). Теорема эта всем, конечно, известна для случая положительного а. Для а = 0 имеем, очевидно, О = т 0 4- О, т. е. при делении нуля на любое натуральное число и в частном и в остатке получается нуль. Случай отрицательного а требует, может быть, неко- торых разъяснений. Если а отрицательно, то —а поло- жительно. Разделим натуральное число —а на нату- ральное число т, обозначим частное через q' и остаток через г'. Можем предположить, что г' >0 (так как если 100
бы г' = 0, то —а, а следовательно, и а делилось бы на т без остатка). Итак, —a — mq'-\-r', 0<Zr'^m—l или а = —mq' — г' = = —т — mq' -\-т — г' — т (—1 — q') ф- (т — г'). Из 0 < г' т — 1 следует, очевидно, Osgm — г' -gzm — 1. Поэтому, полагая <? =— l-t?', г = т — г', имеем для целых чисел a, q соотношения c = m<7-}-r, Osgrsgm—1. (5) Легко убедиться в том,- что представление целых чи- сел а в виде уравнений (5) при данном целом т и целых q и г, единственно, т. е. что целые числа q и г условиями (5) вполне определены. В самом деле, пусть a — mq1+r1, 1. (5') Тогда вычтем почленно равенство (5') из равенства (5). Получим 0 = m(q — Q,) + (r — rj пли Отсюда следует, что целое число г —г, делится без остатка на т. Но г — г, есть разность двух неотрица- тельных чисел, не превосходящих т— 1; следовательно, абсолютная величина этой разности также не превос- ходит т— 1; в этих условиях число г — гх может делиться без остатка на т только в том случае, если оно есть нуль. Итак, г — г, =0, т. е. г = гу п, заменяя г, на г в формуле (5'), получаем а = щ</1 + г. (6) Из равенств (6) и (5) получаем а —г а—г пГ ’ т ’ т. е. щ = q, что и требовалось доказать. 101
Целому числу г в силу неравенства О г т — 1 соответствует элемент Ьг группы Gm. Итак, при зафик- сированном натуральном числе т^2 каждому целому числу а соответствует вполне определенный элемент циклической группы Gm порядка т, а именно: элемент Ьг, где г есть остаток при делении а на т. Этот элемент Ьг называется вычетом числа а по модулю т. Только что указанным соответствием и устанавли- вается отображение f группы G на группу Gm. Докажем, что отображение f гомоморфно. Пусть а и а' два целых числа и пусть a — mq + r, 0^ г sSm - 1, > (7) а = mq’ ф- г , О г eg m — 1. J Тогда а + а' = m(q + q') + r + r'. Однако г-\-г', удовлетворяя, конечно, неравенству 0«5гфг', может не удовлетворять неравенству г ф- г' т — 1. Но во всяком случае г ф- г' = mq" ф- р, где q" есть частное от деления гф-г' на т (оно, как нетрудно видеть, равно 0 или 1) и р есть остаток при этом делении, так что а ф- а' = т (q ф- q' ф- q") ф- р, О р < т — 1. Итак, элементу а-^а’ при нашем отображении f соот- ветствует элемент Ьр группы Gm. Рассматривая таблицу сложений в циклической группе порядка т, видим, что br+br- = bp (где р по-прежнему есть остаток при делении гф-гг на т). Итак, f(a + a') = bp = br + br’ = f(a) + f(a'), чем и доказано, что отображение f гомоморфно. Только что построенное гомоморфное отображение f группы всех целых чисел в циклическую группу по- 102
рядка т является основным фактом элементарной тео- рии чисел; мы это гомоморфное отображение будем обозначать через fm. Ядром гомоморфизма fm является группа всех целых чисел, делящихся без остатка на т. 2. В главе V, §2, второй пример, было указано, что каждому действительному числу соответствует некото- рый элемент группы SO (2). Этим соответствием устанав- ливается гомоморфное отображение группы всех дейст- вительных чисел на группу SO (2), причем ядром этого отображения является бесконечная циклическая группа, состоящая из всех действительных чисел, являющихся целочисленными кратными 2л.
ГЛАВА VIII РАЗБИЕНИЕ ГРУППЫ НА КЛАССЫ ПО ДАННОЙ ПОДГРУППЕ. ФАКТОРГРУППА § 1. ЛЕВОСТОРОННИЕ И ПРАВОСТОРОННИЕ КЛАССЫ 1. Левосторонние классы. Пусть даны группа G и ее подгруппа U. Наша задача заключается сейчас в том, чтобы показать следующее: задание под- группы U определяет (и притом, вообще говоря, двумя различными способами) разбиение группы G на некото- рую систему попарно непересекающихся подмножеств, одно из которых есть сама подгруппа U, а остальные некоторым весьма простым законом могут быть взаимно однозначно отображены на U. Для получения этого разбиения будем поступать так. Назовем два элемента а и b группы G эквивалент- ными, если элемент сг'Ь есть элемент подгруппы U. Эта эквивалентность (называемая левой эквивалент- ностью) обладает свойством симметрии, так как, если агЧ) = и, где и есть элемент подгруппы U, то Ь~уа = (а~1Ь)-1 = и 1 также есть элемент подгруппы U. Наша эквивалентность обладает, далее, свойством транзитивности, так как, если 1г1с = u2, где zi, и и2 — суть элементы подгруппы U, то п-1с = сг'Ь b~xc = UjZ/2 также есть элемент подгруппы U. 104
Наша эквивалентность обладает, наконец, свойством рефлексивности, так как а 'с = 1 есть элемент подгруппы U. Итак, группа G на основании теоремы 3 гл. I рас- падается на классы элементов, эквивалентных между собой относительно подгруппы U. Эти классы назы- ваются левосторонними классами группы G по под- группе U. Заметим, что левосторонний класс ' Ка эле- мента а группы G состоит из всех таких элементов х, что й'1х = н есть элемент группы U, т. е. другими словами, из всех элементов вида х — аи, где и есть эле- мент подгруппы U. Заметим еще, что если а есть элемент U (в част- ности, если а = 1), то 'Ka = U, так как в этом случае аи при любом и, принадлежащем к U, есть элемент группы U, и всякий элемент и группы U может быть представлен в виде апх, где иу — а-^и есть элемент группы U. Так как всякий элемент множества 'Л'о может быть пред- ставлен в виде аи, и при различных элементах щ и и2 группы U элементы ащ и аи2 множества ' Ка различны, то мы получим взаимно однозначное соответствие между U и любым ’Ка, если каждому элементу и группы U по- ставим в соответствие элемент аи класса 'Ка. Заметим, наконец, что среди всех классов 'Ко имеется лишь один класс, являющийся подгруппой группы G, а именно U. В самом деле, если ' Ка есть подгруппа, то нейтраль- ный элемент группы G должен входить в 'Ка; он, сле- довательно, является общим элементом класса ' Ка и класса U, а поэтому 'Ка совпадает с U. 2. Случай конечной группы G. В силу взаимно одно- значного соответствия, существующего между каждым из 'Ка и подгруппой U, все 'Ка — в случае конечности группы G —состоят из одного и того же числа элемен- тов т, где т есть порядок группы U. Если число всех различных классов равно /, а п есть порядок группы G, то имеем, очевидно, n = mj. (Уторя, в частности, следует ранее упомянутый нами факт (гл. II, § 2), а именно: Теорема Лаграцжа. Порядок всякой подгруппы конечной группы G есть делитель порядка группы G. 105
Число /, т. е. число левосторонних классов') группы G по подгруппе U, называется индексом под- группы U в группе G. 3. Правосторонние классы. Назовем два элемента а и b эквивалентными (правая эквивалентность) относи- тельно подгруппы U, если Ьа1 есть элемент подгруппы U. Легко убеждаемся, что свойства симметрии, транзитив- ности и рефлексивности при этом выполнены. В самом деле, из bar1 = и, где и — элемент группы U, следует а из air1 = (ter1)-1 = it1, bar1 = и1г cte1 = и2 при иг и и2, принадлежащих к U, следует: саг1 = cb~1- Ьа~г = и2 uY. Наконец, аа 1 = 1 принадлежит к U. Правая эквивалентность определяет разбиение группы G на правосторонние классы, причем правосто- ронний класс К’а данного элемента а состоит из всех таких элементов х, для которых ха~1 = и есть элемент группы U, т. е. из всех элементов вида х = иа, где и принадлежит U. Для а, принадлежащего U, класс Ка совпадает с U. Ставя в соответствие элементу и подгруппы U эле- мент на класса К'а, получим взаимно однозначное соот- ветствие между U и любым классом К'а. В случае, если подгруппа U конечна, все классы К'а по этой под- группе конечны и состоят из того же числа элементов, что и U. Если группа G конечна и имеет порядок п, а подгруппа U имеет порядок т, то имеем, как прежде, n = mj, i) Это число может быть конечным и в случае бесконечной группы G, например, если G есть группа всех целых чисел, a U — подгруппа G, состоящая из всех чисел, делящихся без остатка на целое число т 2. 106
где / — число всех различных правосторонних классов по подгруппе U, равное, таким образом, числу всех различных левосторонних классов. Итак, индекс подгруппы U относительно конечной группы G может быть определен и как число левосто- ронних, и как число правосторонних классов группы G по подгруппе U\ он равен частному от деления порядка группы G на порядок группы U. 4. Совпадение правосторонних классов с левосторон- ними в случае инвариантных подгрупп. Зададим себе вопрос: в каком случае для всякого элемента а группы G выполняется равенство Для этого, очевидно, необходимо и достаточно, чтобы всякий элемент вида аи равнялся некоторому и'а и, наоборот, всякий элемент иа равнялся некоторому эле- менту аи' (при этом всегда и, и' и так далее обозна- чают элементы подгруппы U). Оба условия при этом эквивалентны. В самом деле, первое условие означает: к каждому а из G и и из U можно подобрать такое и'- из U, чтобы аи = и'а, т. е. чтобы аиагх = и', или (a-ly-'Ua-' = U. Так как любой элемент группы G может быть при над- лежащем выборе элемента а представлен в виде а-1, то первое условие означает просто: трансформация под- группы U при помощи любого элемента группы G совпадает с U, или U есть инвариантная подгруппа группы G. Второе условие гласит: к каждому а из G и и из U можно подобрать и’ из U так, чтобы иа — аи, т. е. a~4ia — и’, т. е. a~4Ja = U. Таким образом, второе условие также выражает требование, чтобы U было инвариантной подгруппой группы G. 107
Итак, мы видим, что верна следующая Теорема. Пусть U — подгруппа группы G. Для того чтобы для каждого элемента а группы G левосто- ронний класс этого элемента относительно подгруппы U совпадал с правосторонним классом того же элемента, необходимо и достаточно, чтобы U было инвариант- ной подгруппой группы G. Так как в случае инвариантной подгруппы U для любого элемента а группы G выполняется равенство 'Ка=Ка, то можно вместо 'Ка и К'а писать Ка = 'Ка = К'а, и это множество называть просто классом элемента а относительно инвариантной подгруппы U. В частности, совпадение правосторонних классов с левосторонними имеет место, если U есть подгруппа коммутативной группы G, так как все подгруппы ком- мутативных групп инвариантны (гл. VI, § 2, п. 2). 5. Примеры. I. Пусть G —группа всех целых чисел, a U с: G — группа всех чисел, делящихся без остатка на т. Если а — произвольное целое число, то Ка состоит из всех чисел вида a-\-mq при целом q: это будут все те числа, которые при делении на т дают тот же остаток, что и число а. Таким образом, различных классов будет столько же, сколько имеется различных остатков при делении на т; а этих последних имеется т, так как в качестве остатков при делении на т появ- ляются числа 0, 1, 2, ..., т— 1, и только они. Итак, мы имеем следующие классы: 0) Класс всех чисел, дающих при делении на т остаток 0. Этот класс совпадает с группой U и состоит из чисел ..., — qm, —(q—l)m, ..., —3>т, —2т, —т, 0, т, 2т, Зт, ..., qm, .... 1) Класс всех чисел, дающих при делении на т остаток 1. Это будут: ..., —qm+\, — (<?—l)m+l, .... — 3m 4*1. — 2т 4- 1, — т + 1, 1, т -J-1, 2т 4-1, Зги 4~ 1. 108
2) Класс всех чисел, дающих при делении на т остаток 2. Это будут: — <7т + 2, — (q—1)т4-2, .... — 3/714-2, -2/714-2, -/714-2, 2, т-}-2, .... ... т-1) Класс всех чисел, дающих при делении на т остаток (/71—1). Этот класс состоит из чисел: ..., — 1), — (q — l)m-|-(m — 1), ..., — 3/711), —2/Ti 4- (tn— 1), — /71-}- 4-(/n—1), (z/i—1), 1), 2/714-(/ti—1),..., или, что то же самое, ..., — 2/71 — 1, — т — 1, — 1, т — 1, 2/71 — 1, 3m — 1,. II. Пусть G есть группа Ss всех подстановок из трех элементов, a U — подгруппа порядка 2 (следова- тельно, индекса 3), состоящая из подстановок р 2 3\ _/1 2 3\ 0 —\1 2 3/” 2 \2 1 3/' Распадение группы G на лево- и правосторонние классы видно из следующей таблицы: Левосторонние классы Правосторон ние классы и=АР0, р2} и = {Р2, РА {Ръ РА {Л, РА {Рь, РА {Ра, РА III. Знакопеременная группа Ап подстановок из п элементов представляет собой инвариантную подгруппу индекса 2 симметрической группы S„. Два класса, определяемые этой подгруппой, суть: сама группа Ап и класс всех нечетных подстановок. IV. В группе поворотов м-угольного диэдра само- совмещения первого рода образуют инвариантную под- группу индекса 2. Одни из двух классов по этой под- 109
группе есть она сама, другой класс состоит из всех самосовмещений второго рода. V. Группа U всех скольжений прямой по самой себе есть инвариантная подгруппа индекса 2 в группе G всех самосовмещений прямой. Два класса, определяе- мые этой подгруппой, суть: сама группа U и класс всех самосовмещений второго рода. VI. Пусть G есть группа всех комплексных чисел (с операцией обычного сложения как групповой опера- цией). Пусть U — подгруппа всех действительных чисел. Классы, на которые распадается коммутативная группа G относительно своей подгруппы U, суть множества Кр, каждое из которых состоит из всех комплексных чисел вида х-НР, где х и р — действительные числа, р дано, а х пробе- гает все действительные значения. Если, как это обыч- но делается, изображать комплексные числа в виде то- чек плоскости х), то каждый класс изобразится в виде прямой, параллельной действительной оси (т. е. оси абсцисс). § 2. ФАКТОРГРУППА ПО ДАННОЙ ИНВАРИАНТНОЙ ПОДГРУППЕ 1. Определение. Пусть U есть инвариант- ная подгруппа некоторой данной группы G. Рассмотрим множество всех классов, на которые распадается группа G относительно U. Это множество обозначим через V и докажем, что в нем можно определить опе- рацию умножения таким образом, что V станет груп- пой, на которую группу G можно будет гомоморфно отобразить. Пусть v± и ц2 —два произвольных элемента из V; таким образом, и v2 суть два класса группы G по инвариантной подгруппе U. Выберем в каждом из этих классов по одному элементу, а именно: выберем эле- мент из класса v± и элемент х2 из класса v2. Обо- значим через v3 класс, к которому принадлежит элемент %1Х2 группы G. 3) Считая за изображение комплексного числа x-\-iy точку плоскости с координатами (х, у). ПО
Докажем, что класс v3 не зависит от того, какие именно элементы ху и х2 мы выбрали из классов vL и v2. Другими словами, докажем: если х{ есть какой-нибудь элемент класса ty, вообще говоря, отличный от хп а х'2 какой-нибудь элемент класса v2, вообще говоря, отлич- ный от х2, то элемент х\х'2 принадлежит к тому же классу v3, к которому принадлежит х2х2. В самом деле, два элемента а и b принадлежат тогда и только тогда к одному и тому же классу отно- сительно инвариантной подгруппы U, если элемент ab1 принадлежит к V. Рассмотрим элемент хгх2 (Х]Х2)—1 = х±х2 (х2)-1 (xj)-1 = хг (х2 (х;)-1) (xj)-1. Так как х2 и х2 принадлежат одному и тому же классу v2, то х2 (Хг)"1 = и2, где и2 есть некоторый элемент U, и мы имеем XjX2 (х[ху) = хущ (х{)-1. (1) Но U есть инвариантная подгруппа, поэтому х1н2 = н'х1, где и' есть некоторый элемент группы U. Подставляя это в формулу (1), получаем XjX2 (xJxQ-1 = и’х1 (xj)-1. Но хх и х{ принадлежат к одному и тому же классу поэтому x1(xj)-1 = u1, где ty —некоторый элемент груп- пы U. Следовательно, хух2 = u'ui’ т. е. XiX2(x{x2)-1 есть некоторый элемент и = и'и1 груп- пы U, что и требовалось доказать. Так как класс v3, таким образом, определен, коль скоро определены классы ty и v2, то полагаем: v2 = v3. (2) Это есть определение произведения ty-v2 двух клас- сов ty и v2. Итак: произведением двух классов ty и v2 называется класс v3 построенный по следующему правилу: в каждом из классов ty и ог выбираем по произвольному элементу, 111
перемножаем эти два элемента и берем класс, к кото- рому принадлежит их произведение; этот класс и есть класс о3. Из этого определения и из того, что произведение элементов в группе G удовлетворяет условию ассоциа- тивности, непосредственно следует, что и умножение классов удовлетворяет условию ассоциативности. Докажем, чю класс (J по отношению к только что определенному умножению играет роль нейтрального элемента, т. е. что для всякого класса v справедливо равенство v-l/ = U-v = v. (3) Для этого выберем произвольный элемент х класса о, а в качестве элемента класса U выберем нейтральный элемент 1. Тогда, по определению умножения, класс v-U есть класс, содержащий элемент х-1 = х, т. е. тот же класс v. Точно так же класс I) -v есть класс, содер- жащий элемент \ х = х, т. е. тот же класс V. Этим формула (3) доказана. Докажем наконец, что к каждому классу К имеется некоторый обратный класс, который обозначим через К1 и который удовлетворяет условию K-K-^K^-K^U. Для этого возьмем в классе К какой-нибудь элемент а и определим класс К~г как класс, содержащий элемент tr1. По определению произведений классов, каждое из двух произведений К • Л-1 и К~1 К представляет собой класс, содержащий элемент а-а1 = а~1-а= 1, а это и есть класс U. Итак, определенное нами умножение удовлетворяет всем аксиомам понятия групп. Следовательно, при нашем определении произведения множество классов группы G по ее инвариантной подгруппе U есть неко- торая группа V. Класс U при этом есть нейтральный элемент группы V. Группа V называется факторгруппой группы G по ее инвариантной подгруппе IJ. 2. Теорема о гомоморфных отображениях. Пусть по-прежнему даны группа G и ее инвариантная под- группа U. Каждому элементу х группы G поставим в соответствие определенный элемент факторгруппы V, а именно: тот класс, который содержит в себе элемент х. 112
Этим устанавливается отображение <р группы G на группу V и из определения умножения в группе V непосредственно следует, что это отображение гомо- морфно. Какие элементы группы G отображаются на ней- тральный элемент группы V? Так как этим нейтраль- ным элементом является U, то очевидным ответом на наш вопрос является: Все элементы инвариантной подгруппы U и только они при отображении <р отображаются на нейтральный элемент группы V. Из рассуждений этого и предыдущего пунктов сле- дует: всякая инвариантная подгруппа U группы G яв- ляется ядром некоторого гомоморфного отображения группы G, а именно, гомоморфного отображения груп- пы G на ее факторгруппу по отношению к U. Пусть теперь дано произвольное гомоморфное ото- бражение f какой-нибудь группы А на какую-нибудь группу В. Пусть U есть ядро этого гомоморфного ото- бражения. Мы знаем, что U — инвариантная подгруппа группы А. Обозначим через V факторгруппу группы А по отношению к U. Пусть b есть какой-нибудь элемент группы В. Суще- ствует по крайней мере один элемент а группы А, ото- бражающийся отображением / на элемент Ь: b=f(a). Определим полный прообраз элемента b при отобра- жении f, т. е. множество элементов х группы А, ото- бражающихся отображением f на Ь. Этот полный про- образ обозначим, как обычно, через Итак, f-1 (b), по определению, есть множество всех тех элементов х группы А, для которых справедливо равенство f(x) = b. Пусть, как уже было сказано, а —какой-нибудь элемент, отображающийся на Ь; если х есть другой элемент множества то f(a) = b, f(x) = b, f(xcrl) = bb~1=l (единица справа есть нейтральный элемент группы В); это значит, что хат1 есть некоторый элемент и группы U, 5 П. С. Александров 113
т. е. х = аи есть элемент того класса по инвариантной подгруппе U, к которому принадлежит а. Обратно, если а и х принадлежат к одному классу, то х = а-и, т. е. а и х отображаются в один и тот же элемент b группы В, или, другими словами, содержатся в том же полном прообразе f-1 (h). Итак, полные прообразы (b) элементов группы В суть классы группы А по инвариантной подгруппе U. Этим обстоятельством устанавливается взаимно одно- значное соответствие ф между группой В и группой V. Каждому элементу группы V, который есть некото- рый класс группы А по инвариантной подгруппе U, т. е. полный прообраз некоторого элемента b группы В, соответствует именно этот элемент b группы В; при этом каждый элемент b группы В оказывается постав- ленным в соответствие одному-единственному классу, т. е. одному-единственному элементу группы V, именно тому классу, который является полным прообразом элемента Ь. Отображение ф гомоморфно: пусть и v2 — два элемента группы V и ^•va = v3. (4) Пусть аг есть какой-нибудь элемент класса а2— какой-нибудь элемент класса v2, а3 = а1-аа. Мы знаем, что тогда а3 принадлежит v3. Положим f (Oi) = blt f (с2) = b2, f (Оз) = b3. Так как f гомоморфно, то bi' Ь2 = Ь3. (5) Но так как vlt v2, vs суть соответственно полные про- образы элементов fe,, b2, Ь3, то Ф (»i) = К, ф (v2) = b2, ф (v3) = b3, так что равенство (5) может быть переписано в виде Ф^1)-Ф(^) = Ф(Уз). чем и доказан гомоморфный характер отображения ф. Как взаимно однозначное гомоморфное отображение группы V на группу В, отображение ф есть изоморф- 114
ное отображение V на В. Итогом всего предыдущего является следующее предложение. Теорема Э. Нетер о гомоморфных ото- бражениях. Всякое гомоморфное отображение одной группы А на другую группу В имеет своим ядром некоторую инвариантную подгруппу группы А. Обратно, всякая инвариантная подгруппа U группы А есть ядро неко- торого гомоморфного отображения <р группы А на фак- торгруппу V группы А по подгруппе U. Отображение <р получается, если каждому элементу группы А поставить в соответствие его класс относительно инвариантной подгруппы U. Если f есть произвольное гомоморфное отображение группы А на группу В, то полные прооб- разы элементов группы В при этом отображении суть классы группы А по ядру U отображения f и группа В изоморфна факторгруппе группы А по подгруппе U. Итак, инвариантные подгруппы данной группы А совпадают с ядрами всевозможных гомоморфных ото- бражений этой группы, а все группы, являющиеся гомоморфными образами группы А, совпадают с груп- пами, изоморфными факторгруппам группы А по все- возможным ее инвариантным подгруппам1). Следствие. Для того чтобы гомоморфное отобра- жение группы А на группу В было изоморфным, необхо- димсг и достаточно, чтобы ядро этого отображения состояло из одного нейтрального элемента группы А. 1) Читагелю рекомендуется еще раз продумать с точки зрения только что изложенной теоремы о гомоморфных отображениях ранее приведенные примеры инвариантных подгрупп и гомоморфных ото- бражений и определить относящиеся к ним факторгруппы.
ДОБАВЛЕНИЕ ГРУППЫ ПЕРЕМЕЩЕНИЙ ПЛОСКОСТИ И ПРОСТРАНСТВА И ИХ ПОДГРУППЫ Ю. П. Соловьев Это добавление является введением в ин- тересный раздел элементарной геометрии, а именно, в теорию геометрических преобразований плоскости и пространства. Уместность такого добавления в данной книге определяется тем, что геометрия и, в особенно- сти, названный раздел ее, доставляют многочисленные примеры и иллюстрации к основным понятиям теории групп, причем примеры простые, интересные, а главное очень наглядные. На этих примерах читатель не только еще раз проверит, насколько он усвоил эти понятия, но сможет, так сказать, увидеть их в конкретном гео- метрическом воплощении. 1. Группа перемещений плоскости. Напомним, что перемещением плоскости называется такое преобразова- ние, которое сохраняет расстояния. Другими словами, преобразование F называется перемещением, если для любых двух различных точек А и В плоскости спра- ведливо соотношение | АВ | = | А'В' I, где A' = F(A) и B' = F(B). Примеры перемещений хорошо известны чи- тателю из школьного курса геометрии. Это параллель- ный перенос Та, повзрот Ro вокруг точки О на угол а, симметрия Si относительно оси I, а также скользящая симметрия S“ (а||&), которая по определению есть ком- позиция S“ = Та° Si =Si'Tc. Оказывается, что других перемещений плоскости нет. Теорема 1.1 (Ш аль). Любое перемещение плоско- сти есть либо параллельный перенос, либо поворот, либо скользящая симметрия (в частности, симметрия, если о = 0). Доказательство. Доказательство этого утвер- ждения основано на так Называемой «аксиоме подвиж- ности плоскости» (см. Геометрия 8, стр. 92), согласно 116
которой существует ровно два- перемещения, переводя- щих пару (различных) точек А, В плоскости в любую другую пару точек Лт, Въ для которых I | ЛВ|. Пусть теперь F —некоторое перемещение, Ло — некото- рая точка на плоскости, Аг = Е(Л0), Л2 = Е(Л1). Рас- смотрим три случая: 1) Л2 = Ло; 2) Л2=Н=Л0, но точка А2 лежит на прямой 3) точка Л2 не лежит на прямой (ЛоЛ^. Если в каждом из этих трех случаев мы найдем по два различных перемещения из тех, которые были указаны в формулировке теоремы, то в силу упомяну- В случае 1) эти перемещения суть поворот вокруг середины отрезка [Л0Л1] на угол л и симметрия отно- сительно прямой, перпендикулярной к [ЛОЛХ] и прохо- дящей через ее середину. В случае 2) требуемыми перемещениями являются параллельный переносна вектор а = Л0Л1 и симметрия относительно прямой, перпендикулярной к (Л0Л2) и проходящей через точку А1. В случае же 3) это поворот вокруг точки О—точки пересечения перпендикуляров, восстановленных из середины отрезков [AqAJ и [А^] (рис. 15) и сколь- зящая симметрия, ось которой параллельна оси (Л0Л2) и проходит через середину [Л2Л^], где А,— прямоуголь- ная проекция точки А± на (Л0Л2), а вектор а = А0А'1 (рис. 16). Теорема доказана. Параллельный перенос и поворот называются пере- мещениями первого рода, а симметрия и скользящая симметрия — перемещениями второго рода. 117
Имеет место следующее утверждение: композиций двух перемещений первого рода есть перемещение пер- вого рода, композиция перемещений первого и второго рода есть перемещение второго рода, а композиция пере- мещений второго рода есть перемещение первого рода. Приведем краткое доказательство этого утвержде- ния, оставляя детали читателю. Доказательство основывается на следующем простом факте: композиция двух симметрий Sit-Sit есть парал- лельный перенос Та в случае, когда R | /2 и поворот Ro, когда эти прямые пересекаются в точке О. Кроме того, вектор а в перемещении Та перпендикулярен к и /2, направлен от 1г к /2 и по величине равен удвоенному расстоянию между этими прямыми. Угол а в пово- роте Ro есть удвоенный угол между прямыми /, и 12, Из этого факта вытекает, что любой параллельный перенос и любой поворот можно представить в виде композиции двух симметрий. Например, чтобы полу- чить такое представление для данного параллельного переноса Та, выбираем произвольную прямую пер- пендикулярную к а и параллельно переносим ее с по- мощью Та/v', тогда Та = Si, - 8ц, где /2 — Тац (1г). Анало- гично и для поворота. Значит, любое перемещение плоскости есть композиция некоторого числа симметрий: поворот и параллельный перенос — композиция двух симметрий, сама симметрия — композиция одной сим- метрии, скользящая симметрия — композиция трех сим- метрий. Заметим, что перемещения первого рода суть композиции четного числа симметрий, а перемещения второго рода — композиции нечетного числа симметрий. Верно и обратное: если перемещение первого (второго) рода каким бы то ни было способом представлено в виде композиции некоторого числа симметрий, то это число симметрий четное (нечетное). Доказательство этого утверждения предоставляем читателю. (Указа- ние. Оно эквивалентно следующему утверждению: не существует представления тождественного преобра- зования в виде нечетного числа симметрий.) В силу сказанного выше перемещения первого и второго рода можно определить как такие перемеще- ния, которые разлагаются в композиции соответственно четного и нечетного числа симметрий. Следовательно, композиция двух перемещений первого рода есть пере- 118
метение первого рода, композиция перемещений первого и второго рода — перемещение второго рода, а компо- зиция двух перемещений второго рода — перемещение первого рода, что и требовалось. В этом приложении мы не можем останавливаться на подробном рассмотрении композиций перемещений на плоскости. Читателям же, которых заинтересовал данный вопрос, советуем обратиться к превосходной книге Коксетера «Введение в геометрию». Все перемещения плоскости образуют группу, опе- рацией в которой является композиция перемещений. Действительно, если два преобразования сохраняют расстояние между точками, то сохраняет его и компо- зиция этих преобразований, т. е. композиция переме- щений есть перемещение. Аксиома ассоциативности выполнена, поскольку она выполнена для всех вообще преобразований плоскости х). Далее, тождественное пре- образование есть перемещение. И наконец, преобразо- вание, обратное к перемещению, также сохраняет рас- стояние, т. е. является перемещением. Группа всех перемещений плоскости обозначается Е(2). Она содержит бесконечное число подгрупп. Прежде всего, в силу сказанного выше подгруппу обра- зуют все перемещения первого рода. Мы будем обозна- чать эту подгруппу через £0 (2). Если F — перемещение первого рода, a G — произвольное перемещение, то G-E-G-1 есть непременно перемещение первого рода, поэтому подгруппа перемещений первого рода £0(2) инвариантна в группе всех перемещений £(2). Легко видеть, что существуют ровно два класса по этой под- группе: она сама и класс перемещений второго рода. Следовательно, подгруппа Ео (2) имеет индекс 2 в группе всех перемещений £(2) и факторгруппа Е(2) по Еи (2) является циклической группой из двух элементов. Займемся теперь группой Е0(2). Среди подгрупп этой группы отметим прежде всего бесконечное число групп поворотов: совокупность всех поворотов плоско- сти вокруг какой-нибудь определенной ее точки обра- зует группу, и каждая из этих групп, как нетрудно видеть, изоморфна группе SO (2) (см. гл. V, § 2); сле- довательно, все эти группы коммутативны. 1) Как легко видеть, ассоциативностью обладает вообще ком- позиция отображений. Докажите! 119
Совокупность всех поворотов подгруппы не обра- зует. Чтобы убедиться в этом, достаточно рассмотреть два поворота вокруг двух различных точек на углы, в сумме составляющие 2л — их композицией будет парал- лельный перенос (докажите!). Наряду с группами поворотов, в группе Еи (2) имеются подгруппы параллельных переносов вдоль раз- личных прямых. Если задана прямая /, то параллельные переносы вдоль 1 — это такие переносы, векторы которых параллельны!.. Очевидно, что такие параллельные переносы образуют подгруппу в £о(2). Так как любой такой параллель- ный перенос однозначно характеризуется длиной и направлением вектора переноса, то группа всех парал- лельных переносов вдоль данной прямой I изоморфна группе всех действительных чисел (с обыкновенным сложением в качестве групповой операции). Рассмотрим два параллельных переноса Та и Ть, векторы которых не параллельны. Композиция этих параллельных переносов в любом порядке есть парал- лельный перенос Та^-ь- Поэтому множество всех парал- лельных переносов плоскости образует коммутативную подгруппу в группе Ей{2). Эта подгруппа обозна- чается Т(2). Пусть даны два перемещения F и G из группы Ео (2). Выясним, что происходит при трансформации переме- щения F с помощью перемещения G. По определению, это будет перемещение Н (P) = G • F • G~* (Р). (1) Так как G —взаимно однозначное отображение плоско- сти, то перемещение Н будет вполне описано, если будет указано, куда в результате этого перемещения перейдет точка G(P) при любой Р. Другими словами, отображение Н будет определено для любой точки Р, если мы будем знать, куда оно переводит точку G (Р). Поэтому, заменяя в формуле (1) точку Рточкой G(P), н учитывая, что G_1"G(P) = P, мы получим G (Р) = G-F (Р). (2) Эта формула определяет перемещение Н (Р). Обозначим F(P) = Q; тогда //.G(P) = G(Q), т. е. перемещение Н переводит точку G (Р) в точку G (Q). 120
Предложение 1.2. Если F — поворот вокруг точки О на угол а, то И — поворот вокруг точки G (О) также на угол а. Доказательство. Так как F — поворот вокруг точки О, то Д(0) = 0, откуда по формуле (2) /7-G(O) = G(O), т. е. Н есть поворот вокруг точки G(0). Поскольку перемещение переводит угол в конгруэнт- ный ему угол, то угол поворота Н, по-прежнему, равен а, что и требовалось доказать. Следствие. Трансформация группы поворотов плоскости вокруг точки Р при помощи произвольного перемещения F есть группа поворотов плоскости вокруг точки F (Р). В частности, никакая группа поворотов не является инвариантной подгруппой в Ео (2). Рассмотрим теперь группу параллельных переносов. Для нее справедливо следующее утверждение. Предложение 1.3. Группа Т(2) всех параллель- ных переносов плоскости является инвариантной под- группой в группе Ео (2). Доказательство. Пусть F — некоторый парал- лельный перенос, a G — произвольное перемещение плоскости. Пусть / — некоторая прямая, параллельная вектору переноса F. Тогда имеет место равенство Д (/) = /, означающее, что при перемещении F прямая / перехо- дит в себя. Перемещение G переводит прямую I в пря- мую G(/). Из формулы (2), примененной к любой точке Р прямой /, следует Н - G (I) = G (I); т. е. перемещение Н переводит прямую G(/) в себя и, следовательно, является параллельным переносом вдоль этой прямой. Поскольку G — перемещение, то расстоя- ние между точками Р и Q — F(P) равно расстоянию между точками G (Р) и G-F(P), т. е. между G (Р) и H°G(P). Следовательно, вектор параллельного пере- носа Н совпадает с вектором параллельного переноса F. Предложение доказано. Выделив в группе Ео (2) подгруппу Т (2) парал- лельных переносов и подгруппы поворотов вокруг раз- 121
личных точек, естественно задать такой вопрос: можно ли представить любое перемещение из Ео (2) как компо- зицию переноса из Т(2) и поворота вокруг некоторой фиксированной точки. Ответ на этот вопрос является утвердительным, что вытекает из следующего предложения. Предложение 1.4. Любое перемещение первого рода можно однозначно представить в виде композиции Ro ° Та параллельного переноса и поворота вокруг фикси- рованной точки О плоскости. Доказательство. Пусть F — некоторое переме- щение первого рода, О' — прообраз точки О при пере- мещении F, т. е. О' = F-1 (О). Рассмотрим композицию Tqo ’^1- Это перемещение, очевидно, оставляет точку О на месте и является перемещением первого рода. По- этому Tq-^’F^1 поворот. Так как перемещение, обрат- ное повороту, есть поворот, мы получаем требуемую композицию. Единственность этой композиции непосред- ственно следует из единственности параллельного пере- носа Тртд. Предложение доказано. Замечание. Верно, кроме того, и следующее утверждение: любое перемещение первого рода однозначно разлагается в композицию Tt>°Ro поворота вокруг фикси- рованной точки плоскости и параллельного переноса. Для доказательства рассмотрим некоторое перемещение первого рода G. Пусть G(O) = O'. Тогда композиция T^-G переводит точку О в себя и, значит, есть пово- рот вокруг этой точки: t0^-g=c Рассмотрим композицию поворота Ro и параллель- ного переноса Т^,. Имеем ° • Tq7q -G = G, что и требовалось. Пусть Gj и G2 —два перемещения из группы До (2). В силу только что доказанного предложения = = Ro’Ta и G.2 = Ro-Tb. Композиция G^Gj^ этих пере- мещений, с одной стороны, есть перемещение Ro • Ть • Ro • Та, а с другой стороны, согласно предло- жению G2‘G1 = Ro -Тс для некоторого угла у и век- 122
тора с. Угол у и вектор с нетрудно вычислить, зная углы а, 0 и векторы а, Ь. Мы оставляем читателю эти вычисления и укажем здесь лишь окончательный ответ: у = а + Р, c = a + Roa (Ь). Полученный результат можно сформулировать сле- дующим образом. Каждый элемент группы Ео (2) одно- значно представляется в виде упорядоченной пары (До, Та), где <= SO (2), Та (= Г (2). Умножение упо- рядоченных пар (Ro, Та) и (Ro, Ть) в группе Ео (2) производится по формуле W. т„уу$, т.)=^+“, т.+я-о<„ 2. Группа перемещений пространства. Аналогично перемещениям плоскости перемещения пространства определяются как преобразования пространства, сохра- няющие расстояния между точками. К ним прежде всего относится параллельный перенос Та на вектор а, определение которого дословно повторяет соответствую- щее определение для плоскости. Другими примерами перемещений пространства являются поворот Rj вокруг оси I на угол а, винтовое перемещение симмет- рия S„ относительно плоскости л, скользящая симмет- рия, поворотная симметрия. Эти перемещения опреде- ляются следующим образом: а) Поворот Д? вокруг оси I на угол а —это пере- мещение, состоящее в повороте каждой точки простран- ства в плоскости, проходящей через эту точку и перпендикулярной к данной прямой I (оси поворота), на данный угол а (угол поворота) вокруг точки пере- сечения этой плоскости с осью. Ось и угол поворота задают поворот неоднозначно. Действительно, один и тот же результат можно полу- чить, совершая поворот вокруг данной оси на угол а в одном направлении и на угол 2л —а в другом на- правлении. Впрочем, такая же неоднозначность существует и для поворотов на плоскости. Чтобы избежать этой неоднозначности, на плоскости вводят понятие положи- тельного направления поворота —это поворот против часовой стрелки. В случае поворотов в пространстве поступают так: выбирают на оси поворота определен- ное направление и считают, что поворот является 123
положительным относительно данного направления на сси, если любая точка поворачивается в своей плоско- сти' против часовой стрелки для зрителя, стоящего вдоль оси так, что направление от его ног к его голове и есть направление, которое было выбрано на оси. В случае, когда угол поворота равен л, поворот называют опрокидыванием относительно данной оси ’). В этом случае нет надобности указывать направление поворота. Опрокидывание обладает следующим свойством: Rj-R? = E, где Е — тождественное переме- щение. Ь) Винтовым перемещением S“a называется компо- зиция поворота Rj вокруг оси I и параллельного пере- носа Та, при условии, что вектор а параллелен оси по- ворота. Порядок, в котором выполняются указанные пере- мещения, безразличен (что не имело бы места, если бы вектор а не был параллелен оси /). Частными случаями винтового перемещения являются поворот и параллельный перенос. Если задано некоторое винтовое перемещение, то тем самым задано и направление на оси поворота — это направление вектора а. В соответствии с этим винтовое перемещение называется положительным (пра- вым) или отрицательным (левым), в зависимости от того, имеет ли данный поворот положительное или отрицательное направление осн по отношению к на- правлению а. с) Симметрия S„ относительно плоскости л —это перемещение, которое оставляет все точки данной пло- скости л на месте, а любую другую точку А простран- ства переводит в точку А' такую, что прямая (ЛЛ') перпендикулярна к плоскости л и | АО | = | О А' |, где О —точка пересечения прямой (АА') и плоскости л. d) Скользящая симметрия — эта композиция Та - 5Я= = - Та, где вектор а параллелен плоскости л (благо- даря чему порядок операций в композиции безразличен). е) Поворотная симметрия — это композиция /^!8t)°°Sn= = , где ось I перпендикулярна к плоскости л (что снова делает безразличным порядок операций в композиции). *) Другое название перемещения — осевая симметрия. 124
Оказывается, что этими примерами исчерпываются все перемещения пространства; точнее, справедлива следующая теорема (которую мы приведем без дока- зательства). Теорема 2.1. Любое перемещение пространства есть либо параллельный перенос, либо поворот вокруг оси, либо винтовое перемещение, либо симметрия отно- сительно плоскости, либо скользящая симметрия, либо поворотная симметрия. Чтобы идти дальше, нам понадобятся некоторые сведения о композициях пространственных перемещений. Теорема 2.2. Композиция двух опрокидываний относительно различных осей представляет собой: а) если оси параллельны — параллельный перенос, пер- пендикулярный к обеим осям, равный удвоенному переносу, переводящему первую ось во вторую; Ь) если оси пересекаются — поворот вокруг общего перпендикуляра к обеим пересечения, на угол, равный удвоенному углу поворота, переводящего первую ось во вторую; с) если сси не лежат в одной плоскости — вин- товое перемещение, име- ющее своей осью общий перпендикуляр к обеим осям и равное удвоен- ному винтовому переме- щению ’), переводящему первую ось во вторую2). Доказательство, а) Пусть 1г и /2 — оси данных опрокидываний, Л —некоторая точка пространства, о, —ее прямоугольная проекция на ось Z,, Д'—образ точки А при опрокидывании относительно оси llt п2 —прямоугольная проекция точки Д' на ось /2 и Д" — образ точки Д' при опрокидывании относительно оси /2 (рис. 17). Плоскость, перпендикулярная осям 1) Термин удвоенное винтовое перемещение означает следую- щее. Если S“ а—некоторое винтовое перемещение, то удвоенное по отношению к S“ а виртовое перемещение—это 5,“2а. 2) Существование такого' перемещения будет следовать из доказательства теоремы, осям, прохооящего через точку Рис. 17. 125
Zj и Z2 и проходящая через точку А, проходит через прямую (АА') перпендикулярную к llf и через прямую (АД"), перпендикулярную к Z2. Поэтому прямая («ioJ является общим перпендикуляром к прямым lL и 12, а точка А" получается из точки А параллельным пере- носом, равным удвоенному переносу, переводящему прямую II в прямую Z2. b) Пусть О —точка пересечения осей 1г и Z2, л —со- держащая их плоскость, (ОС) — перпендикуляр к этой плоскости, проходящей через точку О (рис. 18). Пусть, далее А — произвольная точка пространства, А' — ее образ при опрокидывании относительно оси (причем прямая (ДА') пересекает ось Zj в точке aj и А"— об- раз точки Д' при опрокидывании относительно оси Z2 (причем прямая (Д'А") пересекает ось Z2 в точке а2). Опрокидывания относительно осей и Z2 переводят плоскость л в себя. Поэтому если мы спроектируем точки А, Д', А" на эту плоскость в точки В, В' и В”, то точки В и В” будут получаться из В' с помощью опрокидываний относительно осей Zj и Z2 соответственно. Значит, точка А" получается из точки А поворотом вокруг оси (ОС) на угол, равный удвоенному углу между II и 12. Так как отрезки [БД] и [В"А"] кон- груэнтны, параллельны (ОС) и направлены в одну и ту же сторону, то этот же поворот вокруг оси (ОС) совместит точку А с точкой А".. с) Пусть теперь оси Zj и Z2 не лежат в одной пло- скости. Обозначим через (О£О2) общий перпендикуляр 126
к /j и /2, причем точка 0t лежит на оси /п а точка 02 лежит на оси 12 (рис. 19). Проведем через точку О, прямую 1\, параллельную 1г. Рассмотрим композицию следующих четыоех опрокидываний: 7?" •/??)• R3?, -R?. Так как 7?"«7?р, — тождественное преобразование, то эта композиция совпадает с искомой композицией R^>Rf. С другой стороны, Rf,-R^ есть параллельный перенос, равный удвоенному переносу, переводящему ось R в ось /{; композиция же °Rfi есть поворот вокруг прямой (0г02) на угол, рав- ный удвоенному углу между осями 1\ и /2. Следовательно, исходная композиция R* • 7?" *2 1 представляет собой винтовое перемещение, равное удвоенно- му винтовому перемещению, пе- реводящему 1Г в /2. Теорема доказана. Последняя теорема позволяет разложить любое винтовое пере- мещение в композицию двух опро- кидываний. Именно, имеет место следующее утверждение. Теорема 2.3. Любое винтовое перемещение можно представить в виде композиции двух опрокидываний относительно двух различных прямых. Эти прямые удовлетворяют следующим усло- виям: а) если винтовое перемещение есть параллельный перенос, то они перпендикулярны к направлению пере- мещения; Ь) если винтовое перемещение есть поворот или винтовое перемещение в собственном смысле слова, то они пересекают ось под прямым углом. Одну из этих прямых можно выбрать в остальном произвольно; другая прямая при этом определяется однозначно. С помощью теоремы 2.3 можно установить следу- ющий важный результат. Теорема 2.4. Композиция двух винтовых переме- щений есть винтовое перемещение. 127
Рис. 20. перпендикуляром к осям Если эти винтовые перемещения суть повороты вокруг осей, проходящих через одну точку, то их ком- позиция есть также поворот вокруг оси, проходящей через ту же точку. Если эти винтовые перемещения суть параллельные переносы, то их композиция также будет параллельным переносом. Доказательство. Рассмотрим два винтовых перемещения, имеющих своими осями прямые и 1.г (рис. 20). Первое из них есть композиция двух опро- кидываний относительно осей тг и т{, причем т{ можно взять произ- вольно среди прямых, пересекающих под прямым углом. Анало- гично, второе винтовое перемещение есть ком- позиция опрокидываний относительно осей /п2 и т?, причем im, можно взять произвольно среди пр ямых, пересекающи х Z2 под прямым углом. Совместим теперь пря- мые т\ и т2 с общим и /2. Тогда эти прямые совпадут и опрокидывания относительно них взаимно уничтожатся. В результате останутся лишь опроки- дывания относительно прямых гщ и т’2, композиция которых в силу теоремы 2.2 будет винтовым пере- мещением. Если данные винтовые перемещения являются по- воротами вокруг осей и /2, проходящих через точку О, то через эту же точку пройдут прямые т\, /щ и т2. Поэтому композицией этих перемещений будет поворот вокруг оси, проходящей через точку О. Если же данные перемещения суть параллельные переносы, то прямые mlt т\ и т2 параллельны между собой. Следовательно, результирующее перемещение также будет параллельным переносом, что и требо- валось. Рассмотрим теперь композицию двух симметрий Sjtj И <$Л2* 128
Теорема 2.5. Композиция S„2-S„t представляет собой: а) если плоскости и л2 параллельны — параллельный перенос, перпендикулярный к обоим плоскостям и рав- ный удвоенному переносу, переводящему плоскость в плоскость л2; Ь) если плоскости л, и л2 пересекаются по прямой I — поворот вокруг I на угол, равный удвоенному углу между плоскостями л, и л2. Доказательство. Пусть А — некоторая точка пространства. Так как симметрии и 5„2 переводят в себя плоскость, проходящую через А и перпенди- кулярную к плоскостям Л! и л2, то теорема сводится к изучению композиции двух осевых симметрий на плоскости. Эта композиция есть либо параллельный перенос, перпендикулярный к осям, равный удвоенному переносу, переводящему первую ось во вторую, либо же поворот вокруг точки пересечения осей на удвоенный угол между ними. Отсюда следует утверждение теоремы. Теорема 2.5 позволяет представить параллельный перенос и поворот в виде композиции двух симметрий. В частности, опрокидывание есть композиция двух симметрий относительно перпендикулярных плоскостей. Так как винтовое перемещение представляет ссбой композицию двух опрокидываний, то его можно раз- ложить в композицию четырех симметрий. Назовем параллельный перенос, поворот и винтовое перемещение — перемещениями первого рода, а симмет- рию относительно плоскости, скользящую симметрию и поворотную симметрию— -перемещениями второго рода. Так же как и для перемещений плоскости, имеет место следующее утверждение: композиция двух перемещений первого рода есть перемещение первого рода, композиция перемещений пер- вого рода и второго рода есть перемещение второго рода и композиция двух перемещений второго рода есть пере- мещение первого рода. Доказательство этого утверждения аналогично дока- зательству соответствующего утверждения для плос- кости. Прежде всего, в силу теоремы 2.5 любое пере- мещение пространства можно представить в виде композиции некоторого числа симметрий относительно различных плоскостей. Именно, параллельный перенос п поворот есть композиция двух таких симметрий, 129
винтовое перемещение — композиция четырех симметрий, сама симметрия —композиция одной симметрии, сколь- зящая симметрия и поворотная симметрия — компози- ция трех симметрий. Следовательно, любое перемещение первого рода есть композиция четного числа симметрий, любое перемещение второго рода —композиция нечет- ного числа симметрий. Обратное тоже верно: если перемещение есть ком- позиция четного числа симметрий, то это перемещение первого рода; если же перемещение есть композиция нечетного числа симметрий, то это перемещение вто- рого рода. Для доказательства предположим, что некоторое перемещение разлагается в композицию симметрий двумя способами: F = S2* • Sj*-! •... ° S2 • Sj и F — %+1 • S'21 • ... S2 • Si, причем в одном случае число этих симметрий четное, а в другом — нечетное. Тогда имеем тождество S2'ft»S2ft_1"...eS2"S1 = S5z+1 - S2Z0...° S2 - S'i. Рассмотрим композицию левой и правой части этого тождества с S2Z4-1- Учитывая, что S21+t "S2Z4.1 = Е— тождественное перемещение, получим S21+1 ‘ S2*°S2*-1»...«S2«S1 = S2Z0. • •0S2 "Si, т. е. мы «перенесли симметрию S2Z4-1 в левую часть». Продолжая эту процедуру, в конце концов мы придем к тождеству S[' S2 °... • S21 ° S2Z4-1 ° S2ft°S2h-i ° • • ° S2«Sj = E, (3) где в левой части стоит нечетное число симметрий. Доказав, что такое невозможно, мы получим, что для любого перемещения четность или нечетность числа симметрий, входящих в произвольное разложение этого перемещения в виде композиции симметрий, не зави- сит от конкретного разложения. Это и будет означать, что четность или нечетность числа симметрий полностью определяет род перемещения. Доказательство того, что тождество (3) не выполняется ни при каком выборе нечетного числа симметрий, мы оставляем читателю. Из всего сказанного следует, что перемещение пер- вого (второго) рода можно определить как перемеще- но
ния, разлагающиеся в композиции четного (нечетного) числа симметрий, откуда немедленно вытекает требуе- мое утверждение. Замечание 1. Тот факт, что композиция пере- мещений первого рода есть перемещение первого рода, непосредственно следует из теоремы 2.4, что является еще одним его доказательством. Замечание 2. Мы не имеем возможности осве- тить в этом коротком добавлении все аспекты теории пространственных перемещений. Подробно эта теория изложена в уже упомянутой книге Коксетера «Введе- ние в геометрию». Так же как в случае плоскости, множество всех перемещений пространства образует группу, операцией в которой является композиция перемещений. Эта группа обозначается £(3). Согласно сказанному выше множество всех переме- щений первого рода образует подгруппу Ео (3) в группе £(3). Поскольку трансформация Gl-F-G произволь- ного перемещения первого рода есть снова перемеще- ние первого рода, то эта подгруппа инвариантна в группе Е(3). Аналогично случаю плоскости сущест- вует ровно два класса по этой подгруппе: она сама и класс перемещений второго рода. Поэтому Ео (3) имеет индекс 2 в группе £(3) и факторгруппа Е (3) по £0(3) есть циклическая группа из двух элементов. Рассмотрим теперь подгруппы группы Ео(3). В ка- честве своей подгруппы эта группа содержит группу 7(3) всех параллельных переносов пространства. Этот факт непосредственно следует из теоремы 2.4, согласно которой композиция двух параллельных переносов есть снова параллельный перенос. Группа Г(3) ком- мутативна. Проще всего это установить, если заме- тить, что композиция двух параллельных переносов изображается диагональю параллелограмма, сторонами которых служат эти параллельные переносы. Дословным повторением доказательства предложе- ния 1.3 получается Предложение 2.6. Группа Т(3) является инва- риантной подгруппой в группе перемещений первого рода Ео(3). Бесконечную серию подгрупп группы £0(3) обра- зуют подгруппы поворотов вокруг фиксированных осей. Действительно, если ( — некоторая ось, /?“, Д/— два 131
поворота вокруг нее, то композиция /?“ 7?/ есть пово- рот вокруг этой же оси на угол а + р. Тождественное перемещение можно рассматривать как поворот вокруг оси I на нулевой угол. И, наконец, обратным к пово- роту Rf является поворот вокруг оси I на угол —а. Поскольку 7?“« = = 7?f+“ = Rf, то группа поворотов вокруг фиксированной оси коммутативна. В качестве полезного упражнения предлагаем чита- телю доказать, что множество всех поворотов в про- странстве подгруппы не образует. (Указание: про- верить, что композиция двух поворотов вокруг осей, не лежащих в одной плоскости, представляет собой винтовое перемещение в собственном смысле слова; другими словами, в такую композицию входит нетож- дественный параллельный перенос.) Более интересную серию подгрупп в Ео (3) образуют перемещения первого рода, имеющие данную неподвиж- ную точку. Пусть Л —некоторая точка пространства. Рассмотрим все такие перемещения из £0(3), для кото- рых точка А является неподвижной, т. е. такие пере- мещения F, что Е(Л) = Л. Если F( и F2—два таких перемещения, то для F2-F1 имеем F^F, (Л) = F2 (Л) = = Л. Значит, для F2^Fl точка Л также является неподвижной. Ясно, что тождественное перемещение оставляет точку Л на месте. Кроме того, если F (Л) = = Л, то F1(A) = А. Это доказывается так: Поскольку F-1°F = E —тождественное перемещение, то Л = Е-ЬЕ(Л) = Е-ЧЛ). Таким образом, перемещение, обратное к перемещению с неподвижной точкой Л, само есть перемещение с не- подвижной точкой Л. Итак, перемещения, имеющие данную неподвижную точку, образуют группу. Понятно, что эта группа является подгруппой в Е0(Ъ). Кроме того, любые такие подгруппы, одна из которых оставляет непо- движной какую-нибудь точку Л, а другая — точку Л', — изоморфны между собой. Эти изоморфные группы при- нято обозначать SO (3) или SO (3)д, если мы хотим указать конкретную неподвижную точку Л. Группа 5О(3)л содержит в качестве подгрупп все группы поворотов вокруг осей, проходящих через 132
точку А. Более подробная информация о группе SO(3)a получается из следующего предложения. Предложение 2.7. Любое перемещение F из SO (3)д имеет вид где Zj и 12 — некоторые прямые, проходящие через точ- ку А. Доказательство. Пусть В —некоторая точка пространства, отличная от А и B' = F(B). Имеем | АВ | = | АВ' следовательно, точку В' можно совме- стить с точкой В посредством поворота Ri2 вокруг оси /2, перпендикулярной к плоскости ВАВ' (и прохо- дящей через точку А) на угол у, равный углу В’АВ. Таким образом, композиция Rlt°F оставляет на месте точки А и В, а значит, и любую точку прямой lL = = (АВ). Следовательно, перемещение /?£°F есть пово- рот вокруг оси /, на некоторый угол а: R7s°F=R?,. Возьмем композицию этого поворота RT, и поворота Rl . ft = R? <. Rfi== Ruv° R7,°F =RF,v+v°F = F, что и требовалось доказать. Выясним теперь, что происходит при трансформа- ции группы SO(3)a некоторым элементом G е £0 (3). Прежде всего заметим, что для перемещений простран- ства дословно остаются в силе рассуждения, предше- ствующие предложению 1.2 предыдущего пункта. Именно, если F и G два перемещения из Ео(3) и /7 = G°F «G1, то перемещение Н полностью определя- ется формулой H~G(P) = G-F(P), совпадающей с формулой (2) предыдущего пункта. Поэтому имеет место следующее утверждение. Предложение 2.8. Если F — перемещение из 5О(3)д, то H = G°F°G~1 есть перемещение из группы SO (З)с(Д). 133
Доказательство. Так как Г(Л) = Д, то ука- занная выше формула принимает вид H°G(A) = G°F (A) = G(A), т. е. перемещение Н оставляет неподвижной точку С(Л). Следовательно, Н (= SO (3)с<л). Из этого предложения вытекает, в частности, что никакая из групп SO (3)л не является инвариантной подгруппой в Ео(3). Замечание. Предложение 2.8 можно усилить. Именно, можно показать, что если перемещение F е е5О(3)Л разложено в композицию F = /?P2°7?“, то Н е SO (3)G (Д) представляется в виде композиции H = где прямые т1 и т2 проходят через точку G (Л), причем угол между этими прямыми равен углу между прямыми 1± и /2. Доказательство этого утверждения мы оставляем читателю. И, наконец, имеет место предложение, аналогичное предложению 1.4. Предложение 2.9. (1) Любое перемещение из Ео (3) однозначным образом представляется в виде ком- позиции F°Ta, где F SO (3)а —перемещение, имеющее данную непо- движную точку А, а Та — параллельный перенос. (2) Любое перемещение из Ео(3) однозначным обра- зом представляется в виде композиции Tb°G, где G е SO (3)д — перемещение, имеющее данную непо- движную точку А, а Ть — параллельный перенос. Доказательство этого предложения почти дословно совпадает с доказательством предложения 1.4 и по- этому мы его опускаем. 3. Конечные подгруппы группы перемещений про- странства. В главе V были рассмотрены группы само- совмещений правильных пирамид, группы диэдров (двой- ных пирамид) и группы самосовмещений правильных многогранников. Все эти группы имели конечный поря- док. Решим теперь обратную задачу: найти все группы, состоящие из конечного числа перемещений простран- ства. Оказывается, что это именно только что перс- 131
численные группы и никакие другие. Тем самым мы получаем полный список конечных подгрупп группы перемещений пространства. Пусть Г — такая конечная группа. Установим прежде всего следующий результат. Предложение 3.1. Группа Г состоит только из поворотов пространства. Доказательство. Пусть X —некоторое переме- щение, содержащееся в группе Г; тогда Г будет содер- жать также и все последовательные степени X2, X3, ... перемещения X. Поэтому прежде всего необходимо, чтобы среди этих степеней было конечное число раз- личных элементов. Следовательно, перемещение X не может быть параллельным переносом. Действительно, предполагая противное, обозначим через а длину вектора параллельного переноса X. Степени X также будут параллельными переносами, длины векторов которых равны 2а, За и т. д. Все эти параллельные переносы различны между собой и их имеется бесконечное число. Далее, перемещение X не может быть винтовым перемещением. В самом деле, если обозначить через а длину вектора параллельного переноса, входящего в винтовое перемещение X, то перемещения X2, X3 и т. д. будут содержать параллельные переносы, длины векторов которых равны 2а, За, ... Следовательно, все такие винтовые перемещения будут различны. Остаются только повороты.. Предложение дока- зано. Предложение 3.2. Все повороты группы Г, имею- щие общую ось, являются степенями одного из них, именно того, которому соответствует наименьший угол поворота. Доказательство. Пусть А с:Г — подмножество поворотов из группы Г, имеющих общую ось, 7? е А — поворот, имеющий наименьший угол а. Покажем, что а =—, где п — положительное целое число. Действи- /I тельно, в противном случае мы имели бы /га <; 2л < < (k-\- 1)а (/г — целое число). Поэтому углы ах = 2л— — /га и а2 = (&-)- 1)а — 2л были бы отличны от нуля и не превышали угла а. Кроме того, углы а, и аг были бы углами поворотов около той же оси, что про- тиворечит предположению, 135
Итак, мы показали, что поворот R, имеющий наи- меньший угол среди всех поворотов с общей осью, удовлетворяет условию Rn=^E. Докажем теперь, что всякий поворот из множества А является степенью R. Действительно, если это не так, то аналогично только что доказанному соответствую- щий повороту угол р будет удовлетворять неравенст- вам та< Р < (т+ 1)а- Значит, поворот, которому соответствует угол р— та, и который, очевидно, при- надлежит множеству А, будет иметь угол, строго мень- ший а. Предложение доказано. Число п, фигурирующее в этом предложении (т. е. такое наименьшее положительное число, что Rn~E), называется порядком поворота. Предложение 3.3. Оси всех поворотов, принад- лежащих группе Г, проходят через одну точку. Доказательство. Пусть Rx и Д2 — два поворота из группы Г. Покажем прежде всего, что их оси лежат в одной плоскости. Предположим противное, т. е., что оси R и /2 поворотов R± и Т?2 являются скрещиваю- щимися прямыми. Согласно теореме 2.3 поворот Rt есть композиция двух опрокидываний относительно пересекающихся осей тг и tn'i, пересекающих /г под прямыми углами, причем т\ можно взять произвольно. Точно так же поворот Т?2 есть композиция двух опро- кидываний относительно пересекающихся осей т2 и т’>, пересекающих /2 под прямыми углами, причем можно выбрать произвольно. Совместим прямые т{ и т2 с общим перпендикуляром к осям 1± и /2. Опроки- дывания относительно них взаимно уничтожаются, так что композиция R2‘Rt представляет собой композицию опрокидываний относительно прямых тг и тг. Прямые и т2 не могут пересекаться. В противном случае определяемая ими плоскость содержала бы общий пер- пендикуляр к /, и 1<г. Поэтому прямые lt и /2 оказались бы перпендикулярными к этой плоскости (как прямые, перпендикулярные каждая к двум прямым, лежащим в плоскости) и, значит, параллельными в противоречие с предположением. Следовательно, прямые т} и т2 не имеют общих точек, т. е. Ri-R1Ke является поворотом. Итак, мы доказали, что оси любых двух поворотов из группы Г лежат в одной плоскости. Далее, эти оси не могут быть параллельными. Действительно, если бы повороты Rx и R.z вокруг 136
параллельных осей имели равные, но имеющие проти- воположные направления углы поворота, то Ri-Rl было бы нетождественным параллельным переносом. Если же повороты Rt и R2 вокруг параллельных осей имели бы неравные углы или же равные и одинаково направленные углы, то композиции Rt°R2 и Дг0 были бы поворотами на один и тот же угол вокруг различных осей, так что композиция R^° R2°(R2° RiR1 — = 7?| - Т?2 ° Ri1 • Ril (очевидно, принадлежащая груп- пе Г) была бы нетождественным параллельным пе- реносом. Итак, оси двух поворотов обязательно пересекаются в некоторой точке О. Покажем теперь, что в группе Г содержится пово- рот R, ось которого проходит через точку О и не лежит в плоскости, проходящей через оси поворотов и R2. В самом деле, если R± и Т?2 —опрокидывания, то та- ким поворотом будет композиция R2°Rt. В противном случае, если один из поворотов, скажем, Rlt не является опрокидыванием, то таким поворотом будет R1-R2-RY1. Следовательно, ось любого поворота из группы Г должна проходить через точку О, так как она долж- на пересекать оси поворотов /?,, R2 и R. Предложение 3.3 доказано. Пусть О —точка пересечения всех осей поворотов, принадлежащих группе Г. Примем эту точку за центр сферы S единичного радиуса. Для того чтобы изучить повороты, принадлежащие Г, достаточно изучить их действие на сфере S. Любая ось поворота пересекает сферу S в двух точках. Очевидно, что эти точки будут единственными неподвижными относительно данного поворота точками на сфере. Назовем их полюсами данного поворота. Полюс поворота может принадлежать сразу нескольким поворотам группы Г. Пусть, например, некоторому полюсу соответствуют повороты Д1, ... , Rk с углами cq, ..., а*, причем угол at наименьший из них. Тогда сц необходимо имеет вид 04 = - (п —целое положи- тельное число). Действительно, если бы было не так, т. е. а1 = -^-2л, где т и л—взаимно простые1), то в J) То есть наибольший общий делитель тип равен единице. 137
группе Г содержался бы поворот на угол, строго мень- ший ССр Для того чтобы доказать это, будем считать, что m<Zn (случай рассматривается аналогично). Представим число п в виде п = 1т-\-г, где 0 < г<т, и рассмотрим поворот очевидно принадлежащий группе Г. Наименьший положительный угол этого поворота равен 2л —— 2 л = 2 л 11-—т = — • 2л <; cq, п п п 1 что и требовалось доказать. Все остальные повороты R2, ..., Rk будут степенями поворота R±. Действительно, если бы угол р, соответ- ствующий одному из этих поворотов, удовлетворял неравенствам т-.2л<₽<^+12л, п п то, взяв композицию этого поворота и поворота Ri т, мы получили бы поворот той же оси на угол, строго „ 2л меньшии — = ах, что противоречит сделанному пред- положению. Назовем число п порядком данного полюса пово- рота. Легко видеть, что полюс n-го порядка принад- лежит п — 1 поворотам, не считая тождественного. Нашей ближайшей целью является получение фор- мулы, связывающей порядок N группы Г и порядки пъ ..., nk различных полюсов поворота. Для этого введем следующее определение. Точки и Р2 на сфере S называются эквивалентными относительно группы Г, если существует такой поворот 7? е Г, что R (Р±) = Р2. Таким образом, любая точка Р на сфере 3 имеет N эквивалентных ей точек, которые получатся, если при- менять к Р все повороты из группы Г. Если точка Р не является полюсом, то все эквивалентные ей точки различны между собой. В самом деле, если несколько эквивалентных точек совпадают с точкой Р', то эта точка будет полюсом некоторого поворота R’, но тогда точка Р будет полюсом поворота R. Если же точка Р есть полюс n-го порядка для по- ворота R, то она совпадает с п — 1 эквивалентными 138
ей точками. Пусть теперь Р'— некоторая точка, экви- валентная точке Р и получающаяся из нее поворотом R': Р' = R'(Р). Тогда п из точек, эквивалентных точке Р, а именно точки R' (Р), RR' (Р), R2R’ (Р), ..., Rn~1R' (Р), будут совпадать с точкой Р'. Других точек, эквивалентных точке Р и совпадающих с Р', не существует. Действительно, если бы такие точки существовали, то Р' была бы полюсом поворота порядка т, причем т>п. Но тогда и точка Р, кото- рая получается из Р' поворотом (Р')"1, была бы полю- сом псворота порядка tn. Следовательно, все 7V точек, эквивалентных полюсу л-го порядка Р, по п совпадают между собой. Таким образом, в этом случае точка Р N имеет всего лишь — различных эквивалентных ей то- чек, учитывая и самое точку Р. Пусть теперь Рп ..., Ph — неэквивалентные полюсы поворотов, входящих в группу Г, пъ ..., ttk — порядки этих полюсов и N — порядок группы Г. Предложение 3.4. Числа N, nlt ..., nk связаны между собою следующим соотношением: \ «1 / 1 \ пг / ' 1 \ «*/ N к ' Доказательство. Подсчитаем число поворотов, которым принадлежат данные неэквивалентные полюсы Pi.... Pk. Полюс Рх имеет порядок только что N мы установили, что эта точка имеет— различных эк- вивалентных ей точек. В то же время Pt есть полюс И] — 1 поворотов, не считая тождественного. Каждая из точек, эквивалентных точке Рх, также будет полюсом — 1 поворотов. Поэтому всего мы имеем — (fir—1) = = поворотов. Аналогичные вычисления мож- но проделать и для всех остальных полюсов, в резуль- тате чего мы получим полное число поворотов /V Г(1 - —) + (1 - —) 4- • • - 4- (1 — — )]• |Д «1/ ' \ «2/ \ «Л/J В это число не вошел тождественный поворот, зато каждый из N — 1 оставшихся поворотов вошел ровно 139
два раза (ведь все полюсы разбиваются на пары диаметрально противоположных). Следовательно, откуда что и требовалось доказать. Соотношение (4) позволяет описать все конечные подгруппы группы перемещений пространства. Теорема 3.5. Конечные циклические группы (группы правильных пирамид), группы диэдров и группы правиль- ных многогранников являются единственными конечными подгруппами группы перемещений пространства. Доказательство. Так как числа п1г ...,пьв соотношении (4) больше или равны 2, то 1~ для всех / = 1, ..., k. Поэтому число k не может пре- 2 восходить трех, поскольку правая часть 2—соотно- 2 шения (4) строго меньше 2. В то же время 2-Ь а каждая из скобок в левой части (4) меньше 1. Следовательно, число k не может быть равным 1. Итак, для числа k имеются две возможности: k — '2 и й = 3. I. А = 2. В этом случае соотношение (4) превра- щается в fl- — ) + (1-— 1 = 2-4 \ / \ «2 / N ИЛИ в 4+4=4- (5) П} 712 ** Уравнение (5) имеет единственное решение nl = n2 = N. Действительно, в противном случае одно из чисел пг или п2 превосходило бы У, что невозможно, поскольку ДГ должно быть кратным чисел щ и п2. Так как — = — =1, то имеется всего лишь два т п2 различных полюса поворота и, значит, единственная ось поворота. 140
Все повороты вокруг этой оси представляют собой степени данного из них, т. е. мы имеем циклическую группу конечного порядка. Такую группу образуют самосовмещения правильного многогранного угла или, что то же самое, самосовмещения правильной пирамиды (см. § 3, гл. V). II. k = 3. В этом случае по крайней мере одно из чисел «J, п2 или пз равно 2, так как если бы одновре- менно пг 3, п2 3 и п3 4' 3, то 1 —- ~г= , 1 —L til Ло ^2,12 сткУда что невозможно. Положим п3 = 2. Тогда соотношение (4) примет вид Решим уравнение (6) в целых положительных числах. Прежде всего заметим, что если одно из искомых чисел, например, пъ равно 2, то другое число п2 находится из формулы В этом случае имеются два полюса и, следовательно, единственная ось п2-го порядка Все остальные пово- роты, оси которых отличны от этой оси, будут опро- кидываниями. Очевидно, что оси этих опрокидываний будут перпендикулярны к оси п2-го порядка и состав- ляют между собой равные углы. Такую группу образуют самосовмещения правиль- ного многоугольника в трехмерном пространстве или двойной пирамиды (диэдра), см. § 3, гл. V. Итак, мы рассмотрели случай, когда одно из чисел пг или п2 равно 2. Исключая его, мы имеем одновре- менно иг^3 и и2ЭгЗ. Однако оба эти числа не могут быть больше 3, так как для и п2^4 мы имеем — 4- 1 ==£ ! <г ! -Р . Следовательно, по крайней п, 1 п2 2 2 1 N 141
мере одно из чисел «j и п2 равно 3. Будем считать, что это число tit (в противном случае можно поменять местами в уравнении (6) числа пг и и2); тогда 1.±_1. откуда «2 <6. Итак, «2 может принимать только три значения, 3, 4, 5. Поэтому (с учетом симметрии урав- нения (6) относительно переменных «х и п2) мы полу- чаем следующие пять решений: 1) «1 = »2-=3, N = 12; 2) «i = 3, «2 = 4, N = 24; 3) «1 = 4, «2 = 3, N = 24; 4) «1 = 3, «2 = 5, 2V = 60; 5) «1 = 5, «2 = 3, М = 60. Для того чтобы завершить доказательство теоремы нужно показать еще, что каждому полученному таким образом решению соответствует некоторый правильный многогранник, и, следовательно, группа всех его само- совмещений. Эту часть доказательства мы опускаем — она требует средств, несколько выходящих за рамки настоящей книги. Полное доказательство читатель най- дет во втором томе «Элементарной геометрии» Ж- Адамара. В заключение отметим, что перечисленными под- группами отнюдь не исчерпывается множество всех подгрупп, лежащих в группах Е (2) и Е (3). Среди всех подгрупп Е (2) и Е (3) особое значение для различных областей естествознания имеют так называемые кри- сталлографические группы. Они определяются следу- ющим образом. Назовем пространственной решеткой Бравэ (или пространственным кристаллом) множество L, образо- ванное всеми точками пространства с радиусами-векто- рами R вида R = «iet + п2е2 + «збз. где elt е2 и е3 — три некомпланарных вектора, a nlt п2 и «з — всевозможные целые числа. Аналогично опре- деляется плоская решетка Бравэ (плоский кристалл). Множество перемещений пространства (соответственно плоскости), переводящих решетку L в себя, называется пространственной кристаллографической группой (соот- ветственно плоской кристаллографической группой) и 142
обозначается через G3 (L) (соответственно G2 (L)). Ясно, что множество G3 (L) (соответственно G2 (L)) является подгруппой группы Е (3) (соответственно группы £(2)). Аналогично тому, как мы описали конечные группы перемещений, можно получить полную классификацию всех кристаллографических групп (правда, затратив на это значительно больше времени и усилий). Оказывается, что существуют ровно 17 неизоморфных друг другу плоских кристаллографических групп и 230 невзоморф- ных пространственных кристаллографических групп. Каждой из этих групп отвечает соответствующая пло- ская или пространственная решетка. Интересно отме- тить, что эти плоские решетки были обнаружены еще в древности египетскими архитекторами и художниками, в то время как классификация трехмерных решеток была получена лишь в конце прошлого столетия.
Павел Сергеевич Александров ВВЕДЕНИЕ В ТЕОРИЮ ГРУПП М.» 1980 г., 144 стр. с илл. (Серия: Библиотечка «Квант») Редактор В. Ф. Пахомов Техн, редактор Е. В. Морозова Корректор Г» Ct Вайсберг МБ № 11625 Сдано в набор 29.04.80. Подписано к печати 28.07.80. Т-14613. Бумага 84Х108’/з2. тип. № 1. Литературная гарнитура. Высокая печать. Условн. печ. л. 7,56. Уч,-изд. л, 7,46. Тираж 100 000 экз. Заказ № 1312. Цена 25 коп. Издательство «Наука» Главная редакция физико-математической литературы 117071, Москва, В-71, Ленинский проспект, 15 Ордена Октябрьской Революции, ордена Трудового Красного Знамени Ле- нинградское производственно-техническое объединение «Печатный Двор» имени А. М. Горького «Союзполиграфпрома» при Государственном коми- тете СССР по делам издательств, полиграфии и книжной торговли. 197136, Ленинград, П-136, Чкаловский пр., 15.