Моноид

Определение:

Пара [math]\langle G,\cdot \rangle[/math] называется моноидом, если она удовлетворяет следующим аксиомам: Операция [math] \cdot \colon G \times G \rightarrow G [/math] ассоциативна. Существует нейтральный элемент [math] \varepsilon \in G [/math] относительно бинарной операции такой, что [math] \forall x\in G : \varepsilon\cdot x=x \cdot \varepsilon = x[/math]. Иногда его обозначают [math] \varepsilon_G [/math], или [math]e_G [/math].

Другими словами, моноид — это полугруппа, в которую добавлен нейтральный элемент. Например, множество натуральных чисел [math] \mathbb{N} [/math] с операцией сложения не является моноидом, а с операцией умножения является.

Утверждение (О единственности нейтрального элемента):

Нейтральный элемент в моноиде единственен.

[math]\triangleright[/math]

Действительно, пусть [math]\varepsilon_1[/math] и [math]\varepsilon_2[/math] — два нейтральных элемента. Тогда имеем: [math]\varepsilon_1 = \varepsilon_1\cdot \varepsilon_2 = \varepsilon_2[/math].

[math]\triangleleft[/math]

Определение:

Гомоморфизмом моноидов (англ. monoid homomorphism) [math]M[/math] и [math]N[/math] называется отображение [math]\varphi \colon M \rightarrow N[/math] совместимое с операциями из [math] M [/math] и [math] N [/math] такое, что [math] \forall m, m' \in M \colon \varphi(m\cdot m') = \varphi(m) \cdot \varphi(n)[/math], а также [math]\varphi(\varepsilon_M) = \varepsilon_N[/math].

Определение:

Свободным моноидом (англ. free monoid) [math] M [/math] над множеством [math] S [/math] [math]([/math]обозначается как [math] M_S )[/math] называется моноид над множеством [math] S^* [/math] — набором всевозможных последовательностей (или списков) конечной длины (в том числе и нулевой), образованных из элементов множества [math] S [/math] — с ассоциативной операцией конкатенации этих последовательностей.

• тривиальный пример: множество [math] S = \varnothing [/math]. Тогда [math] S^* = \{\varnothing\} [/math].
• [math] S = \{1\} [/math]. Тогда [math]S^* = \{[], [1], [1, 1], ... \} [/math]. Такой моноид с введённой на нём операцией сложения как объединением списков, изоморфен моноиду натуральных чисел.

В более общем смысле, некоторый моноид (или полугруппа) определяется как свободный, если они изоморфен свободному моноиду (полугруппе) над каким-то множеством.

Введём дополнительное определение, чтобы привести пример моноида, не являющегося свободным.

Определение:

Моноидом с порождающими отношениями (англ. equational presentation of monoid) называется моноид, на котором введены дополнительные правила, отождествляющие некоторые элементы моноида.

Примером такого моноида является множество [math] G [/math] всевозможных строк над алфавитом [math] \Sigma = \{a, b\} [/math], [math] G = \Sigma^{*}_{/ab = ba} [/math], что обозначает равенство строк [math] ab [/math] и [math] ba [/math] в моноиде. И хотя такой моноид образован всевозможными последовательностями, он не является свободным. Покажем это.

Теорема:

Моноид [math] G = \Sigma^{*}_{/ab = ba} [/math] не является свободным

Доказательство:

[math]\triangleright[/math]

Для начала покажем, что каждый элемент такого моноида можно представить в виде [math] a^i b^j, i \geqslant 0, j \geqslant 0 [/math]. Докажем это конструктивно. Возьмём произвольную строку и будем в ней заменять все подстроки вида [math] ba [/math] на подстроки [math] ab [/math]. Если таких подстрок нет, то наша строка имеет вид [math] a^i b^j [/math], а если есть, то строка за конечное число шагов приведётся к указанному виду, потому что операцию замены [math] ba [/math] на [math] ab [/math] можно рассматривать, как уменьшения числа инверсий в последовательности, а их точно конечное число, так как все последовательности имеют конечную длину. Предположим, что данный моноид свободный. Это значит, что он изоморфен какому-то свободному моноиду [math] M_S [/math], то есть существует биективное отображение [math] f : G \to M_S [/math]. Это отображение

[math]\triangleleft[/math]

См. также

• Группа
• Изоморфизм групп

Ссылки

• Wikipedia — Monoid
• Википедия — Моноид
• Wikipedia — Free monoid
• nLab — Free Monoid
• Proof Wiki — Free monoid