Axioms for function semigroups with agreement quasi-order. (Q647315)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axioms for function semigroups with agreement quasi-order. |
scientific article |
Statements
Axioms for function semigroups with agreement quasi-order. (English)
0 references
23 November 2011
0 references
The agreement quasi-order \(\preccurlyeq\) on pairs of partial transformations on a set \(X\) is defined by \((f,g)\preccurlyeq(h,k)\) if whenever \(f\) and \(g\) are defined and agree, so do \(h\) and \(k\). The paper axiomatizes function semigroups (and monoids) \(S\) with this quasi-order through a list of six axioms on the order ideals generated by pairs \((s,t)\) in \(S\times S\) under this quasi-order. Finite axiomizations are obtained for groups and for inverse semigroups of injective functions equipped with the quasi order of fixed set inclusion.
0 references
quasi-orders
0 references
transformation semigroups
0 references
axioms
0 references
partial transformations
0 references
order ideals
0 references