Русская Википедия:Полугруппа с делением

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Полугруппа с делениемШаблон:Iw <math>(S, \cdot, \leqslant)</math>, в которой для любых двух элементов <math>a</math> и <math>b</math> определены правое (<math>a/b</math>) и левое (<math>b \backslash a</math>) частные, причём выполняются условия:

<math>\forall c \in S\quad c \leqslant a/b \Leftrightarrow c \cdot b \leqslant a</math> (правое; читается «<math>a</math> над <math>b</math>»);
<math>\forall c \in S\quad c \leqslant b \backslash a \Leftrightarrow b \cdot c \leqslant a</math> (левое; читается «<math>b</math> под <math>a</math>»).

Правое и левое частные для каждых двух элементов определяются однозначно; если полугруппа коммутативна, то правое и левое частные совпадают.

Примеры:

  • натуральные числа с операцией сложения: <math>(\N, +, \geqslant)</math>;
  • любая импликативная решётка: здесь псевдодополнение играет роль как правого, так и левого частного;
  • множество всех подмножеств частично упорядоченной полугруппы <math>S</math> с операцией <math>\cdot: A\cdot B = \Bigl\{a \cdot b \mid a \in A, b \in B \Bigr\}</math>, здесь <math>A/B = \Bigl\{c \in S \mid \{c\} \cdot B \subseteq A\Bigr\}</math> (левое — аналогично).

Литетатура

Шаблон:Rq