Свойства бинарных операций
Обзор некоторых основных алгебраических понятий
Алгебраические структуры. Множества. Алгебраические операции,
Предметом изучения современной алгебры являются алгебраические структуры.
· Под алгебраической структурой понимается множество, на котором определена система алгебраических операций, подчиняющихся аксиомам (законам) соответствующей структуры.
(Алгебраическая структура это множество с введенными операциями)
· Множеством в математике принято называть совокупность объектов произвольной природы, объединенных некоторым общим признаком, а сами объекты – элементами множества.
Обозначаются множества: A,B,C, …а их элементы: a,b,c,…
Знак принадлежности элемента а множеству А обозначается символом 
Одним из самых простых способов задать множество - дать полный список его элементов (применим к конечным множествам). Бесконечные множества задают путем указания характеристического свойства, т.е. свойства, которым обладают все элементы множества и только они. 
или 
Множество M - есть множество всех x, обладающих свойством P.
| 
|
| 
|
|
|
Для формулировки характеристических свойств, а также других утверждений, применяются сокращения: символ 
(квантор всеобщности); 
( 
, а также другие символы 
и др.,
Пример,
n 
: 
(аксиома Архимеда)
Определим понятие алгебраической операции, обобщающее арифметические действия. Пусть E –произвольное непустое множество.
· Говорят, что на множестве Е задана бинарная алгебраическая операция 
если каждой упорядоченной паре 
однозначно поставлен в соответствие элемент 
: 
.
Note. Бинарная операция, это операция между двумя операндами. Обозначается: (Е, 
.
(тернарные, квартернарные)
Примеры бинарных операцией:
(R,+), ( 
, ( 
Для облегчения изучения множеств с операциями их классифицируют по свойствам операций.
Свойства бинарных операций
1). Коммутативность ( возможность перестановки объектов) 
Чтобы применить алгебраическую операцию, определенную для двух элементов, к трем элементам нужно заключить в скобки либо два первых элемента, либо два последних.
2). Ассоциативность(возможность произвольного распределения скобок)
Операции сложение и умножение подчиняются законам коммутативности и ассоциативности на любом из множеств 
.
Для опровержения к-л свойства достаточно привести контр пример.
Требуется опровергнуть следующие утверждения:
| Утверждение | Контр пример |
(  вычитание коммутативная операция
| 
|
| ( возведение в степень коммутативная операция
| 
|
( вычитание некоммутативная операция
( возведение в степень некоммутативная операция