Axioms for function semigroups with agreement quasi-order.

DOI10.1007/S00012-011-0152-1MaRDI QIDQ647315zbMATH OpenOpenAlexFDO

Authors T. E. Stokes

Publication date 23 November 2011

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-011-0152-1

zbMATH Keywords

axiomsorder idealspartial transformationsquasi-orderstransformation semigroups

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Axiomatics and elementary properties of groups (20A05) Inverse semigroups (20M18) Semigroups of transformations, relations, partitions, etc. (20M20)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3863488
• Publication:3495398
• Semigroup actions on posets and preimage quasi-orders
• Partial orders on transformation semigroups.
• The relation of semiadjacency on -semigroups of transformations

Cites work

• Agreeable semigroups.
• An invitation to C-semigroups
• Comparison semigroups and algebras of transformations.
• Difference semigroups
• Equality algebras
• Function systems
• Guarded and banded semigroups.
• scientific article; zbMATH DE number 3728334 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• Inverse Monoids With a Natural Semilattice Ordering
• Lectures on semigroups of transformations
• Menger algebras of multiplace functions
• Partial Maps with Domain and Range: Extending Schein's Representation
• Relation algebras and function semigroups
• Representations of Inverse Semi-Groups
• Restriction semigroups and inductive constellations.
• Semigroups with if-then-else and halting programs
• The algebra of functions
• The algebra of functions. II
• The algebra of functions. III
• The relation of semiadjacency on -semigroups of transformations

Cited in

(4)

• Semigroup actions on posets and preimage quasi-orders
• Rings with kernel inclusion quasiorder.
• scientific article; zbMATH DE number 4168738 (Why is no real title available?)
• Groups with fix-set quasi-order

This page was built for publication: Axioms for function semigroups with agreement quasi-order.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647315)