1: \begin{abstract}

2: A heap is a set with a 

3: 	certain ternary operation that is self-distributive (TSD) and

4: exemplified by a group with 

5: the operation $(x,y,z)\mapsto xy^{-1}z$. 

6: We introduce and investigate  framed link invariants using heaps.

7:  In analogy with the knot group, we  define the fundamental heap of framed links using group presentations.

8: The fundamental heap is determined for some classes of links such as certain families of torus and pretzel links. We show that for these families of links there exist epimorphisms from  fundamental heaps to Vinberg and Coxeter groups, implying that  corresponding groups are infinite. 

9: A relation to the Wirtinger presentation is also described. 

10: 

11: The cocycle invariant 

12: is defined using ternary self-distributive (TSD) cohomology, by means of a state sum that uses ternary heap $2$-cocycles as weights. 

13: It is shown that the cohomology  splits into two types, called degenerate and nondegenerate, and that the degenerate part is one dimensional.

14: Subcomplexes are constructed based on group cosets, that allow computations of the nondegenerate part. 

15: We apply colorings inferred from fundamental heaps to compute  cocycle invariants, and prove that the invariant values can be used to  derive algebraic properties of the cohomology.

16: \end{abstract}

17: