A quandle is a set with a binary operation that satisfies three axioms that corresponds to the three Reidemeister moves on knot diagrams. Homology and cohomology theories of quandles were introduced in 1999 by Carter, Jelsovsky,Kamada, Langford, and Saito as a modification of the rack (co)homology theory defined by Fenn, Rourke, and Sanderson. Cocycles of the quandle (co)homology, along with quandle colorings of knot diagrams, were used to define a new invariant called the quandle cocycle invariants, defined in a state-sum form. This invariant is constructed using a finite quandle and a cocyle, and it has the advantage that it can distinguish some knots from their mirror images, and orientations of knotted surfaces. To compute the quandle cocycle invariant for a specific knot, we need to find a quandle that colors the given knot non-trivially, and find a cocycle of the quandle. It is not easy to find cocycles,since the cocycle conditions form a large, over-determined system of linear equations. At first the computations relied on cocycles found by computer calculations. We have seen significant progress in computations after Mochizuki discovered a family of 2- and 3-cocycles for dihedral and other linear Alexander quandles written by polynomial expressions. In this dissertation, following the method of the construction by Mochizuki, a variety of n-cocycles for n >̲ 2 are constructed for some Alexander quandles, given by polynomial expressions. As an application, these cocycles are used to compute the invariants for (2,n)-torus knots, twist knots and their r-twist spins. The calculations in the case of (2,n)-torus knots resulted in formulas that involved the derivative of the Alexander polynomial. Non-triviality of some quandle homology groups is also proved using these cocycles. Another application is given for tangle embeddings. The quandle cocycle invariants are used as obstructions to embedding tangles in links. The formulas for the cocycle invariants of tangles are obtained using polynomial cocycles, and by comparing the invariant values, information is obtained on which tangles do not embed in which knots. Tangles and knots in the tables are examined, and concrete examples are listed.

Berge introduced knots that are primitive/primitive with respect to the standard genus 2 Heegaard surface, F, for the 3-sphere; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to F; surgery on these knots at the surface slope yields a Seifert fibered space. The examples Dean worked with are among the twisted torus knots. In Chapter 3, we show that a given knot can have distinct primitive/Seifert representatives with the same surface slope. In Chapter 4, we show that a knot can also have a primitive/primitive and a primitive/Seifert representative that share the same surface slope. In Section 5.2, we show that these two results are part of the same phenomenon, the proof of which arises from the proof that a specific class of twisted torus knots are fibered, demonstrated in Section 5.1. / text

No description available.