Theory of Generalised Heaps and Generalised Groups

Christopher D. Hollings and Mark V. Lawson
Additional contact information
Christopher D. Hollings: University of Oxford, Mathematical Institute
Mark V. Lawson: Heriot-Watt University, Department of Mathematics

Chapter Chapter 8 in Wagner’s Theory of Generalised Heaps, 2017, pp 49-145 from Springer

Abstract: Abstract The purpose of this long paper was to develop the theories of generalised heaps and generalised groups in their mutual connections. To this end, Wagner began by introducing the new notion of a semiheap: a system with a ternary operation satisfying certain conditions. He explored some of the basic properties of semiheaps, as well as setting out elements of the theory of binary relations, the use of which was central to his approach. He next moved to the consideration of semigroups with involution, which turn out to have a natural connection with semiheaps, namely that any semiheap may be embedded in such a semigroup. Wagner then restricted his attention to a specific class of semigroups with involution: generalised groups (a.k.a. inverse semigroups), and the class of semiheaps with which they are closely associated: generalised heaps. He established elementary theories for these objects, and showed, for example, that any generalised heap may be embedded in a generalised group. These theories were then further expanded via the exploration of certain special binary relations in generalised heaps and generalised groups: the compatibility relation and the canonical order relation. The final section of the paper applies the previously developed notions to the context of binary relations and partial mappings and transformations: semiheaps and generalised heaps have a natural interpretation as abstractions of systems of binary relations or partial mappings between different sets, whilst semigroups and generalised groups apply in the case of partial transformations of a single set. It is proved that every generalised heap admits a representation by means of partial mappings, whilst every generalised group admits a representation via partial transformations.

Keywords: Generalised Heap; Semiheaps; Canonical Order Relation; Partial Transformation; Involutive Semigroup (search for similar items in EconPapers)
Date: 2017
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-63621-4_8

Ordering information: This item can be ordered from
http://www.springer.com/9783319636214

DOI: 10.1007/978-3-319-63621-4_8

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().