Quandles were introduced to Knot Theory in the 1980s as an almost complete algebraic invariant for knots and links. Like their more basic siblings, groups, they are difficult to distinguish so a major challenge is to devise means for determining when two quandles having different presentations are really different. This thesis addresses this point by studying algebraic aspects of quandles. Following what is mainly a recapitulation of existing work on quandles, we firstly investigate how a link quandle is related to the quandles of the individual components of the link. Next we investigate coset quandles. These are motivated by the transitive action of the operator, associated and automorphism group actions on a given quandle, allowing techniques of permutation group theory to be used. We will show that the class of all coset quandles includes the class of all Alexander quandles; indeed all group quandles. Coset quandles are used in two ways: to give representations of connected quandles, which include knot quandles; and to provide target quandles for homomorphism invariants which may be useful in enabling one to distinguish quandles by counting homomorphisms onto target quandles. Following an investigation of the information loss in going from the fundamental quandle of a link to the fundamental group, we apply our techniques to calculations for the figure eight knot and braid index two knots and involving lower triangular matrix groups. The thesis is rounded out by two appendices, one giving a short table of knot quandles for knots up to six crossings and the other a computer program for computing the homomorphism invariants.

Quandles were introduced to Knot Theory in the 1980s as an almost complete algebraic invariant for knots and links. Like their more basic siblings, groups, they are difficult to distinguish so a major challenge is to devise means for determining when two quandles having different presentations are really different. This thesis addresses this point by studying algebraic aspects of quandles. Following what is mainly a recapitulation of existing work on quandles, we firstly investigate how a link quandle is related to the quandles of the individual components of the link. Next we investigate coset quandles. These are motivated by the transitive action of the operator, associated and automorphism group actions on a given quandle, allowing techniques of permutation group theory to be used. We will show that the class of all coset quandles includes the class of all Alexander quandles; indeed all group quandles. Coset quandles are used in two ways: to give representations of connected quandles, which include knot quandles; and to provide target quandles for homomorphism invariants which may be useful in enabling one to distinguish quandles by counting homomorphisms onto target quandles. Following an investigation of the information loss in going from the fundamental quandle of a link to the fundamental group, we apply our techniques to calculations for the figure eight knot and braid index two knots and involving lower triangular matrix groups. The thesis is rounded out by two appendices, one giving a short table of knot quandles for knots up to six crossings and the other a computer program for computing the homomorphism invariants.

Quandles were introduced to Knot Theory in the 1980s as an almost complete algebraic invariant for knots and links. Like their more basic siblings, groups, they are difficult to distinguish so a major challenge is to devise means for determining when two quandles having different presentations are really different. This thesis addresses this point by studying algebraic aspects of quandles. Following what is mainly a recapitulation of existing work on quandles, we firstly investigate how a link quandle is related to the quandles of the individual components of the link. Next we investigate coset quandles. These are motivated by the transitive action of the operator, associated and automorphism group actions on a given quandle, allowing techniques of permutation group theory to be used. We will show that the class of all coset quandles includes the class of all Alexander quandles; indeed all group quandles. Coset quandles are used in two ways: to give representations of connected quandles, which include knot quandles; and to provide target quandles for homomorphism invariants which may be useful in enabling one to distinguish quandles by counting homomorphisms onto target quandles. Following an investigation of the information loss in going from the fundamental quandle of a link to the fundamental group, we apply our techniques to calculations for the figure eight knot and braid index two knots and involving lower triangular matrix groups. The thesis is rounded out by two appendices, one giving a short table of knot quandles for knots up to six crossings and the other a computer program for computing the homomorphism invariants.

Quandles were introduced to Knot Theory in the 1980s as an almost complete algebraic invariant for knots and links. Like their more basic siblings, groups, they are difficult to distinguish so a major challenge is to devise means for determining when two quandles having different presentations are really different. This thesis addresses this point by studying algebraic aspects of quandles. Following what is mainly a recapitulation of existing work on quandles, we firstly investigate how a link quandle is related to the quandles of the individual components of the link. Next we investigate coset quandles. These are motivated by the transitive action of the operator, associated and automorphism group actions on a given quandle, allowing techniques of permutation group theory to be used. We will show that the class of all coset quandles includes the class of all Alexander quandles; indeed all group quandles. Coset quandles are used in two ways: to give representations of connected quandles, which include knot quandles; and to provide target quandles for homomorphism invariants which may be useful in enabling one to distinguish quandles by counting homomorphisms onto target quandles. Following an investigation of the information loss in going from the fundamental quandle of a link to the fundamental group, we apply our techniques to calculations for the figure eight knot and braid index two knots and involving lower triangular matrix groups. The thesis is rounded out by two appendices, one giving a short table of knot quandles for knots up to six crossings and the other a computer program for computing the homomorphism invariants.

Quandles were introduced to Knot Theory in the 1980s as an almost complete algebraic invariant for knots and links. Like their more basic siblings, groups, they are difficult to distinguish so a major challenge is to devise means for determining when two quandles having different presentations are really different. This thesis addresses this point by studying algebraic aspects of quandles. Following what is mainly a recapitulation of existing work on quandles, we firstly investigate how a link quandle is related to the quandles of the individual components of the link. Next we investigate coset quandles. These are motivated by the transitive action of the operator, associated and automorphism group actions on a given quandle, allowing techniques of permutation group theory to be used. We will show that the class of all coset quandles includes the class of all Alexander quandles; indeed all group quandles. Coset quandles are used in two ways: to give representations of connected quandles, which include knot quandles; and to provide target quandles for homomorphism invariants which may be useful in enabling one to distinguish quandles by counting homomorphisms onto target quandles. Following an investigation of the information loss in going from the fundamental quandle of a link to the fundamental group, we apply our techniques to calculations for the figure eight knot and braid index two knots and involving lower triangular matrix groups. The thesis is rounded out by two appendices, one giving a short table of knot quandles for knots up to six crossings and the other a computer program for computing the homomorphism invariants.

Quandles were introduced to Knot Theory in the 1980s as an almost complete algebraic invariant for knots and links. Like their more basic siblings, groups, they are difficult to distinguish so a major challenge is to devise means for determining when two quandles having different presentations are really different. This thesis addresses this point by studying algebraic aspects of quandles. Following what is mainly a recapitulation of existing work on quandles, we firstly investigate how a link quandle is related to the quandles of the individual components of the link. Next we investigate coset quandles. These are motivated by the transitive action of the operator, associated and automorphism group actions on a given quandle, allowing techniques of permutation group theory to be used. We will show that the class of all coset quandles includes the class of all Alexander quandles; indeed all group quandles. Coset quandles are used in two ways: to give representations of connected quandles, which include knot quandles; and to provide target quandles for homomorphism invariants which may be useful in enabling one to distinguish quandles by counting homomorphisms onto target quandles. Following an investigation of the information loss in going from the fundamental quandle of a link to the fundamental group, we apply our techniques to calculations for the figure eight knot and braid index two knots and involving lower triangular matrix groups. The thesis is rounded out by two appendices, one giving a short table of knot quandles for knots up to six crossings and the other a computer program for computing the homomorphism invariants.

We present the theory of selfdistributive quasigroups and the construction of non-affine selfdistributive quasigroup of size 216 that was presented by Onoi in 1970 and which was the least known example of such structure of size 2k . Based on this construction, we introduce the notion of Onoi structures and Onoi mappings between them which generalizes Onoi's construction and which allows us to construct non-affine selfdistributive quasigroups of size 22k for k ≥ 3. We present and implement algorithm for finding central extensions of self- distributive quasigroups which enables us to classify non-affine selfdistributive quasigroups of size 2k and prove that those quasigroup exists exactly for k ≥ 6, k ̸= 7. We use this algorithm also in order to better understand the structure of non-affine selfdistributive quasigroups of size 26 . 1