Предисловие: ЗАДАЧИ И УПРАЖНЕНИЯ ПО ОСНОВАМ ОБЩЕЙ АЛГЕБРЫ

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

ЗАДАЧИ И УПРАЖНЕНИЯ ПО ОСНОВАМ ОБЩЕЙ АЛГЕБРЫ

и специальной подготовкой. Большинство задач носит теоретический характер. Это поможет в значительной
степени удовлетворить запросы сильных студентов и подготовить их к чтению специальной литературы.
Обширный материал делает невозможным охватить все части общей алгебры в одной книге. Преследовалась цель
показать читателю богатство содержания и разнообразие методов ряда важнейших разделов этой науки.
При подборе задач использовались сборники [44], [25], [26], [42], [50], [33], [5], [55], а также другие учебники и монографии,
приведенные в литературе. Энциклопедическим трудом по алгебре является классическая монография
[9]. Признание получили книги [27], [31], [46]. Отличный от традиционного подход к алгебре развивается в [56]. Те
или иные направления общей алгебры представлены в книгах [2], [3], [10], [12], [15], [22], [36], [49]. Имеется богатая
литература по главным ветвям общей алгебры. Началам теории решеток посвящена книга [45]. Классическая теория
решеток отражена в [7] и [14]. Полугруппы рассматриваются в [18], [34] и [57]. Библиография по теории групп
довольно обширна. После общепризнанных книг [16], [28], [53] можно перейти к другим указанным источникам: [6 ],
[8 ], [11], [13], [19], [21], [29], [35], [40], [47], [48], [54], [58], [60], [61]. Книги [4], [17], [30] хороши для первоначального
знакомства с теорией колец и модулей. Для пополнения знаний в этой области можно использовать книги [20], [24],
[37], [43], [51]. В качестве учебного пособия по теории конечномерных ассоциативных алгебр можно порекомендовать
книгу [39]. Весьма полным руководством по теории абелевых групп остается двухтомная монография [52].
Есть также книги [23], [24], [37], [59], [62], [63], [64]. С алгебраической теорией чисел можно ознакомиться по [1].
Знакомство с теорией полей можно начать по книгам [9], [22], [31], [32], [38], [41].
Предполагается, что читатель в целом уже знаком с терминологией и исходными теоремами. Тем не менее, в каждом
параграфе приводятся основные понятия и обозначения, встречающиеся далее в упражнениях. Иногда понятия
объясняются в текстах задач. Для удобства работы в начале книги имеются список обозначений и терминов и
предварительные сведения, а в конце — предметный указатель.
Некоторые задачи снабжены ответами и указаниями, нередко достаточно подробными. Это пригодится читателю в
его самостоятельной работе. Часть упражнений имеет форму утверждений. Предполагается, что читатель может
попробовать доказать соответствующий факт.

Введение

К общей алгебре обычно относят разделы алгебры, изучающие такие алгебраические системы как группы, кольца,
полугруппы, решетки и т.п. Есть разделы алгебры, традиционно не считающиеся принадлежащими общей алгебре.
Например, линейная и полилинейная алгебра, алгебраическая теория чисел. Конечно, принцип деления алгебры на
общую и «оставшуюся» весьма условен. Неясно, включать ли в общую алгебру теорию полей или категорий.
В любом случае не подлежит сомнению, что теория групп и теория колец остаются фундаментом общей алгебры.
И именно упражнения о группах и кольцах составляют главное содержание сборника. С теорией колец неразрывно
связана теория модулей — одно из современных направлений в теории колец.
Задачи по абелевым группам составляют самостоятельную главу, что отражает реальную ситуацию с этой ветвью
алгебры. Решеткам и полугруппам отведено по одному параграфу, хотя это и не соответствует их значению в
математике. Учитывая исключительную важность полей для всей математики, им посвящена отдельная глава.
Некоторые конечные группы и конечномерные алгебры были исследованы в 19 веке. На рубеже 19 и 20 веков было
осознано, что алгебраические объекты следует определять аксиоматически. А в 20-е годы прошлого века пришло
понимание того, что алгебра должна изучать произвольные множества с заданными на них алгебраическими
операциями. Это был период становления современной алгебры, проходивший на фоне проникновения в алгебру
теоретико-множественных методов. Алгебра стала аксиоматической наукой. Публикация в 1930 и 1931 годах двухтомной
«Современной алгебры» Ван дер Вардена зафиксировала новый статус алгебры.
Последующее развитие общей алгебры характеризуется как исключительно интенсивное. Ее классические объекты,
прежде всего группы и кольца, были подвергнуты детальному и систематическому изучению. Появились и
оформились в самостоятельные направления новые области исследования, посвященные различным другим алгебраическим
образованиям. Открылось большое число связей общей алгебры с сопредельными разделами науки.

6 Предисловие. ЗАДАЧИ И УПРАЖНЕНИЯ ПО ОСНОВАМ ОБЩЕЙ АЛГЕБРЫ 

Теория групп, несмотря на относительную молодость, имеет интересную и содержательную историю. От Ж.-
Л. Лагранжа, стихийно применявшего группы перестановок, до работ Э. Галуа, где уже сознательно используется
идея группы (им же впервые введен и сам термин), — вот путь, по которому развивалась эта идея в рамках
теории алгебраических уравнений. Независимо идея группы возникла в геометрии, когда в середине 19 столетия
на смену единой античной геометрии пришли многочисленные «геометрии» и остро встал вопрос об установлении
связей и родства между ними. Выход был указан «Эрлангенской программой» Ф. Клейна, положившей в основу
классификации геометрий понятие группы преобразований. Третий источник понятия группы — теория чисел.
Здесь можно отметить работы Л. Эйлера и К.Ф. Гаусса.
Осознание в конце 19 века принципиального единства теоретико-групповых идей, существовавших к тому времени
независимо в разных областях математики, привело к выработке современного понятия группы (А. Кэли, Г. Фро-
бениус и др.). Итог начального развития теории групп как групп перестановок был подведен в книге К. Жордана
«Курс теории перестановок и алгебраических уравнений» (1870). Первой книгой, посвященной абстрактной теории
групп и рассматривавшей только конечные группы, является книга У. Бернсайда «Теория групп конечного порядка
» (1897). Впервые изложение основ теории групп, без предположения конечности рассматриваемых групп, было
предпринято в книге О.Ю. Шмидта «Абстрактная теория групп» (1916).
Подход Клейна к проблеме классификации геометрий оказался полезным в математике и других науках. Это объясняется
тем, что свойства группы преобразований, оставляющих инвариантной некоторую структуру, отражают
многие свойства самой этой структуры. Например, изучение группы пребразований, относительно которых инвариантны
силы, связывающие вместе атомы в молекулах, позволяет многое узнать о поведении спектров молекул.
Теория групп является мощным инструментом познания одной из глубоких закономерностей физического мира —
симметрии. Всюду, где идет речь о симметрии, проявляется систематизирующая роль теории групп. В этом одна
из причин востребованности данной теории.
Изучая группы преобразований или симметрии, по существу имеют дело с автоморфизмами различных объектов.
В математике, как и вообще в естествознании, группы нередко возникают в виде групп автоморфизмов каких-
либо математических структур. Такая форма применения теории групп обеспечивает ей уникальное положение в
алгебре.
Алгебраическая топология демонстрирует другой распространенный способ изучения неалгебраических объектов
с помощью групп. Его суть — в сопоставлении с такими объектами определенных групп и в последующем их
исследовании.
В настоящее время теория групп является одной из самых развитых областей алгебры, а понятие группы — одним
из наиболее важных, плодотворных и всеобъемлющих математических понятий. Квантовая механика, физика
твердого тела, химия и экономика — вот далеко не полный перечень областей, где полезность и необходимость
применения теории групп общепризнаны. Как и вся математика, теория групп находится сейчас в состоянии динамического
развития.
Произвольные ассоциативные кольца и алгебры стали предметом постоянного интереса в 20-30-е годы 20 века. До
этого теория колец развивалась как теория конечномерных алгебр. Теория конечномерных алгебр — один из самых
старых разделов современной алгебры. Его появление связано с работами У. Гамильтона, открывшего знаменитое
тело кватернионов (1843), А. Кэли, разработавшего теорию матриц, и Г. Грассмана. В это время постепенно
начинает формироваться понятие гиперкомплексной системы. Гиперкомлексная система, говоря сегодняшним языком,
— это конечномерная ассоциативная алгебра над полем вещественных чисел R или полем комплексных чисел
C. Гиперкомплексными системами занимались многие замечательные математики (К. Вейерштрасс, Р. Дедекинд,
К. Жордан, Б. Пирс, К.С. Пирс, Г. Фробениус и др.). Фробениусу принадлежит исторически первая теорема структурной
теории алгебр (1886). Всякая конечномерная алгебра с делением над полем R изоморфна либо R, либо C,
либо телу кватернионов (см. 12.70). Теория гиперкомплексных систем достигла своего апогея в самом конце 19
века. Ф.Э. Молин (1893) и Э. Картан (1898) описали полупростые комплексные и вещественные алгебры.
Новый этап в развитии конечномерных алгебр связан с рассмотрением в начале 20 века алгебр над произвольным
полем. Дж. Веддерберн (1908) перенес теоремы Молина и Картана на случай произвольного поля.
В 20-30-е годы 20 столетия алгебраисты немецкой школы, группировавшиеся вокруг Э. Нетер, Э. Артина и Р. Брауэра,
распространили теорию Молина-Картана-Веддерберна на ассоциативные кольца с условием минимальности
для односторонних идеалов (артиновы кольца), после чего она приобрела знакомую нам форму.
Общая структурная теория колец была основана в 40-х годах прошлого века. Центральной идеей этой теории
является концепция радикала. Начало общей теории радикалов колец и алгебр было положено А.Г. Курошем.
С формальной точки зрения понятие модуля над кольцом обобщает понятие векторного пространства над полем,
когда роль области скаляров играет некоторое кольцо. Такое алгебраическое образование позволяет единообразно
трактовать обычные пространства и абелевы группы и группы с операторами. Рассмотрение модулей над кольцом
R в определенном смысле равносильно рассмотрению его представлений (гомоморфизмов) в кольцах эндоморфизмов
абелевых групп. Модули естественным образом возникают в различных математических исследованиях. Так,
центральная задача теории линейных представлений групп — это изучение модулей над групповыми алгебрами.

7 Предисловие. ЗАДАЧИ И УПРАЖНЕНИЯ ПО ОСНОВАМ ОБЩЕЙ АЛГЕБРЫ 

Конечные абелевы группы, т.е. модули над кольцом целых чисел Z, появились у Гаусса как группы классов бинарных
квадратичных форм. Он, в частности, заметил, что не все эти группы являются циклическими. Первый
и замечательный пример разложения бесконечной абелевой группы в прямую сумму циклических был дан П. Дирихле
(1846) в работе о единицах (обратимых элементах) поля алгебраических чисел. Фробениус и Штикельбергер
(1878) доказали разложимость конечной абелевой группы в прямую сумму циклических. Некоторые фрагменты
этой основной теоремы о конечных абелевых группах и ее доказательства отыскиваются у Гаусса. Понятие модуля
встречается впервые в 60-80-х годах 19 века в работах Р. Дедекинда и Л. Кронекера, посвященных арифметике
полей алгебраических чисел и алгебраических функций (Дедекинд называл его «порядком»). Э. Нетер и В. Крулль
выявили ведущую и синтезирующую роль понятия модуля для многих ситуаций.
Вторая половина прошлого века была временем бурного развития теории колец и модулей как единой дисциплины.
Теория колец и модулей обогатилась мощными методами и замечательными теоремами, превратившись в богатую
и разветвленную часть математики. Она нашла многочисленные применения как в математике, так и в смежных
науках. Понятие кольца остается, наряду с понятием группы, одним из основных не только алгебраических, но и
общематематических понятий.
Абелевы (т.е. коммутативные) группы так названы в честь Н. Абеля (1802-1829), который изучал алгебраические
уравнения с коммутативными группами Галуа. Мы уже писали, что конечные коммутативные группы впервые
фактически рассматривал Гаусс.
Своеобразие теории абелевых групп в том, что ее лишь формально можно отнести к общей теории групп. Условие
коммутативности оказывается весьма специфическим для групповой структуры. Абелевы группы можно также
считать модулями над кольцом целых чисел. Подобная точка зрения достигла полной отчетливости в 50-60-е годы
прошлого века. Это время старта современной теории модулей и становления в математике теоретико-категорного
мышления перестроило теорию абелевых групп.
Характер основных идей, методов и результатов теории абелевых групп определяет ее как ветвь теории модулей
, использующую особенности кольца целых чисел. Необходимо сразу уточнить, что мы имеем дело с настолько
особой областью, что она (т.е. теория абелевых групп) образует самостоятельный раздел алгебры. Велико и обратное
влияние. Развитие теории модулей тесно связано с абелевыми группами как Z-модулями. Немало примеров
обобщений теорем об абелевых группах на модули над различными кольцами.
Изучение абелевых групп принесло много образцов того, что алгебраисты называют структурной теорией. До
50-х годов 20 века история абелевых групп была прерывистой, от одной вершины до другой. В 1933-м и 1934м
годах появились теорема Ульма о счетных р-группах и критерий Л. С. Понтрягина свободы счетной группы.
Следующие две вехи — это теория Р. Бэра вполне разложимых групп без кручения (1937) и работы Л.Я. Куликова
о р-группах (1941, 1945). В 1954-м году вышла в свет богатая новыми идеями книга И. Капланского [62]. В ней
впервые продемонстрирована близость теории абелевых групп и теории модулей, особенно над коммутативными
областями главных идеалов.
Систематическая работа над абелевыми группами началась в 50-х годах. Одно из достижений этого нового периода
— построение теории смешанных групп Уорфилда, объединившей теории счетных р-групп и вполне разложимых
групп без кручения.
Основные примеры полей — это числовые поля: поле рациональных чисел Q, поле вещественных чисел R, поле
комплексных чисел C, и такие «нечисловые» поля, как конечные, в частности, поля вычетов Zp. Конечные поля
имеют много важных применений, одно из них к теории кодирования. Еще в конце 19 века к примерам «нечисловых»
или «абстрактных» полей, какими можно считать конечные поля, прибавились поля формальных степенных рядов,
введенные Веронезе, и р-адические поля К. Гензеля.
Хотя поле и является коммутативной областью, однако это весьма специфическое кольцо. Теория полей, а также
тесно связанная с ней теория многочленов составляют отдельное направление в математике со своими проблематикой
и методами.
Зарождение в середине 19 столетия теории полей проходило в рамках решения алгебраических уравнений — основного
содержания алгебры того периода. Набирающие силу во второй половине 19 века исследования по алгебре
и теории чисел привели к необходимости изучения природы различных числовых систем. Объекты, близкие к полям,
появились в работах Л. Кронекера и Р. Дедекинда (у Дедекинда — «рациональные области»). Термин «поле»
употребил Дирихле в книге «Теория чисел» (1871).
Трудно найти такой раздел математики, где не встречались бы поля. Но это и не удивительно, ведь поля наиболее
соответствуют нашему интуитивному представлению о том, какими должны быть «абстрактные» числовые
системы.
Истоки теории решеток относятся к 19 веку. Систематическая работа над решетками (раньше говорили также
«структура») началась в 30-х годах прошлого века. Публикация книги Г. Биркгофа «Lattice Theory» (1940) объявила
о появлении нового самостоятельного направления в алгебре — теории решеток. Дальнейшее развитие этой
области было отражено во втором (1948) и третьем (1967, имеется русский перевод [7]) изданиях этой книги.
Решетку можно задать как алгебраическую систему (упр. 1.3). Но, что несомненно, имеющееся на решетке упо

8 Предисловие. ЗАДАЧИ И УПРАЖНЕНИЯ ПО ОСНОВАМ ОБЩЕЙ АЛГЕБРЫ 

рядочивание оказывает неповторимый эффект на ее свойства. Внутренняя красота и диапазон применения теории
решеток в математике и других науках напоминают теорию групп.
Вся современная алгебра насыщена теоретико-решеточными понятиями. Решетки постоянно встречаются и в других
разделах математики (логике, геометрии и топологии, анализе, теории вероятностей). Хорошо известен прикладной
характер теории булевых алгебр (они являются решетками). Кстати, и своему появлению понятие «решетка
» во многом обязано изучению булевых алгебр.
Использование решеточных понятий в математике и ряде других наук иногда помогает лучше понять поведение
объектов исследования, позволяет формулировать рассматриваемые теории более просто и единообразно.
Место и роль теории полугрупп в математике определяются тем принципиальным обстоятельством, что композиция
преобразований произвольного множества M ассоциативна. Всякая замкнутая относительно композиции совокупность
преобразований множества M является полугруппой. И обратно, любая полугруппа изоморфна некоторой
полугруппе преобразований. Теория полугрупп — это математическая наука о преобразованиях множеств самого
общего вида.
Полугруппы, как и решетки, вездесущи! Они возникают всюду, где есть потребность в рассмотрении тех или
иных преобразований множеств. Это, например, полугруппы операторов функциональных пространств, полугруппы
эндоморфизмов групп, колец, модулей, графов, решеток. Полугруппы часто встречаются там, где имеет смысл
понятие «произведения» или «композиции» каких-либо объектов. Например, полугруппа бинарных отношений на
данном множестве. Внутри алгебры полугруппы контактируют прежде всего с теорией групп и теорией колец.
Начальные исследования, посвященные полугруппам, были выполнены в 20-е и 30-е годы прошлого столетия. А к
концу 50-х годов теория полугрупп уже предстала достаточно развитой и глубокой теорией с собственной системой
понятий, широким кругом проблем и богатым набором методов.

9 Предисловие. ЗАДАЧИ И УПРАЖНЕНИЯ ПО ОСНОВАМ ОБЩЕЙ АЛГЕБРЫ