Определим в R алгебраические операции и следующим образом:
а b = a + b + 1,
a b = a + b + a b,
где «+» и «» в правых частях этих равенств являются обычным сложением и умножением чисел.
Докажем, например, что в этом примере является ассоциативной.
Доказательство.
Мы должны доказать, что
(a b) с = a (b c).
Имеем
(a b) c = (a + b + ab) c = (a + b + ab) + c + (a + b + ab)с = a + b + c + ab + ac + bc + abc = a + (b + c) + a(b + c + bc) + bc = a + (b + c + bc) + a(b + c + bc) = a (b + c + bc) = a (b c).
Можно так же показать, что операция является ассоциативной.
Если в множестве М, в котором определена алгебраическая операция, имеется элемент е, такой, что для всякого
а М е а = а е = а,
то говорим, что элемент е является единичным элементом операции .
Если рассматривать какое – либо из множеств N, Z, Q, R, C со сложением, то единичным элементом будет число 0. В тех же множествах, рассматриваемых с умножением в качестве алгебраической операции, единичным элементом является 1.
Во множестве всех четных чисел с умножением в качестве алгебраической операции нет единичного элемента. В данном множестве М с данной алгебраической операцией. Не может быть больше чем один единичный элемент. В самом деле, если бы е и е' были бы единичными элементами операции , то было бы
|
|
е е' = е' и е е' = е,
откуда е = е'.