UWEC CERCA 2025

In the 1950s Milnor defined the notion of link homotopy. Since then, its study has been central to the field of knot theory. In the 1980s, Joyce, building on the work of Takasaki, defined a mathematical object called a quandle which is well adapted to the transformation of knot theoretic questions into algebraic questions. Trivial orbit quandles, defined in 2007 by Harrell and Nelson, are a type of quandle useful for studying link homotopy. In this presentation, we define a new trivial orbit quandle called the reduced free quandle, and we go about classifying it for 2 and 3 generators. This gives a classification of 2 and 3 component links up to link homotopy.