Abstract
Demonic composition is defined on the set of binary relations over the non-empty set X, \(Rel_X\), and is a variant of standard or “angelic” composition. It arises naturally in the setting of the theory of non-deterministic computer programs, and shares many of the nice features of ordinary composition (it is associative, and generalises composition of functions). When equipped with the operations of demonic composition and domain, \(Rel_X\) is a left restriction semigroup (like \(PT_X\), the semigroup of partial functions on X), whereas usual composition and domain give a unary semigroup satisfying weaker laws. By viewing \(Rel_X\) under a restricted version of its usual composition and domain as a constellation (a kind of “one-sided” category), we show how this demonic left restriction semigroup structure arises on \(Rel_X\), placing it in a more general context. The construction applies to any unary semigroup with a “domain-like” operation satisfying certain minimal conditions which we identify. In particular it is shown that using the construction, any Baer \(*\)-semigroup S can be given a left restriction semigroup structure which is even an inverse semigroup if S is \(*\)-regular. It follows that the semigroup of \(n\times n\) matrices over the real or complex numbers is an inverse semigroup with respect to a modified notion of product that almost always agrees with the usual matrix product, and in which inverse is pseudoinverse (Moore–Penrose inverse).
Similar content being viewed by others
References
Backhouse, R., van der Woude, J.: Demonic operators and monotype factors. Technical Report, Eindhoven (1993)
Batbedat, A.: \(\gamma\)-demi-groups, demi-modules, produit demi-directs. In: Semigroups, Proceedings, Oberwolfalch, Germany 1978, Lecture Notes in Mathematics, vol. 855, pp. 1–18. Springer-Verlag (1981)
Berberian, S.K: Baer rings and Baer \(*\)-rings. The University of Texas at Austin, Registered U.S. Copyright Office March 1988, revised edition (2003)
Berendsen, J., Jansen, D.N., Schmaltz, J., Vaandrager, F.W.: The axiomatization of override and update. J. Appl. Logic 8, 141–150 (2010)
De Carufel, S.K., Desharnais, J.: Demonic Algebra with Domain. Relations and Kleene Algebra in Computer Science. Lecture Notes in Computer Science, vol. 4136, pp. 120–134. Springer, Berlin (2006)
Desharnais, J., Struth, G.: Internal axioms for domain semirings. Sci. Comput. Program. 76, 181–203 (2011)
Foulis, D.J.: Baer \(*\)-semigroups. Proc. Am. Math. Soc. 11, 648–654 (1960)
Gould, V., Hollings, C.: Restriction semigroups and inductive constellations. Commun. Algebra 38, 261–287 (2009)
Gould, V., Stokes, T.: Constellations and their relationship with categories. Algebra Univ. 77, 271–304 (2017)
Harding, J.: Daggers, kernels, Baer \(*\)-semigroups, and orthomodularity. J. Philos. Logic 42, 535–549 (2013)
Hirsch, R., Mikulas, S.: Axiomatisability of representable domain algebras. J. Log. Algebr. Program. 80, 75–91 (2011)
Jackson, M., Stokes, T.: An invitation to C-semigroups. Semigroup Forum 62, 279–310 (2001)
Jackson, M., Stokes, T.: Agreeable semigroups. J. Algebra 266, 393–417 (2003)
Jackson, M., Stokes, T.: Modal restriction semigroups: towards an algebra of functions. Int. J. Algebra Comput. 21, 1053–1095 (2011)
Lawson, M.V.: Semigroups and ordered categories I: the reduced case. J. Algebra 141, 422–462 (1991)
Manes, E.: Guarded and banded semigroups. Semigroup Forum 2, 94–120 (2006)
Möller, B., Struth, G.: Algebras of modal operators and partial correctness. Theor. Comput. Sci. 351, 221–239 (2006)
Stokes, T.: Domain and range operations in semigroups and rings. Commun. Algebra 43, 3979–4007 (2015)
Stokes, T.: D-semigroups and constellations. Semigroup Forum 4, 442–462 (2017)
Stokes, T.: Generalised domain and E-inverse semigroups. Semigroup Forum 97, 32–52 (2018)
Trokhimenko, V.S.: Menger’s function systems. Izv. Vysš. Učebn. Zaved. Matematika 11, 71–78 (1973). [in Russian]
Vagner, V.V.: Restrictive semigroups. Izv. Vysš. Učebn. Zaved. Matematika 6, 19–27 (1962). [in Russian]
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mark V. Lawson.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Stokes, T. How to generalise demonic composition. Semigroup Forum 102, 288–314 (2021). https://doi.org/10.1007/s00233-020-10117-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-020-10117-2