Бинарная алгебраическая операция. Исследование свойств операции

Определение

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

$*:A^2\rightarrow A$.

Примеры

  1. Операции $+$ и $\cdot$ на множествах $\mathbb{Z}, \mathbb{Q}, \mathbb{R}$.
  2. В качестве множества $A$ в условиях вышеуказанного определения возьмём множество $\mathbb{Z}$, и определим $\forall a,b \in A\: a*b\overset{def}{=}(a+b)^2$. Тогда операция $*$ является бинарной алгебраической операцией.
  3. Операция $\backslash$ на множестве $\mathbb{R}$ не является БАО, т.к. нельзя делить на ноль. Но она является БАО на множестве $\mathbb{R}\backslash\{0\}$.
  4. Операция $*$, заданная на $\mathbb{Z}$ следующим образом —  $\forall a,b \in \mathbb{Z} \: a*b=a^b$ — не является алгебраичной, т.к. результат $1*(-3)=1^{-3} \notin \mathbb{Z}$.

Проверка на алгебраичность

Для того, чтобы проверить, является ли данное отображение бинарной алгебраической операцией, достаточно проверить три условия:

  1. Всюдуопределённость: $\forall a,b \in A\: \exists c = a*b$.
  2. Однозначность: $\forall a,b \in A\: \exists ! c = a*b$.
  3. Замкнутость: $\forall a,b \in A\: a*b = c \in A$.

Пример

Проверить, является ли отношение бинарной алгебраической операцией на множестве $\mathbb{Z}_6 = \{0,1,2,3,4,5\}$, если $\forall a,b \in A\: a*b\overset{def}{=} a\cdot b (\mod 6)$ (умножение по модулю 6).

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

Расположим по вертикали и горизонтали элементы множества $\mathbb{Z}_6$, а на их пересечении — результат операции $*$. Получим таблицу:

a*b 0 1 2 3 4 5
0 0 0 0 0 0 0
1 0 1 2 3 4 5
2 0 2 4 0 2 4
3 0 3 0 3 0 3
4 0 4 2 0 4 2
5 0 5 4 3 2 1

Исходя из таблицы, видно, что область значения операции совпадает с исходным множеством $\mathbb{Z}_6$ (выполняется замкнутость), в каждой клетке только один результирующий элемент (выполняется однозначность), и каждая клетка непустая (выполняется всюдуопредлённость).

Следовательно, указанное отображение $*$ является бинарной алгебраической операцией на множестве $\mathbb{Z}_6$.

Свойства БАО

Бинарная алгебраическая операция может обладать такими свойствами:

  1. Бинарная алгебраическая операция $*$, заданная на множестве $A$ называется ассоциативной, если $\forall a_1, a_2, a_3 \in A\: (a_1*a_2)*a_3=a_1*(a_2*a_3)$.
  2. Бинарная алгебраическая операция $*$, заданная на множестве $A$ называется коммутативной, если $\forall a_1, a_2 \in A\: a_1*a_2 = a_2*a_1$.

Примеры

  1. Операции $+$, $\cdot$ на множествах $\mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{N}$ являются коммутативными и ассоциативными.
  2. Операция $\backslash$ на множестве $\mathbb{R}\backslash\{0\}$ не является коммутативной.

Пример решения №1

Определить, является ли бинарная алгебраическая операция $*$ на множестве $\mathbb{Z}$ коммутативной и/или ассоциативной.

$\forall a,b \in \mathbb{Z} \: a*b \overset{def}{=} a(b+1)$

Очевидно, что $a(b+1) \ne b(a+1)$, следовательно, операция $*$ коммутативной не является. Проверим ассоциативность (фиксируя \forall a,b,c \in \mathbb{Z}):

$a*(b*c)=a*(b(c+1))=a(b(c+1)+1)=abc+ab+a$

В свою очередь,

$(a*b)*c=(a(b+1))*c=a(b+1)(c+1)=abc+ab+ac+a$.

Видим, что $a*(b*c) \ne (a*b)*c$. Таким образом делаем вывод, что операция $*$ не ассоциативна.

Пример решения №2

Определить, является ли бинарная алгебраическая операция $*$ на множестве $\mathbb{Z}^2$ коммутативной и/или ассоциативной.

$\forall (a_1,a_2), (b_1, b_2) \in \mathbb{Z}^2 \: (a_1, a_2) * (b_1, b_2) \overset{def}{=} (a_1 b_1, a_2 b_1 + b_2)$

Рассмотрим при $\forall (a_1,a_2), (b_1, b_2), (c_1, c_2) \in \mathbb{Z}^2$:

$((a_1, a_2) * (b_1, b_2)) * (c_1, c_2) = (a_1 b_1 c_1, (a_2 b_1 + b_2)c_1 + c_2)$

$(a_1, a_2) * ((b_1, b_2) * (c_1, c_2)) = (a_1 b_1 c_1, (a_2 b_1 + b_2)c_1 + c_2)$

Исходя из этого, сделаем вывод, что операция $*$ является ассоциативной. Из вида операции, представленного в условии, очевидно, что $*$ не является коммутативной.

Список литературы

  1. Белозёров Г.С. Конспект по алгебре и геометрии.
  2. А. Я. Овсянников —  Алгебраические операции (темы 1-4). Екатеринбург, Уральский федеральный университет.
  3. Воеводин В. В. — Линейная алгебра. Москва: Наука, 1974. (стр 9-13).

Бинарная алгебраическая операция

Тест предназначен для проверки знаний по теме «Алгебраическая операция. Исследование свойств операции».

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *