科研之友
微信
新浪微博
Facebook
分享链接
摘要
The agreement quasi-order on pairs of (partial) transformations on a set X is defined as follows: (f, g) less than or similar to (h, k) if whenever f, g are defined and agree, so do h, k. We axiomatize function semigroups and monoids equipped with this quasi-order, thereby providing a generalisation of first projection quasi-ordered boolean AND-semigroups of functions. As an application, axiomatizations are obtained for groups and inverse semigroups of injective functions equipped with the quasi-order of fix-set inclusion. All axiomatizations are finite.
- 出版日期2011-10
