A biunitary element h of a semiheap satisfies [h,h,k] = k = [k,h,h] for every k in H.:75,6
A heap is a semiheap in which every element is biunitary.:80
The term heap is derived from Груда, Russian for "heap", "pile", or "stack". Anton Sushkevich used the term in his Theory of Generalized Groups (1937) which influenced Viktor Wagner, promulgator of semiheaps, heaps, and generalized heaps.:11 Груда contrasts with Групп (group) which was taken into Russian by transliteration. Indeed, a heap has been called a groud in English text.)
Two element heap
Turn into the cyclic group , by defining the identity element, and . Then it produces the following heap:
Defining as the identity element and would have given the same heap.
Heap of integers
If are integers, we can set to produce a heap. We can then choose any integer to be the identity of a new group on the set of integers, with the operation
Heap of a groupoid with two objects
One may generalize the notion of the heap of a group to the case of a groupoid which has two objects A and B when viewed as a category. The elements of the heap may be identified with the morphisms from A to B, such that three morphisms x, y, z define a heap operation according to:
This reduces to the heap of a group if a particular morphism between the two objects is chosen as the identity. This intuitively relates the description of isomorphisms between two objects as a heap and the description of isomorphisms between multiple objects as a groupoid.
Let A and B be different sets and the collection of heterogeneous relations between them. For define the ternary operator where qT is the converse relation of q. The result of this composition is also in so a mathematical structure has been formed by the ternary operation. Viktor Wagner was motivated to form this heap by his study of transition maps in an atlas which are partial functions. Thus a heap is more than a tweak of a group: it is a general concept including a group as a trivial case.
- A pseudoheap or pseudogroud satisfies the partial para-associative condition
- [dubious ]
- A Malcev operation satisfies the identity law but not necessarily the para-associative law, that is, a ternary operation on a set satisfying the identity .
- A semiheap or semigroud is required to satisfy only the para-associative law but need not obey the identity law.
- An idempotent semiheap is a semiheap where for all a.
- A generalised heap or generalised groud is an idempotent semiheap where
- and for all a and b.
A semigroud is a generalised groud if the relation → defined by
- C.D. Hollings & M.V. Lawson (2017) Wagner's Theory of Generalised Heaps, Springer books ISBN 978-3-319-63620-7 MR3729305
- Schein (1979) pp.101–102: footnote (o)
- Christopher Hollings (2014) Mathematics across the Iron Curtain: a history of the algebraic theory of semigroups, pages 264,5, History of Mathematics 41, American Mathematical Society ISBN 978-1-4704-1493-1
- Vagner (1968)
- Borceux, Francis; Bourn, Dominique (2004). Mal'cev, Protomodular, Homological and Semi-Abelian Categories. Springer Science & Business Media. ISBN 978-1-4020-1961-6.
- Moldavs'ka, Z. Ja. "Linear semiheaps". Dopovidi Ahad. Nauk Ukrain. RSR Ser. A. 1971: 888–890, 957. MR 0297918.
- Schein (1979) p.104
- Anton Sushkevich (1929) "On a generalization of the associative law", Transactions of the American Mathematical Society 31(1): 204–14 doi:10.1090/S0002-9947-1929-1501476-0 MR1501476
- Schein, Boris (1979). "Inverse semigroups and generalised grouds". In A.F. Lavrik (ed.). Twelve papers in logic and algebra. Amer. Math. Soc. Transl. 113. American Mathematical Society. pp. 89–182. ISBN 0-8218-3063-5.
- Vagner, V. V. (1968). "On the algebraic theory of coordinate atlases, II". Trudy Sem. Vektor. Tenzor. Anal. (in Russian). 14: 229–281. MR 0253970.