6.7. Подсистемы.

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

Подкольцо I абелева кольца K называется идеалом (в этом коль­це), если I есть аддитивная подгруппа кольца (композиция любых элементов а и b из I относительно первого закона также принадле­жит I, т.е. и , и в результате применения к эле­менту из I к любому элементу из К второго закона получаем элемент из I (т. е. для любых и , имеет место ). На­пример, множество четных чисел есть идеал в кольце целых чисел, рассматриваемом как аддитивная группа, а вторым законом явля­ется операция умножение (произведение четного числа на любое целое число дает четное число).

6.8. Делители нуля.

Если некоторой паре элементов а и b из кольца, которые отличны от нейтрального элемента первого закона, второй закон ставит в соответствие этот нейтральный элемент, то говорят, что элементы а и b есть делители нуля ( при и ). Например, , т.е. числа 3 и 2 - делители нуля в кольце вычетов no модулю 6. В кольце квадратных матриц второго порядка делителя нуля - это ненулевые матрицы, произ­ведение которых равно нулевой матрице, например

Кольцо без делителей нуля называется кольцом целостности. В таких кольцах справедлив закон сокращения: из ах = ау или ха = уа следует х = у. Область целостности - это коммутативное кольцо с нейтральным элементом относительно второго закона (единицей) и без делителей нуля (например, целые числа и многочлены).

7. Примеры алгебраических систем

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

1. Группы подстановок

Рассмотрение некоторых систем начнем с группы подстановок, общее описание которых дано в (3.4). Групповая операция задается внутренним законом компо­зиции - композицией подстановок.

Нейтральным элементом в группе подстановок является тождественная подстановка е, а симметричным элементом для любой подстановки а — симметричная подстановка а^-1. Так как композиция подстановок не подчиняется коммутативному закону, то группа подстановок п-й степени при п >3 не коммута­тивна.

Если множество N конечно и содержит п чисел, то множество S всех подстановок п-й степени также конечно и содержит п! эле­ментов. Такая группа называется симметрической группой по­рядка п! (порядок группы определяется числом ее элементов).

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

Подгруппами симметрических групп исчерпываются по су­ществу все конечные группы. Имеет место следующая теорема.

теорема Кэли. всякая конечная группа порядка п изоморфна некоторой группе подстановок п-й сте­пени ее элементов.

Доказательство. Пусть множество с опре­деленным на нем законом композиции ┬ образует группу и - фиксированный элемент из G. Определим отображение, ставящее каждому элементу из G элемент , следующим образом:

┬ , i = 1, 2, ... .... п.

Это отображение взаимно-однозначно, так как при любом соотношение ┬ имеет единственное решение ┬ , т.к. каждый элемент группы имеет единственный симметричный ему . Таким обра­зом, взаимно-однозначное отображение на множестве G можно представить подстановкой п объектов , которая соот­ветствует элементу , т. е.

В этой подстановке нижняя перестановка - это строка матрицы композиции для элемента . Прини­мая k = 1, 2, ..., n, получаем п подстановок, соответствующих п элементам группы G. Нейтральному элементу отвечает тождест­венная подстановка е, симметричному элементу - симмет­ричная подстановка .

Так как групповая операция ┬ по определению ассоциативна, то

┬ ┬ = ┬ ( ┬ ) = .

С другой стороны,

┬ ┬ = ( ┬ ) ┬ = ┬ = .

Отсюда , т. е. элементу ┬ соответствует композиция отображения и , а значит, и композиция соответствующих им подстановок. Таким образом, множество подстановок образует группу порядка п, которая однозначно представляет группу G.

Например, группе третьего порядка с групповой операцией, заданной таблицей

соответствует группа подстановок , где

; ; .

Нейтральным элементом этой группы относительно определенного закона композиции является , а подстановки и - взаимно симметричные эле­менты (проверить самостоятельно). Если элементы исходной группы пронумеровать и заменить соответствующими им числами, то

; ; .

Эта группа подстановок является подгруппой симметрической группы, которая, кроме указанных подстановок содержит подста­новки

; ; .

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