Heap (mathematics)

In abstract algebra, a semiheap is an algebraic structure consisting of a non-empty set H with a ternary operation denoted ${\displaystyle [x,y,z]\in H}$ that satisfies a modified associativity property:^[1]: 56

A biunitary element h of a semiheap satisfies [h,h,k] = k = [k,h,h] for every k in H.^{[1]: 75, 6}

A heap is a semiheap in which every element is biunitary.^[1]: 80 It can be thought of as a group with the identity element "forgotten".

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.^[1]: 11 Груда contrasts with группа (group) which was taken into Russian by transliteration. Indeed, a heap has been called a groud in English text.^[2])

Examples

Two element heap

Turn ${\displaystyle H=\{a,b\}}$ into the cyclic group ${\displaystyle \mathrm {C} _{2}}$, by defining ${\displaystyle a}$ the identity element, and ${\displaystyle bb=a}$. Then it produces the following heap:

${\displaystyle [a,a,a]=a,\,[a,a,b]=b,\,[b,a,a]=b,\,[b,a,b]=a,}$

${\displaystyle [a,b,a]=b,\,[a,b,b]=a,\,[b,b,a]=a,\,[b,b,b]=b.}$

Defining ${\displaystyle b}$ as the identity element and ${\displaystyle aa=b}$ would have given the same heap.

Heap of integers

If ${\displaystyle x,y,z}$ are integers, we can set ${\displaystyle [x,y,z]=x-y+z}$ to produce a heap. We can then choose any integer ${\displaystyle k}$ to be the identity of a new group on the set of integers, with the operation ${\displaystyle *}$

${\displaystyle x*y=x+y-k}$

and inverse

${\displaystyle x^{-1}=2k-x}$.

Heap of a group

The previous two examples may be generalized to any group G by defining the ternary relation as ${\displaystyle [x,y,z]=xy^{-1}z,}$ using the multiplication and inverse of G.

Heap of a groupoid with two objects

The heap of a group may be generalized again to the case of a

from A to B, such that three morphisms x, y, z define a heap operation according to ${\displaystyle [x,y,z]=xy^{-1}z.}$

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.

Heterogeneous relations

Let A and B be different sets and ${\displaystyle {\mathcal {B}}(A,B)}$ the collection of

heterogeneous relations

between them. For ${\displaystyle p,q,r\in {\mathcal {B}}(A,B)}$ define the ternary operator ${\displaystyle [p,q,r]=pq^{T}r}$ where q^T is the converse relation of q. The result of this composition is also in ${\displaystyle {\mathcal {B}}(A,B)}$ so a mathematical structure has been formed by the ternary operation.^[3] Viktor Wagner was motivated to form this heap by his study of transition maps in an atlas which are partial functions.^[4] Thus a heap is more than a tweak of a group: it is a general concept including a group as a trivial case.

Theorems

Theorem: A semiheap with a biunitary element e may be considered an involuted semigroup with operation given by ab = [a, e, b] and involution by a^–1 = [e, a, e].^[1]: 76

When the above construction is applied to a heap, the result is in fact a group.^[1]: 143 Note that the identity e of the group can be chosen to be any element of the heap.

Theorem: Every semiheap may be embedded in an involuted semigroup.^[1]: 78

As in the study of

He also described regularity classes of a semiheap S:

${\displaystyle D(m,n)=\{a\mid \exists x\in S:a=a^{n}xa^{m}\}}$ where n and m have the same parity and the ternary operation of the semiheap applies at the left of a string from S.

He proves that S can have at most 5 regularity classes. Mustafaev calls an ideal B "isolated" when ${\displaystyle a^{n}\in B\implies a\in B.}$ He then proves that when S = D(2,2), then every ideal is isolated and conversely.^[6]

Studying the semiheap Z(A, B) of

Generalizations and related concepts

• A pseudoheap or pseudogroud satisfies the partial para-associative condition[4]

  ${\displaystyle [[a,b,c],d,e]=[a,b,[c,d,e]].}$^{[dubious – discuss]}

• A Malcev operation satisfies the identity law but not necessarily the para-associative law,^[8] that is, a ternary operation ${\displaystyle f}$ on a set ${\displaystyle X}$ satisfying the identity ${\displaystyle f(x,x,y)=f(y,x,x)=y}$.
• A semiheap or semigroud is required to satisfy only the para-associative law but need not obey the identity law.^[9]

  An example of a semigroud that is not in general a groud is given by M a ring of matrices of fixed size with

  $${\displaystyle [x,y,z]=x\cdot y^{\mathrm {T} }\cdot z}$$

  

  where • denotes

  matrix transpose.^[9]

• An idempotent semiheap is a semiheap where ${\displaystyle [a,a,a]=a}$ for all a.
• A generalised heap or generalised groud is an idempotent semiheap where
  $${\displaystyle [a,a,[b,b,x]]=[b,b,[a,a,x]]}$$

  
  and
  $${\displaystyle [[x,a,a],b,b]=[[x,b,b],a,a]}$$

  
  for all a and b.

A semigroud is a generalised groud if the relation → defined by

$${\displaystyle a\rightarrow b\Leftrightarrow [a,b,a]=a}$$

is

See also

• n-ary associativity

Notes

References

• MR1501476
• ISBN 0-8218-3063-5
  .
• MR 0253970
  .

External links

• Mal'cev variety at the nLab