A classifying invariant of knots, the knot quandle
Citations
549 citations
413 citations
410 citations
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...
[...]
[...]
336 citations
References
920 citations
60 citations