Читать в оригинале

<< ПредыдущаяОглавлениеСледующая >>


ГРУППА

Группа – одно из основных понятий математики, применяемое в алгебре, геометрии, физике и других науках.

С точки зрения диалектической теории познания понятие группы является абстракцией второй ступени. Математические абстракции первой ступени можно назвать слепками с объектов и процессов реального мира, т.е. для них имеются «прототипы» в окружающей нас действительности. Например, человек многократно наблюдал множества, содержащие два элемента: две руки, два глаза и т.д. Постепенно, путем отвлечения от конкретных свойств элементов, входящих в эти множества, возникает новое понятие – число 2.

Математические абстракции первой ступени возникли в глубокой древности. Так, Евклид, который жил более двух тысяч лет назад, использовал уже сформированные понятия о числах и действиях над ними, о геометрических линиях, поверхностях и телах. У Архимеда мы находим представление о векторном понимании механических величин (силы, скорости) и их сложении по правилу параллелограмма.

В XIX в. в распоряжении математиков было уже несколько конкретных действий: сложение действительных чисел, умножение чисел, сложение векторов, умножение (или, лучше сказать, композиция) геометрических преобразований, умножение перестановок (т.е. преобразований конечного множества) и др. При этом оказалось, что свойства этих математических действий во многом похожи. Например, и операция сложения чисел, и сложения векторов, и умножения чисел, и композиции геометрических преобразований обладают свойством ассоциативности (сочетательности). Постепенно возникла абстракция второй ступени, т.е. абстракция уже сформировавшихся математических понятий первой ступени: математики стали отвлекаться от конкретного вида складываемых (или перемножаемых) элементов, т.е. от того, что складывается, а обращали внимание лишь на то, что в некотором множестве задано сложение и это действие обладает определенными свойствами (ассоциативности и др.). Это и привело к возникновению понятия группы.

Расскажем подробно об этом понятии. Свойства сложения действительных чисел хорошо известны:

1)  для любых  (ассоциативность);

2)  для любых  (коммутативность);

3) существует такое число 0, что  для любого  (существование нуля);

4) для любого  существует такое число , что  (существование противоположного элемента).

Точно такими же свойствами обладает сложение векторов:

1) ;

2) ;

3) ;

4) .

Далее, операция умножения, если ее рассматривать в множестве всех отличных от нуля действительных чисел, также имеет аналогичные свойства:

1)  (ассоциативность);

2)  (коммутативность);

3) существует такое число 1, что  для любого ;

4) для любого  существует такое число , что .

А вот операция композиции движений (см. Геометрия) обладает лишь тремя из этих свойств:

1)  для любых движений ;

2) существует такое движение  (тождественное преобразование), что ,  для любого движения ;

3) для любого движения  существует обратное движение , удовлетворяющее соотношениям , . Коммутативность же, т.е. соотношение  для движений, вообще говоря, места не имеет.

Теперь будет понятно следующее определение: множество , в котором задана некоторая операция, сопоставляющая двум элементам  из  некоторый элемент  того же множества , называется группой, если выполнены следующие свойства:

I)  для любых  из ;

II) существует такой элемент  (единица, или нейтральный элемент группы ), что  и  для любого ;

III) для любого  существует такой элемент  (обратный элемент), что , ;

если, кроме того, для любых  из  справедливо соотношение

IV) ,

то группа  называется коммутативной (или абелевой).

Из сказанного выше ясно следующее: 1) множество  всех действительных чисел, в котором рассматривается операция сложения, является группой (и притом абелевой); 2) множество  всех векторов на плоскости с имеющейся в нем операцией сложения является абелевой группой; 3) множество всех отличных от нуля действительных чисел, в котором рассматривается операция умножения, является абелевой группой; 4) множество всех движений плоскости, в котором рассматривается операция композиции, является группой, но не абелевой (т.е. не коммутативной).

В чем польза от введения такой «абстракции второй ступени», какой является группа? Ответ можно сформулировать так. Доказав на основе аксиом 1-4 некоторую теорему теории абелевых групп, мы сможем утверждать, что эта теорема будет справедлива и для действительных чисел, и для векторов, и для любой другой абелевой группы.

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

Свои первые применения понятие группы нашло в алгебре. Особенно интересной была теория, созданная французским математиком Э. Галуа.

В геометрии важную роль играют группы самосовмещений фигур. Если  - некоторая фигура на плоскости (или в пространстве), то можно рассмотреть множество  всех тех движений плоскости (или пространства), при которых фигура  переходит в себя. Это множество является группой (см. Геометрические преобразования). Например, для равностороннего треугольника  группа движений плоскости, переводящих треугольник в себя, состоит из 6 элементов: поворотов на углы  вокруг точки  и симметрий относительно трех прямых. Они изображены на рис. 1 красными линиями. Элементы группы самосовмещений правильного треугольника могут быть заданы и иначе. Чтобы пояснить это, пронумеруем вершины правильного треугольника  числами 1, 2, 3. Любое самосовмещение  треугольника  переводит точки 1, 2, 3 в те же самые точки, но взятые в ином порядке, т.е.  может быть условно вписано в виде одной из таких скобок:

               и т.д.   ,           (1)

где числами 1, 2, 3 обозначены номера тех вершин, в которые переходят вершины 1, 2, 3 в результате рассматриваемого движения.

90-1.jpg

Рис. 1

ОТТО ЮЛЬЕВИЧ ШМИДТ
(1891-1956)
90-2.jpg

О. Ю. Шмидт – замечательный советский ученый, общественный и государственный деятель. Герой Советского Союза (1937), академик (1935), вице-президент Академии наук СССР (1939-1942).

Овеянное легендой имя О. Ю. Шмидта в памяти миллионов людей навсегда связано с освоением Арктики, Северного морского пути, с челюскинской эпопеей, с высадкой на лед научно-исследовательской станции «Северный полюс-1». Однако при всей многогранности научных интересов О. Ю. Шмидт всю жизнь оставался прежде всего математиком – по образованию, по складу мышления, по глубине и продолжительности своих привязанностей.

В 1909 г. молодой Шмидт поступил на физико-математический факультет Киевского университета. Там он с увлечением изучает теорию групп – одну из самых абстрактных областей математики. Уже в студенческие годы он печатает на эту тему две научные статьи и через несколько лет начинает работу над монографией «Абстрактная теория групп», опубликованной в 1916 г. Эта книга выдержала еще два издания и на несколько десятилетий стала настольным пособием алгебраистов.

После получения диплома Шмидт был оставлен в университете для подготовки к профессорскому званию, и молодой ученый, казалось, целиком посвятил себя науке. Но революционные события разбудили в нем, по его словам, «человека воли, действия». По личному указанию В. И. Ленина О. Ю. Шмидт работал над подготовкой и реализацией ряда проектов, был членом комиссий народных комиссариатов. Он стал организатором высшего образования в стране. С 1924 по 1941 г. Отто Юльевич был главным редактором Большой советской энциклопедии.

Летом 1927 г. О. Ю. Шмидту представилась возможность совершить поездку в Геттинген – математическую столицу того времени и встретиться там с крупнейшими математиками, среди них и с Д. Гильбертом. Шмидт ознакомился с достижениями в изучаемой им области за целое десятилетие и сумел доказать замечательную теорему «о бесконечных группах с конечной цепью», ставшую классической.

Коренная перестройка основ алгебры, начавшаяся в конце 20-х гг., предъявила новые требования к преподаванию в университетах. По инициативе О. Ю. Шмидта в МГУ была организована кафедра высшей алгебры, а затем научно-исследовательский семинар по теории групп. Семинар и кафедра превратились в один из основных алгебраических центров в СССР.

30-е гг. были заполнены работой по освоению Арктики. О. Ю. Шмидт становится директором Арктического института, затем – начальником Главсевморпути. В 1932 г. экспедиция под руководством О. Ю. Шмидта на ледоколе «Сибиряков» впервые за одну навигацию прошла из Архангельска в Тихий океан. На следующий год Шмидт возглавил ставшее историческим плавание на пароходе «Челюскин» по Северному морскому пути.

В середине 40-х гг. О. Ю. Шмидт выдвинул новую гипотезу об образовании Земли и планет Солнечной системы, над которой он работал вместе с группой ученых до конца жизни.

И в эти годы Шмидт не оставляет научной деятельности. При всей своей занятости ученый продолжает работать над теорией групп. Вопросы, которые он разрабатывал, оставили заметные вехи на пути развития этой теории. Последняя работа основоположника советской теоретико-групповой школы выполнена в 1947 г., но математическая деятельность ученого продолжалась до последних дней его жизни.

О встречах с О. Ю. Шмидтом сохранились воспоминания советских академиков П. С. Александрова, Б. Н. Делоне, А. Н. Колмогорова. Академик П. С. Александров писал: «Обилие – вот, пожалуй, то слово, которое приходит, когда думаешь о личности О. Ю. Шмидта. Обилие ума и обилие сердца, полное развитие человеческой личности в ее интеллектуальном, эстетическом, волевом, эмоциональном и социальном аспектах».

Например, первая из этих скобок представляет собой условную запись поворота на угол , вторая обозначает симметрию относительно прямой, проходящей через вершину 1.

Скобки вида (1) называются подстановками из трех элементов 1, 2, 3. Перемножение подстановок (соответствующее композиции движений) легко проследить. Например, при первой из подстановок (1) вершина 1 переходит в 2, а при второй подстановке (1) эта вершина 2 переходит в 3, т. е. в результате последовательного выполнения этих подстановок вершина 1 переходит в 3. Проследив это и для других вершин, находим, что произведение первой и второй подстановок (1), т. е. результат их последовательного выполнения, представляет собой 3-ю из этих подстановок.

Еще одним примером конечной группы может служить группа , элементами которой являются вычеты по модулю  (см. Сравнения).

Например, группа  состоит из двух элементов, один из них – множество всех четных чисел, а другой – множество всех нечетных. Если первый из этих элементов обозначить через 0, а второй – через 1 (т.е. 0 - «чет», 1 - «нечет»), то в соответствии с правилом сложения по модулю 2 мы имеем: , , , . Можно это записать в виде «таблицы сложения» в группе :

Расскажем о способах, которыми задаются различные группы. Наиболее известно описание группы с помощью образующих и соотношений. Системой образующих некоторой группы  называется такое подмножество ее элементов, что любой элемент группы  можно представить в виде произведения некоторых степеней этих образующих элементов. Рассмотрим, например, паркет, изображенный на рис. 2, и обозначим через  группу всех самосовмещений этого паркета (без учета цветной раскраски). В частности, в группе  содержится симметрия  относительно точки  и поворот  на  вокруг точки . Можно проверить, что любое самосовмещение рассматриваемого паркета представляется в виде произведения (композиции) некоторых степеней элементов  и  (например, поворот вокруг точки  на  записывается в виде , а параллельный перенос на вектор  - в виде . Иначе говоря,  и  составляют систему образующих для группы . Между этими образующими есть равенства, которым эти образующие удовлетворяют: ,  и др. Алгебраически группа  полностью определяется указанием образующих  и соотношений между ними.

91.jpg

Рис. 2

В топологии, например, рассматриваются различные узлы (рис. 3) и для каждого узла определяется некоторая группа, называемая группой узла. Если узел изображен так, как на рис. 4 (с разрывами, показывающими пространственное расположение частей нити узла друг относительно друга), то за систему образующих группы узла можно принять дуги , остающиеся неразорванными при таком изображении, а соотношения между этими образующими выписываются для каждой точки перекрещивания нитей узла (для этого надо задать какое-нибудь направление обхода на узле и выписывать соотношения по правилу, показанному на рис. 5). Так, для простейшего узла (его называют трилистником, рис. 6) его группа имеет три образующие , между которыми имеются соотношения:

, , .

92-1.jpg

Рис. 3

92-2.jpg

Рис. 4

92-3.jpg

Рис. 5

92-4.jpg

Рис. 6

Устанавливается, что эта группа алгебраически отлична от группы узла на рис. 7, и различие этих групп служит математическим доказательством того, что узел на рис. 6 невозможно «развязать», т.е., деформируя его, превратить в ровную линию без узлов (рис. 7). На рис. 8 и 9 изображены узлы, составленные из 2 или 3 замкнутых нитей. И в этих случаях, рассмотрев группу узла, можно доказать, что эти узлы не могут быть развязаны, т.е. нити, составляющие узел, невозможно развести, не разрывая их.

92-5.jpg

Рис. 7

92-6.jpg

Рис. 8

92-7.jpg

Рис. 9

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

Прежде всего приведем определение подгруппы. Пусть  – некоторая группа и  - подмножество множества . Если  само является группой (относительно той операции умножения, которая имеется во всей группе ), то  называется подгруппой группы . Например,  (множество всех целых чисел) является подгруппой группы  всех действительных чисел с операцией сложения. И еще один пример: группа  самосовмещений орнамента на рис. 2 является подгруппой группы всех движений плоскости. Это пример так называемой кристаллографической группы. Некоторая подгруппа  группы всех движений плоскости называется кристаллографической группой, если существует такой многоугольник  (фундаментальная область группы ), что всевозможные многоугольники, в которые переходит  при движениях, принадлежащих группе , заполняют всю плоскость и попарно не имеют общих внутренних точек. Для группы  фундаментальными областями являются параллелограммы, которые, будто кристаллики, заполняют плоскость (рис. 10).

93.jpg

Рис. 10

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

Вспомним теперь, как определяются вычеты по некоторому модулю  (см. Сравнения). Через  обозначим подмножество множества  всех целых чисел, состоящее из чисел, делящихся на . Два целых числа  и  называются имеющими одинаковые остатки при делении на , если их разность делится на , т.е. если . Все числа, имеющие один и тот же остаток при делении на , составляют один смежный класс относительно подгруппы . Таким образом, всего имеется  смежных классов по этой подгруппе.

Сказанное можно применить и к любой другой группе , в которой задана некоторая подгруппа . Два элемента  группы  считаются принадлежащими одному смежному классу по подгруппе , если их разность  (или элемент , если групповой операцией является умножение) принадлежит подгруппе . Тем самым вся группа  «расслаивается» на смежные классы по подгруппе . Все смежные классы содержат одинаковое количество элементов (конечное или бесконечное) – столько же, сколько их имеется в подгруппе . Поэтому если  - конечная группа, содержащая  элементов, то справедливо соотношение , где  - число элементов подгруппы , а  - число смежных классов, - в этом состоит одна из простейших теорем теории групп.

Пусть, например,  - некоторый куб,  - группа его самосовмещений. Через  обозначим подгруппу группы , состоящую из движений , переводящих вершину  в себя. Подгруппа  содержит 6 элементов: три поворота вокруг диагонали  (рис. 11) и три зеркальные симметрии (рис. 12). Два элемента  в том, и только том, случае принадлежат одному смежному классу по подгруппе , если  и  переводят  в одну и ту же вершину: . Поэтому имеется всего 8 смежных классов (по числу вершин). Так как в каждом из них содержится 6 элементов (столько же, сколько в подгруппе ), то всего группа  содержит  элементов. Итак, существует 48 движений пространства, переводящих куб  в себя.

94-1.jpg

Рис. 11

94-2.jpg

Рис. 12

Аналогичным образом можно подсчитать число элементов в группах самосовмещений других правильных многогранников. Например, правильный икосаэдр имеет 10 самосовмещений, оставляющих неподвижной одну из его вершин (эти 10 самосовмещений образуют подгруппу группы всех самосовмещений), а всего у него имеется 12 вершин. Следовательно, группа самосовмещений правильного икосаэдра состоит из 120 элементов. Это самая большая из конечных групп движений трехмерного пространства. Заметим, что со свойствами этой группы тесно связан важный алгебраический факт – неразрешимость общего уравнения 5-й степени в радикалах.

 



<< ПредыдущаяОглавлениеСледующая >>