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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references