Presentations of diquandles and diquandle coloring invariants for solid torus knots and links

A diquandle is a set equipped with two quandle operations interacting via a kind of distributive laws which come from Reidemeister moves on dichromatic links. This algebraic systems provide coloring invariants for dichromatic links. In this paper, we give explicit constructions of free diquandles and diquandle presentations, and then discuss Tietze transformations for the diquandle presentations. We also introduce the fundamental diquandles for dichromatic links. Particularly, we describe the fundamental diquandles and diquandle counting invariants for knots and links in the solid torus via annulus diagrams. We append the tables of diquandles and dikei’s of orders $\le 5$.