2. Группы.

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

Если не использовать в определении понятие полугруппы, то определить понятие группы можно следующим образом.

Определение 2. Множество А с определенной на нем алгебраической операцией (например, умножением) называется группой, если выполнены следующие условия:

1) для любых трех элементов a, b, c  A выполняется свойство ассоциативности:

2) в множестве А существует такой элемент е, что для любого элемента а из этого множества выполняется равенство:

3) для любого элемента а существует элемент а^-1 из этого же множества такой, что

Замечание. Различные множества могут образовывать группу относительно какой-либо операции и не являться группой относительно другой операции.

Число элементов в множестве-носителе называется порядком группы. Группа, в которой операция коммутативна, называется коммутативной или абелевой. Группа, в которой все элементы являются степенями одного элемента, называется циклической. Для абелевых групп часто применяется аддитивная форма записи: операция обозначается, как сложение, а единица обозначается, как 0.

Пример 2.

а) Алгебра является абелевой циклической группой, в которой роль единицы играет 0, а роль элемента, обратного к элементу играет .

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

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

г) Множество матриц одинакового порядка с операцией сложения образует абелеву группу.

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

3. Поля и кольца.

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

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

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

Определение. Полем называется коммутативное кольцо, в котором для любого ненулевого элемента a 0 и любого элемента b существует единственный элемент такой, что ax = b.

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

Пример 3.

а) Алгебра является кольцом и называется кольцом целых чисел. Она, однако, не является полем, поскольку, например, уравнение в ней неразрешимо.

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

4. Решётки.

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

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

Определение. Решёткой называется множество , частично упорядоченное отношением нестрогого порядка , с двумя бинарными операциями и , такое что выполнены следующие условия (аксиомы решётки):

1. (идемподентность);

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

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

4. (поглощение).

Решётка называется дистрибутивной, если выполняются два следующих условия и .

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

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

Определение. Решётка, имеющая верхнюю и нижнюю грани, называется ограниченной.

Теорема 6.1. Если нижняя (верхняя) грань решётки существует, то она единственная.

Определение. В ограниченной решётке элемент называется дополнением элемента , если и .

Пример 4.

а) Любое полностью упорядоченное множество, например, множество целых чисел, можно превратить в решётку, определив для любых , что и .

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

Решётка, в которой пересечение и объединение существуют для любого подмножества её элементов, называется полной. Конечная решётка всегда полна.