Abstract

In the present paper, a complete description of the inverse subsemigroups of the bicyclic semigroup is given. Isomorphism conditions for two inverse subsemigroups are found. From the inverse subsemigroups under consideration, a category is constructed, and the existence of a functor from this category to the category of finite ordered sets of numbers is proved.

中文翻译：

---

双环半群的逆亚半群

摘要

在本文中，给出了双环半群的逆亚半群的完整描述。找到了两个反亚半群的同构条件。从所考虑的逆亚半群中，构造出一个类别，并证明了从该类别到有限序数集类别的函子的存在。