scispace - formally typeset
Search or ask a question
Journal ArticleDOI

A classifying invariant of knots, the knot quandle

David Joyce1
01 Jan 1982-Journal of Pure and Applied Algebra (North-Holland)-Vol. 23, Iss: 1, pp 37-65
TL;DR: The Wirtinger presentation of the knot group involves only relations of the form y -1 xy = z and so may be construed as presenting a quandle rather than a group as discussed by the authors.
About: This article is published in Journal of Pure and Applied Algebra.The article was published on 1982-01-01 and is currently open access. It has received 999 citations till now. The article focuses on the topics: Knot group & Knot invariant.
Citations
More filters
Journal ArticleDOI
01 Sep 2000-Topology
TL;DR: In this paper, the isotopy classification problem for virtual knots is reduced to an algebraic problem formulated in terms of an algebra of arrow diagrams, and a new notion of finite type invariant is introduced.

549 citations

Journal ArticleDOI
TL;DR: The 2-twist trefoil is an example of a sphere that is knotted in 4-dimensional space as mentioned in this paper, and a proof is given in this paper that this sphere is distinct from the same sphere with its orientation reversed.
Abstract: The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. A proof is given in this paper that this sphere is distinct from the same sphere with its orientation reversed. Our proof is based on a state-sum invariant for knotted surfaces developed via a cohomology theory of racks and quandles (also known as distributive groupoids). A quandle is a set with a binary operation - the axioms of which model the Reidemeister moves in classical knot theory. Colorings of diagrams of knotted curves and surfaces by quandle elements, together with cocycles of quandles, are used to define state-sum invariants for knotted circles in 3-space and knotted surfaces in 4-space. Cohomology groups of various quandles are computed herein and applied to the study of the state-sum invariants. Non-triviality of the invariants is proved for a variety of knots and links, and conversely, knot invariants are used to prove non-triviality of cohomology for a variety of quandles.

413 citations

Book ChapterDOI
01 Jan 2001
TL;DR: In this paper, the construction of invariants of knots, such as the Jones polynomials and the Vassiliev invariants, and the relationships of these invariants to other mathematics (such as Lie algebras) are investigated.
Abstract: This paper concentrates on the construction of invariants of knots, such as the Jones polynomials and the Vassiliev invariants, and the relationships of these invariants to other mathematics (such as Lie algebras).

410 citations

Journal ArticleDOI
TL;DR: In this article, the authors studied the structure of racks, their cohomology groups and the corresponding Nichols algebras of braided vector spaces arising from groups, and showed advances in these three directions.

359 citations


Cites background from "A classifying invariant of knots, t..."

  • ...s called the defect group of X in the literature and coincides with the subgroup Γ considered in [So, Th. 2.6]. The name “enveloping group” is justified by the following fact, contained essentially in [J1]: Lemma 1.6. The functor X → GX is left adjoint to the forgetful functor H → FH from the category of groups to that of racks. That is, Homgroups(GX,H) ≃ Homracks(X,FH) by natural isomorphisms. The defi...

    [...]

  • ...−1)x; it is called a homogeneous crossed set. FROM RACKS TO POINTED HOPF ALGEBRAS 11 It can be shown that a crossed set Xis homogeneous if and only if it is a single orbit under the action of Aut⊲(X) [J1]. Twisted homogeneous crossed sets. In the same vein, let Gbe a group and s∈ Aut(G). Take x⊲y= xs(yx−1). This is a crossed set which is different, in general, to the previous one. Any orbit of this is ...

    [...]

  • ... = φiφjφ −1 i = φiyφ −1 i = φi⊲y; the claim follows. Similarly, i−1 ⊲F y⊆ Fφ−1 i ⊲y , hence (1). Now (2) follows from (1). We give finally some definitions of special classes of crossed sets, following [J1]. Definition 1.22. Let (X,⊲) be a quandle. We shall say that Xis involutory if φ2 x = id for all x∈ X. That is, if x⊲(x⊲y) = yfor all x,y∈ X. We shall say that Xis abelian if (x⊲w)⊲(y⊲z) = (x⊲y)⊲(w⊲z) ...

    [...]

  • ...: Im(f) + xi → Im(f), τi(y) = y− xi are isomorphisms. FROM RACKS TO POINTED HOPF ALGEBRAS 13 Involutory crossed sets. This is a discretization of symmetric spaces, which we shall roughly present (see [J1] for the full explanation). Let Sbe a set provided with a collection of functions γ : Z → S, called geodesics, such that any two points of S belong to the image of some of them. Consider the affine cros...

    [...]

  • ...Swith the structure of an involutory crossed set if it maps geodesics to geodesics; that is, if x⊲γis a geodesic for any xand any γ. It can be shown that any involutory crossed set arises in this way [J1]. Core crossed sets. Let Gbe a group. The core of Gis the crossed set (G,⊲), where x⊲y= xy−1x. The core is an involutory crossed set. If Gis abelian, its core is the affine crossed set with g= −id. More...

    [...]

MonographDOI
TL;DR: In this paper, the authors summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise.
Abstract: We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise.

336 citations

References
More filters