Напівкільце

Алгебричні структури
Групо-подібні Група Напівгрупа / Моноїд Стійки і квандли Квазігрупа і Петля Абелева група Магма Група Лі Теорія груп
Кільце-подібні Кільце Rng Напівкільце Near-ring Групове кільце Комутативне кільце Область цілісності Поле Тіло Lie ring Теорія кілець
Ґратко-подібні Ґратка Напівґратка Доповнена ґратка Лінійний порядок Алгебра Гейтінга Булева алгебра Діаграма ґраток Теорія порядку
Модуле-подібні Модуль Група з операторами Векторний простір Лінійна алгебра
Алгебра-подібні Алгебра Асоціативна Неасоціативна Композитна алгебра Алгебра Лі Градуйована Біалгебра Алгебра Хопфа

В абстрактній алгебрі напівкільце — алгебрична структура, схожа на кільце, але без вимоги існування оберненого елемента щодо операції додавання.

Визначення та властивості напівкілець

Напівкільце — множина $S$ з бінарними операціями $+$ і $\cdot$, в якій для будь-яких елементів $a,b,c$ виконуються аксіоми:

1. $\langle S,+\rangle$ — комутативний моноїд. Тобто справедливі рівності:
   • Комутативність: $a+b=b+a$
   • Асоціативність: $(a+b)+c=a+(b+c)$
   • Існування нейтрального елемента (нуля): $a+0=0+a=a$
2. $\langle S,\cdot \rangle$ — напівгрупа. Тобто має місце властивість:
   • асоціативність: $(a\cdot b)\cdot c=a\cdot (b\cdot c)$
3. Дистрибутивність множення щодо додавання:
   • Ліва дистрибутивність: $a\cdot (b+c)=a\cdot b+a\cdot c$
   • Права дистрибутивність: $(a+b)\cdot c=a\cdot c+b\cdot c$
4. Мультиплікативна властивість нуля:
   • $a\cdot 0=0\cdot a=0$

Остання аксіома опускається в визначенні кільця, так як там вона випливає з інших аксіом, тут же її доводиться додавати. Відмінність напівкільця від кільця полягає тільки в тому, що по додаванню напівкільце утворює тільки комутативний моноїд, а не комутативну групу.

Напівкільце називається комутативним, якщо операція множення в ньому є комутативною: $a\cdot b=b\cdot a\;\forall a,b\in S$.

Напівкільце називається напівкільцем з одиницею, якщо в ньому існує нейтральний елемент щодо операції множення (що називається одиницею): $a\cdot 1=1\cdot a=a\;\forall a\in S$.

Напівкільце називається мультиплікативно (або адитивно) скоротним, якщо $\;\forall a,b,c\in S$ з рівності $a\cdot c=b\cdot c$ (або, відповідно, $a+c=b+c$) випливає, що $a=b$.

Напівкільце називається ідемпотентним, якщо для будь-якого $a\in S$ виконується рівність $a+a=a.$

Приклади напівкілець

• Напівкільце $\langle \mathbb {N} _{0},+,\cdot \rangle$ натуральних чисел з нулем.
• Тривіальне напівкільце: $\langle \lbrace 0\rbrace ,+,\cdot \rangle$
• Двоелементне напівкільце: $\langle \mathbb {Z} _{2},+,\cdot \rangle$, $\langle \mathbb {B} ,\oplus ,\vee \rangle$, де $\vee$ позначає диз'юнкцію, а $\oplus$ — виключну дизюнкцію на множині $\mathbb {B} =\lbrace 0,1\rbrace$
• Квадратні n × n матриці з елементами з напівкільця натуральних чисел з нулем $\mathbb {N} _{0}$ і операціями матричного додавання і множення. Також напівкільце утворюють квадратні матриці з елементами з будь-якого напівкільця.
• Якщо A — комутативний моноїд, то множина End(A) ендоморфізмів A утворює напівкільце, де додавання визначено поточково, а множення — композиція функцій.
• N [x], многочлени з натуральними коефіцієнтами утворюють комутативне напівкільце. Воно є вільним комутативним напівкільцем з єдиним генератором {x}.
• Невід'ємні дійсні числа зі звичайними операціями додавання і множення.
• (Max, +) і (min, +) — напівкільця дійсних чисел, в яких сумою двох чисел визначено їх максимум (відповідно мінімум), а множення — звичайне додавання дійсних чисел.

Напівкільце множин

Напівкільце множин — система множин S, для якої виконані наступні умови:

• $\varnothing \in S$;
• $\forall A,B\in S\quad A\cap B\in S$;
• $\forall A\in S,A_{1}\in S\quad A_{1}\subset A\rightarrow \exists A_{2},\dots ,A_{n}\subset A:A_{1}\sqcup \dots \sqcup A_{n}=A$.

Таким чином, напівкільце множин містить в собі порожню множиню, є замкнутим щодо перетину і будь-яка множина з напівкільця множин може бути записана у вигляді скінченного об'єднання множин, що належать цьому напівкільцю множин і попарно не перетинаються. Такі напівкільця часто використовуються в теорії міри.

Напівкільцем множин з одиницею називають напівкільце множин з таким елементом E, що його перетин з будь-яким елементом A напівкільця множин рівний A. Будь-яке кільце множин є напівкільцем множин. Прямий добуток напівкілець множин також є напівкільцем множин.

Див. також

• Кільце (алгебра)

Література

• François Baccelli, Guy Cohen, Geert Jan Olsder, Jean-Pierre Quadrat, Synchronization and Linearity (online version) [Архівовано 4 листопада 2016 у Wayback Machine.], Wiley, 1992, ISBN 0-471-93609-X
• Golan, Jonathan S., Semirings and their applications. Updated and expanded version of The theory of semirings, with applications to mathematics and theoretical computer science (Longman Sci. Tech., Harlow, 1992, MR1163371. Kluwer Academic Publishers, Dordrecht, 1999. xii+381 pp. ISBN 0-7923-5786-8 MR1746739
• Berstel, Jean; Perrin, Dominique (1985). Theory of codes. Pure and applied mathematics 117. Academic Press. ISBN 978-0-12-093420-1. Zbl 0587.68066. 
• Lothaire, M. (2005). Applied combinatorics on words. Encyclopedia of Mathematics and Its Applications 105. A collective work by Jean Berstel, Dominique Perrin, Maxime Crochemore, Eric Laporte, Mehryar Mohri, Nadia Pisanti, Marie-France Sagot, Gesine Reinert, Sophie Schbath, Michael Waterman, Philippe Jacquet, Wojciech Szpankowski, Dominique Poulalhon, Gilles Schaeffer, Roman Kolpakov, Gregory Koucherov, Jean-Paul Allouche and Valérie Berthé. Cambridge: Cambridge University Press. ISBN 0-521-84802-4. Zbl 1133.68067.