Комментарии к определению группы

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ.. 2

ГЛАВА 1. ГРУППЫ И ИХ ОБРАЗУЮЩИЕ.. 5

1.1. Основные понятия группы.. 5

1.1.1. Алгебраическая операция. 5

1.1.2. Группа. 6

1.2. Образующие элементы группы. Система образующих. 13

1.2.1. Понятие образующего элемента. 13

1.2.2. Система образующих. Конечное число образующих. 14

1.2.3. Непорождающие элементы.. 19

1.3. Циклические группы.. 21

1.3.1. Подгруппа, порожденная данным элементом данной группы. Определение циклической группы.. 21

ГЛАВА 2. ГРАФИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ ГРУПП.. 26

2.1. Граф группы.. 27

2.1.1. Бесконечная циклическая группа. 30

2.1.2. Группа с двумя образующими. 31

2.2. Основные свойства графа группы.. 33

ЛИТЕРАТУРА.. 38

 

ВВЕДЕНИЕ

Исследование алгебраических уравнений в начале XIX века привело математиков к необходимости выделения особого математического понятия — понятия группы. Новое понятие оказалось настолько плодотворным, что не только проникло почти во все разделы современной математики, но и стало играть важную роль в некоторых разделах других наук, например, в квантовой механике и в кристаллографии. Исследования, связанные с понятием группы, выросли в отдельную ветвь современной математики — теорию групп. Что же представляет собой понятие группы в математике? Какой смысл несут образующие элементы в группе? Что такое система образующих? На эти и другие вопросы предстоит ответить в данной работе.

 

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

 

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

 

Понятие же группы приобретает в настоящее время все большее господство над самыми различными разделами математики и ее приложений и наряду с понятием функции относится к самым фундаментальным понятиям всей математики.

 

Образующие элементы в группе — это базовое понятие теории. Элементы эти можно сравнить с буквами, из которых состоят слова. Отсюда делаем вывод, что изучение темы: «Образующие элементы» — имеет практическое и теоретическое значение, а в следствии этого актуальным на сегодняшний день…

 

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

 

А для достижения поставленной в курсовой работе цели нами решались следующие задачи:

 

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

— определение сущности понятия образующих элементов

— рассмотрение систем образующих элементов

— введение понятия непорождающих элементов

— анализ поведения образующих элементов в различных группах

— рассмотрение графического описания групп и др.

 

Объектом исследования в работе являются группы различных видов, а соответственно, предметом исследования являются образующие элементы группы. Так как образующий элемент — это одно из основных понятий группы, следовательно, предмет исследования является частью объекта исследования.

Опишем вкратце содержание.

 

Глава 1 посвящена изучению основных понятий группы. Содержит все необходимые для дальнейшего изучения сведения из теории групп. Здесь же вводится понятие образующего элемента, а также системы образующих. Кроме того, приводится большое количество наглядных примеров групп различных видов с различными элементами, в том числе и циклических групп.

 

Известно, что геометрическим эквивалентом групп являются графы. Вторая глава работы полностью посвящена графическому представлению групп, т.е. графам. Здесь будут рассмотрены подробные примеры различных групп, представленных графами, а именно конечные и бесконечные группы, а также некоторые свойства графов. Кроме того, в этой главе мы узнаем, что ставится в соответствие в графе элементам и образующим группы, и каковы образующие элементы конечных и бесконечных групп.

Глава 3 — это практическая часть курсовой работы. Здесь приводится ряд основных задач и упражнений, посвященных теме «образующие элементы».

 

Курсовое исследование написано при использовании литературы по теории групп, комбинаторной теории групп, основам алгебры, введению в теорию групп, группам и их графам. Кроме того, использовались интернет-ресурсы. Библиографический список представлен в конце курсовой работы.

Список литературы, используемой в данной работе, можно рекомендовать для изучения других проблем, не освещенных в данной курсовой работе.

ГЛАВА 1. ГРУППЫ И ИХ ОБРАЗУЮЩИЕ

Основные понятия группы

Алгебраическая операция

Весьма часто <…> в различных приложениях встречаются множества, в которых определена (или в данный момент рассматривается) лишь одна алгебраическая операция. Дадим определение этого понятия.

Определение

Пусть дано некоторое множество М. Мы говорим, что в М определена бинарная алгебраическая операция, если всяким двум (различным или одинаковым) элементам множества М,взятым в определенном порядке, по некоторому закону ставится в соответствие вполне определенный третий элемент, принадлежащий к этому же множеству[1]).

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

Примеры

Можно указать многочисленные примеры числовых множеств с одной операцией, удовлетворяющих данному выше определению. Бинарными операциями являются, например, сложение на множестве натуральных или на множестве целых чисел, вычитание на множестве целых чисел.

Этому определению не удовлетворяют, например, вычитание на множестве натуральных чисел, т.к., например, упорядоченной паре (3, 5) вычитание не ставит в соответствие никакого натурального числа, множество отрицательных целых чисел относительно умножения, множество нечетных чисел относительно сложения, а также множество всех действительных чисел, если в качестве операции рассматривается деление — последнее ввиду невыполнимости деления на нуль.

Хорошо известны также различные примеры алгебраических операций, производимых не над числами. Таковы сложение n -мерного векторного пространства, векторное умножение трехмерного евклидова пространства, умножение квадратных матриц порядка n, сложение действительных функций действительного переменного, умножение этих же функций и т.д. Примером алгебраической операции также является умножение подстановок. <…>

При изучении множеств с одной алгебраической операцией мы будем, как правило, употреблять мультипликативную терминологию и символику: операцию будем называть умножением,а результат применения операции к паре элементов а, b — произведением аb этих элементов. В некоторых случаях будет удобнее, однако, использовать аддитивную запись, т.е. называть операцию сложением и говорить о сумме а + b элементов а, b. [2]

Группа

Дадим теперь общее определение группы.

Определение 1

Группой называется множество G элементов а, b,..., для которых определена некоторая алгебраическая операция (обычно называемая умножением или сложением), ставящая в соответствие каждой упорядоченной паре a, b элементов из G третий элемент с = а º b, причем так, что выполнены следующие условия (аксиомы):

 

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

.

2. В G существует «нейтральный» элемент е такой, что:

.

3. Для каждого элемента а из G существует «обратный» ему элемент а ^–1 такой, что:

.

Группа, в которой дополнительно выполняется коммутативный закон:

для любых двух элементов а, b Î G а ° b = b ° а, называется коммутативной, или абелевой (по имени Абеля, изучавшего один тип уравнений, теория которых связана с теорией коммутативных групп). Операция в группе G не обязана быть коммутативной. <…>

 

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

 

В том случае, когда «групповая операция» а ° b называется сложением и обозначается знаком +, группа G называется группой по сложению, или аддитивной группой. В этом случае «нейтральный элемент» е обычно обозначается символом 0 и называется нулем, а элемент, обратный к а, обозначается через — а ^–1 и называется противоположным к а. В том случае, когда групповая операция называется умножением, а ° b обозначается через ab, группа называется группой по умножению, или мультипликативной группой, а нейтральный элемент называется единицей и часто обозначается символом 1.[3]

Комментарии к определению группы

1. Элемент а ^–1, обратный элементу a, единственен.

2. В определении группы 2-ю и 3-ю аксиомы можно заменить одной аксиомой существования обратной операции:

3. Вышеприведенные аксиомы не являются строго минимальными. Для существования нейтрального и обратного элементов достаточно наличия левого нейтрального () и левого обратного () элементов. При этом они автоматически являются e и а ^–1:[4]

.

Свойства группы

1. Элемент а ^–1, обратный элементу a, всегда определяется однозначно.

Доказательство

В самом деле, если элементы y и z являются обратными для a, то y * x = e и z * x = e, откуда y * x = z * x и по закону сокращения y = z.

 

2. Верны законы сокращения:

 (левое сокращение);

 (правое сокращение).

Доказательство

Докажем первый закон. Используем существование обратного элемента и свойство ассоциативности операции.

y = z. Что и требовалось доказать. Второй закон (для правого сокращения) доказывается анологично.

 

3. Обратный элемент к нейтральному есть сам нейтральный элемент.

Доказательство

.

Действительно, поскольку , имеем , откуда по закону сокращения получаем .

 

4. Для любых x, y уравнение вида x * z = y имеет единственное решение, равное . Оно называется частным от деления y на x (или отношением элементов y и x) и обозначается y / x.

Доказательство

. Имеем: , и значит можно взять . Однозначность z следует из закона сокращения: .

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

Примеры групп

Рассмотрим множество всех целых чисел.При сложении двух целых чисел получается снова целое число. Если одно из слагаемых равно (целому) числу 0, то сумма равна другому слагаемому: а + 0 = а; для каждого целого числа а противоположное к нему число – а (сумма которого с данным числом а равна 0) тоже является целым. Операция сложения (в частности, целых) чисел коммутативна (a + b = b + а для любых двух чисел а и b) и ассоциативна ((a + b) + c = a + (b + с)для любых трех чисел а, b, с).

Далее, если из множества всех целых чисел выделить подмножество чисел, делящихся на данное число k, то и оно обладает такими же свойствами. Это множество тоже «замкнуто» относительно «операции сложения» — сумма любых двух чисел, делящихся на k, делится на k; это множество содержит 0 (нуль делится на любое число); и, наконец, если а делится на k, то и – а делится на k.

Аналогичными свойствами обладают и множество всех рациональных чисел, множество всех вещественных чисел или всех комплексных чисел— каждое из них замкнуто относительно операции сложения; нуль является одновременно числом рациональным, вещественным и комплексным; для каждого (комплексного) числа а имеется противоположное к нему число – а такое, что а + (– а) = 0, причем — а при вещественном а будет вещественным, а при рациональном а — рациональным. Операция сложения в множестве комплексных чисел (а значит, и подавно, в множестве вещественных и в множестве рациональных чисел) коммутативна и ассоциативна. Все это — примеры «групп по сложению».

Рассмотрим теперь множество всех отличных от нуля вещественных чисели «операцию умножения» в нем. Произведение любых двух таких чисел — снова отличное от нуля вещественное число; произведение любого числа а на (вещественное, отличное от нуля) число 1 равно а, и для каждого (отличного от нуля!) вещественного числа а имеется обратное ему (и тоже отличное от нуля) вещественное число а ^–1произведение которого на а равно 1.

Аналогичными свойствами обладает и множество всех отличных от нуля рациональных чисел, множество всех положительных вещественных чисел или всех положительных рациональных чисел, а также множество всех отличных от нуля комплексных чисел или множество комплексных чисел, по модулюравных1. Каждое из них замкнуто относительно операции умножения, все они содержат единицу и у каждого из их элементов имеется обратный элемент, принадлежащий тому же множеству. Умножение комплексных (а значит, и вещественных, и рациональных) чисел коммутативно (ab = bа для всех а и b)и ассоциативно ((ab) c = а (bс)для всех а, b, с).

Это — примеры «групп по умножению». Можно привести и более неожиданный пример: группу по умножению образует, например, пара чисел,1 и – 1. Впрочем, множество, состоящее из одного числа1 (или 0), тоже образует группу по умножению (соответственно по сложению). Комплексные числа 1, i, – 1, – i также образуют, очевидно, группу по умножению.

Складывать можно не только числа, но, например, векторылинейного пространства R, причем это сложение подчиняется тем же законам, что и сложение чисел: оно крммутативно и ассоциативно, в R имеется нулевой элемент 0 такой, что х + 0 = х для любого х Î R,и для всякого вектора х Î R имеется противоположный ему вектор – х, такой, что х + (– х) = 0.

Складывать можно матрицы одного и того же строения(т.е. [ m ´ n ]-матрицы, где m и п — какие-то заранее заданные целые положительные числа). Это сложение ассоциативно и коммутативно, имеется нулевая матрица, прибавление которой не меняет второго слагаемого — это матрица, состоящая из одних нулей, и для каждой матрицы [ a_ik ]имеется противоположная к нейматрица [– a_ik ] — такая, что [ a_ik ] + [– a_ik ] есть нулевая матрица. Если рассматривать только так называемые целочисленные матрицы(т.е. матрицы с целыми элементами a_ik),то и суммой двух таких матриц будет матрица такого же строения, нулевая матрица является целочисленной, и для каждой целочисленной матрицы, противоположной к ней, будет тоже целочисленная матрица. Все это — тоже примеры групп по сложению.

С другой стороны, и перемножать можно не только числа, но, например, невырожденные квадратные матрицы одного и того же порядка п с вещественными (или только с рациональными или, наоборот, с комплексными) элементами. Произведение двух таких матриц тоже будет невырожденной матрицей (т.к. произведение невырожденных матриц также невырожденное ) с вещественными (соответственно с рациональными, комплексными) элементами; единичная матрица является невырожденной, и у каждой невырожденной матрицы имеется обратная (тоже невырожденная и тоже с вещественными или соответственно рациональными, комплексными элементами). Умножение матриц ассоциативно, однако оно не коммутативно. Множество всех невырожденных матриц порядка п с вещественными (рациональными, комплексными) элементами представляет собой пример некоммутативной группы по умножению.[5]