Knot Theory, Link Homotopy, and QuandlesIn 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 poster, 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 classification of 2 and 3 component links up to link homotopy.
