Skip to main content
SpringerLink
Log in

Comparison semigroups and algebras of transformations

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

We characterize algebras of transformations on a set under the operations of composition and the pointwise switching function defined as follows: (f,g)[h,k](x)=h(x) if f(x)=g(x), and k(x) otherwise. The resulting algebras are both semigroups and comparison algebras in the sense of Kennison. The same characterization holds for partial transformations under composition and a suitable generalisation of the quaternary operation in which agreement of f,g includes cases where neither is defined. When a zero element is added (modelling the empty function), the resulting signature is rich enough to encompass many operations on semigroups of partial transformations previously considered, including set difference and intersection, restrictive product, and a functional analog of union. When an identity element is also added (modelling the identity function), further domain-related operations can be captured.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bergman, G.M.: Actions of Boolean rings on sets. Algebra Univ. 28(2), 153–187 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  2. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer, Berlin (1980)

    Google Scholar 

  3. Garvac’kiĭ, V.S.: ∩-semigroups of Transformations. Theory of Semigroups and Its Applications, vol. 2. Izdat. Saratov. Univ., Saratov (1971), pp. 2–13 (Russian)

    Google Scholar 

  4. Jackson, M., Stokes, T.: An invitation to C-semigroups. Semigroup Forum 62(2), 279–310 (2001)

    MathSciNet  MATH  Google Scholar 

  5. Jackson, M., Stokes, T.: Semigroups with if-then-else and halting programs. Int. J. Algebra Comput. 19(7), 937–961 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Kennison, J.F.: Triples and compact sheaf representation. J. Pure Appl. Algebra 20(1), 13–38 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  7. Manes, E.: Guarded and banded semigroups. Semigroup Forum 72(1), 94–120 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  8. McCarthy, J.: A basis for a mathematical theory of computation. In: Braffort, P., Hirschberg, D. (eds.) Computer Programming and Formal Systems, pp. 33–70. North-Holland, Amsterdam (1963)

    Chapter  Google Scholar 

  9. Schein, B.M.: Lectures on semigroups of transformations. Am. Math. Soc. Transl. 113(2), 123–181 (1979)

    MATH  Google Scholar 

  10. Schein, B.M.: Restrictively multiplicative algebras of transformations. Izv. Vysš. Učebn. Zaved. 4(95), 91–102 (1970) (Russian)

    Google Scholar 

  11. Schein, B.M.: Difference semigroups. Commun. Algebra 20(8), 2153–2169 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  12. Schweizer, B., Sklar, A.: Function systems. Math. Ann. 172(1), 1–16 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  13. Stokes, T.: On EQ-monoids. Acta Sci. Math. (Szeged) 72(3–4), 471–496 (2006)

    MathSciNet  Google Scholar 

  14. Trokhimenko, V.S.: Menger’s function systems. Izv. Vysš. Učebn. Zaved. Mat. 11(138), 71–78 (1973) (Russian)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, The University of Waikato, Hamilton, New Zealand

    Tim Stokes

Authors
  1. Tim Stokes
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tim Stokes.

Additional information

Communicated by Mikhail Volkov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stokes, T. Comparison semigroups and algebras of transformations. Semigroup Forum 81, 325–334 (2010). https://doi.org/10.1007/s00233-010-9226-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-010-9226-1

Keywords

Search

Navigation