Лекция №4
Тема: Алгебраические действия общего типа
План:
-
Основные понятия.
-
Способы задания.
-
Свойства действий.
-
Простейшие алгебраические системы.
-
Подгруппы.
-
Кольца, тела, поля.
1. Основные понятия
Пусть А – непустое множество и n 1. Тогда n –арным действием (или n –местной операцией) на множестве А называется отображение некоторого подмножества декартова произведения в А.
Обозначение: φⁿ: Аn А.
Могут рассматриваться также нуль–арные действия (операции), которые по определению отмечают некоторый элемент из А. При n = 1 операция называется унарной, например, а–1. При n = 2 – бинарной, например a+b. При n = 3 – тернарной, например, нахождение центра тяжести векторов на плоскости f(x,y,z)=(x+y+z)/3. И т.д. Чаще всего рассматриваются бинарные операции, для которых по определению некоторым парам элементов x, yA (или каждой паре элементов в частном случае), взятых в определенном порядке, сопоставляется третий элемент zA, называемый результатом выполнения операции над операндами x и y.
Отметим, что действие всегда задается на определенном множестве, поэтому в этом смысле сложение на множестве натуральных чисел и сложение на множестве рациональных чисел – разные действия, т.к. отличаются множествами, на которых они заданы.
На одном и том же множестве может быть задано несколько действий.
Множество всех действий (операций), заданных на множестве А, называется сигнатурой А, т.е. Ω(А)= {φ˚, φ¹, φ²,…} – сигнатура А. Множество А вместе с заданной на нем сигнатурой, возможно пустой, называется универсальной алгеброй или алгебраической системой и обозначается (А, Ω).
Для обозначения бинарного действия могут употребляться следующие формы записи: z = φ(x, y) или z = xy, если zA – результат некоторого действия над x и yA, а «» – обозначение действия (традиционно для обозначения действия используются знаки: +, –, , :, /, *, , и т.д., при этом, используемое обозначение не обязательно показывает совпадение действия с известным элементарным действием).
2. Способы задания действий
1) Указать закон (формулу), выделяющий те пары элементов из А, для которых определен результат, и то, как строится результат для каждой такой пары, т.е. z = φ(x, y).
2) Непосредственно перечислить все результаты действия. Наиболее удобным представлением в таком случае является так называемая таблица Кэли (таблица умножения при мультипликативной записи). Слева и сверху этой прямоугольной таблицы выписываются все элементы множества, а на пересечении строк и столбцов – результат действия над соответствующими элементами или знак «–», если результат не определен. Теоретически такая таблица может быть построена для любого множества, конечного и даже бесконечного, практически рассматриваются только конечные множества и конечные таблицы.
Пусть на множестве А задано действие «», и В А. Тогда В называется замкнутым по отношению к действию, если для любых элементов x, y В xyВ.
Например, рассмотрим действия сложения и вычитания на множестве целых чисел, т.е. ( ℤ, + ) и ( ℤ, – ), и множество натуральных чисел ℕ ℤ. Тогда ℕ замкнуто по отношению к сложению и не замкнуто по отношению к вычитанию, поскольку не для любых пар натуральных чисел x и y результат (x‑y)ℕ.
Пусть имеются множества с действиями: ( А, ○) и ( В, ◊). Множества А и В называются изоморфными относительно действий «○» и «◊», если существует биективное отображение f : А В такое, что для любых элементов а1 и а2 из А и соответствующих им элементов b1 и b2 из В, где b1= f(а1) и b2= f(а2), результат (а1○ а2) определен, т.е. А, тогда и только тогда, когда результат (b1◊ b2)В и при этом f(а1○ а2)= (b1◊ b2), т.е. результаты также соответствуют друг другу.
Смысл и значение понятия изоморфизма заключаются в том, что изоморфные множества с действиями являются одинаковыми относительно этих действий. Если в таблице Кэли одного из них элементы расположены в том же порядке, в каком расположены соответствующие им элементы второго, то таблицы Кэли обоих множеств окажутся совпадающими с точностью до обозначения элементов. Это означает, что действия в изоморфных множествах, по–существу, совершенно одинаковы.
Примеры:
1) А={ 2, 3, 4, 5 } и В={ 2, 4, 5, 10 }. Рассмотрим (А, +) и (В, ) со следующими таблицами Кэли:
+ |
2 |
3 |
4 |
5 |
|
|
|
|
2 |
4 |
5 |
10 |
2 |
4 |
5 |
– |
– |
|
|
|
2 |
4 |
– |
10 |
– |
3 |
5 |
– |
– |
– |
|
|
|
4 |
– |
– |
– |
– |
4 |
– |
– |
– |
– |
|
|
|
5 |
10 |
– |
– |
– |
5 |
– |
– |
– |
– |
|
|
|
10 |
– |
– |
– |
– |
2) Рассмотрим множество натуральных чисел со сложением: (ℕ, +) и множество всех отрицательных четных целых чисел со сложением: (М, +), где М={ x: xℤ.<0 и x mod 2=0 }. Покажем, что они изоморфны относительно действий. Действительно, биекция f : ℕ М, заданная законом f(x)= ‑2x, устанавливает этот изоморфизм. Т.к. для любых двух натуральных чисел x и y f(x+y)=f(x)+f(y), поскольку –2(x+y)=(–2x)+(–2y).
3) (ℕ, +) неизоморфно (ℤ, +), т.к. в множестве целых чисел имеется элемент х=0, для которого выполняется х+х=х. В множестве натуральных чисел элементов с таким свойством нет.
Ввиду одинаковости действий для изоморфных множеств (в рассмотренном выше смысле) можно отвлечься от природы элементов, составляющих эти множества, и рассматривать их как одну алгебраическую систему, изучая сами действия и их свойства.
Замечания:
1. Свойства действий при изоморфизме сохраняются. Т.е. если действие «○» в множестве А было дистрибутивным, то и действие «◊» в изоморфном множестве В также дистрибутивно.
2. Понятие изоморфизма очевидным образом распространяется на алгебраические системы с несколькими действиями. Две универсальные алгебры (А, Ω) и (В, Ω1), где А и В – множества, а Ω и Ω1 – сигнатуры, изоморфны относительно своих сигнатур, если А и В изоморфны относительно каждой пары действий i и i из Ω и Ω1 соответственно.
3. Если каждое из двух множеств с действиями изоморфны некоторому третьему множеству с действиями, то первые два изоморфны между собой относительно соответствующих действий.
Общая теория алгебраических действий распадается на ряд теорий, изучающих множества с тем или иным количеством действий, обладающих теми или иными свойствами (теория групп, полей, колец, алгебры Ли, булева алгебра, теория графов и т.д.).