logo
Конспект лекций Дискретная математика

Группы.

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

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

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

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

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

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

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

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

Пример 2.

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

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

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

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

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

  1. Yandex.RTB R-A-252273-3
    Yandex.RTB R-A-252273-4