This paper gives a brief introduction into the fundaments of knot theory: introducing knot diagrams, knot invariants, and two techniques to determine whether or not two knots are ambient isotopic. After discussing the basics of knot theory an algebraic coloring of knots knows as a bikei is introduced. The algebraic structure as well as the various axioms that define a bikei are defined. Furthermore, an extension between the Alexander polynomial of a knot and the Alexander Bikei is made. The remainder of the paper is devoted to reintroducing a modified homology and cohomology theory for involutory biquandles known as bikei, first introduced in [18]. The bikei 2-cocycles can be utilized to enhance the counting invariant for unoriented knots and links as well as unoriented and non-orienteable knotted surfaces in R4.

This thesis introduces a new enhancement for virtual birack counting invariants. We first introduce knots and other general types of knots (oriented knots, framed knots, racks, and biracks). Then we’ll discuss the methods, knot invariants, mathematicians use to identify whether two knots are different. Next we’ll look at knots with virtual crossings and knots with a good involution. Finally, we introduce a new symmetric enhancement for virtual birack counting invariants and provide an example.