12. Понятие алгебры

Определение. Алгеброй A называется совокупность <M,S> множества M с заданными в нем операциями

,

где множество M - носитель, S - сигнатура алгебры.

Обозначение .

Примеры.

1. Алгебра называется полем действительных чисел.

2. На множестве целых чисел определены операции сложения и умножения по модулю n (остатки от деления на n).

3. M - множество подмножеств универсума U (множество-степень или булеан). К основным операциям, определенным на нем, отнесем объединение и дополнение (пересечение определяется с помощью этих двух операций ).

Определение. Алгебра вида называется группоидом (индекс 2 здесь означает местность операции.

Если f₂ операция типа умножения (), то группоид называют мультипликативным, если f₂ операция типа сложения (+), то аддитивным.

Обозначим f₂ как . Тогда элемент eM называется правым нейтральным элементом группоида A, если mM . Элемент eM группоида называется левым нейтральным элементом, если mM . Если элемент является одновременно левым и правым нейтральным элементом, то его называют двусторонним нейтральным элементом или просто нейтральным элементом.

Утверждение. Группоид не может иметь более одного нейтрального элемента.

Действительно, если

mM и ,

то ,  .

Если группоид мультипликативный, то нейтральный элемент называется единицей (1), если аддитивный, то нейтральный элемент называется нулем (0).

Группоид , сигнатура которого удовлетворяет закону коммутативности

(x,yM x y=y x),

называется коммутативным или абелевым.

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

(x,y,zM x (y z)=(x y) z,

называется ассоциативным или полугруппой.

Полугруппа с единицей называется моноидом.

Полугруппа , в которой выполнимы обратные операции:

(a,bM каждое из уравнений a x=b, y a=b обладает единственным решением), называется группой.

Группа, в которой операция коммутативна, называется абелевой.

Группа, все элементы которой являются степенями одного элемента a (для аддитивной группы - произведением ka), называется циклической. Циклическая группа всегда абелева.

Примеры.

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

2. Множество целых чисел с операцией сложения является абелевой циклической группой. Роль единицы играет 0, обратным к a является элемент -a.

3. Множество невырожденных квадратных матриц порядка n с операцией умножения является некоммутативной группой.

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

,

,

называется кольцом. Кольцо, в котором все отличные от нуля элементы составляют группу по умножению, называется телом. Тело, у которого мультипликативная группа абелева (коммутативна), называется полем.

Изоморфизм групп

В любом разделе математики одним из важнейших является вопрос, какие из рассматриваемых объектов считаются равными.

Определение. Две группы и называются изоморфными, если между множествами M и M' можно установить взаимно однозначное соответствие такое, что , где a и b - произвольные элементы множества M.