Skip to main content

Questions tagged [quandles]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer
136 views

Is there a Dehn-like presentation of a knot quandle?

The knot group can be presented using either a Wirtinger presentation (with generators corresponding to arcs of the knot diagram) or a Dehn presentation (with generators corresponding to regions of ...
Yury Belousov's user avatar
12 votes
0 answers
247 views

Symmetric spaces are quandles. Is this important?

For concreteness, let's consider a connected reductive Lie group $G$, and an involution $\theta$ on it. Then the associated symmetric space $X=G/G^\theta$ has the structure of an involutive quandle: ...
Spencer Leslie's user avatar
7 votes
0 answers
362 views

When do two knots have isomorphic fundamental bikeis?

A kei, also known as an involutive (or involutory) quandle, is a quandle $(Q,*)$ satisfying the involution condition that $(x*y)*y=x$ for all $x$ and $y$. Just like we can define a fundamental ...
Keshav Srinivasan's user avatar
4 votes
2 answers
265 views

Can different knots have the same numbers of quandle colorings for all quandles?

Let $K_1$ and $K_2$ be two knots such that for all finite quandles $X$, the number of colorings of $K_1$ by $X$ is the same as the number of colorings of $K_2$ by $X$. Then my question is, must $K_1$ ...
Keshav Srinivasan's user avatar
3 votes
1 answer
427 views

Distinguishing Square Knot and Granny Knot using Quandles

It is known that the square knot and the granny knot are nonequivalent although they have isomorphic fundamental groups. I want to write a work on knot theory and provide these knots as an example ...
Simon1729's user avatar
  • 133
7 votes
1 answer
282 views

Is the category of racks semi-abelian?

I wonder whether the category of (pointed) racks is semi-abelian. Any comments and references would be appreciated.
Kadir Emir's user avatar
2 votes
0 answers
108 views

Is the action of free self-distributive algebras on racks computable in polynomial time?

Let $B_{\infty}$ denote the infinite strand braid group. Let $\mathrm{sh}:B_{\infty}\rightarrow B_{\infty}$ be the mapping where $\mathrm{sh}(\sigma_{i})=\sigma_{i+1}$ whenever $i\geq 1$. Then $B_{\...
Joseph Van Name's user avatar
12 votes
0 answers
259 views

Higher homotopical information in racks and quandles

A quandle is defined to be a set $Q$ with two binary operations $\star,\bar\star\colon\ Q\times Q\to Q$ for which the following axioms hold. Q1. a $\star$ a = a Q2. (a $\star$ b) $\bar\star$ b = (a $\...
Nicola Di Vittorio's user avatar
4 votes
1 answer
244 views

Quandle homomorphism does not always induces group homomorphism on inner automorphism groups of quandles

Let $X$ and $Y$ be two quandles and $f: X \rightarrow Y$ be a quandle homomorphism. Then we can define a map $\bar f: Inn(X) \rightarrow Inn(Y)$ as $\bar f(S_a)=S_{f(a)}$, where $a \in X$. Then $\bar ...
eyp's user avatar
  • 163
2 votes
1 answer
193 views

Classification of pretzel links up to link homotopy using alexander quandle

I am currently reading this paper where the author classifies the pretzel links up to link homotopy using a quasi-trivial quandle $\mathbb{Z}_{k}[t^{\pm 1}]\diagup_{(t-1)^{2}}$, and I find it ...
Suki's user avatar
  • 55
3 votes
0 answers
219 views

Partial information decomposition for tangle machines

In (Williams and Beer, 2010), they define the partial information decomposition (PID) as a generalization of Shannon's Mutual Information for multiple information sources. Their key insight is that ...
momeara's user avatar
  • 211
7 votes
0 answers
342 views

Hemi-semi direct product of racks or quandles

In the category of racks (similarly quandles), instead of well-known semidirect product, we have the hemi-semi direct product construction as seen on Wagemann & Crans. As far as I know, semi ...
Kadir Emir's user avatar
10 votes
4 answers
2k views

Conjugation Quandles and... "Quandle-Groups"? From quandles to Groups

This question is already asked MathSE A quandle $(Q,*,/ )$ is a idempotent right-distributive and right invertible structure. 1) $a*a=a$ 2) $(a*b)*c=(a*c)*(b*c)$ 3) $(a*b) /b=(a/b)*b=a$ ...
MphLee's user avatar
  • 233
3 votes
2 answers
690 views

A name for the inverse image of the center of a quotient group?

Given the projection $\pi_A$ from a group $G$ to $G/A$ where $A$ is normal, is there a name and/or a standard notation for $\pi_A^{-1}\left(Z\left(G/A\right)\right)$? I came across this object in my ...
Giuliano Bianco's user avatar
5 votes
1 answer
403 views

One question about the quandle

Given a finite quandle $Q$, for any knot $K$ one can associate an invariant, i.e. the number of proper colorings $p(K)$. Let us consider the inverse $K^{-1}$ and mirror image $K'$ of $K$. My queston ...
Zhiyun Cheng's user avatar
8 votes
1 answer
343 views

The equality problem between conjugate group elements

The Novikov--Boone Theorem, which is perhaps the archetypal local unsolvability result in group theory, states existence of a finitely presented group whose word problem is recursively unsolvable. ...
Daniel Moskovich's user avatar
16 votes
2 answers
602 views

Formally undecidable problems on finitely presented quandles

In the literature, one sometimes sees the claim that finitely presented quandles (in particular, knot quandles) are "hard to deal with". Hence, a great deal of effort has gone into studying finite ...
James's user avatar
  • 1,889
9 votes
2 answers
873 views

Higher order quandle

The notion of quandle is known to be closely related to knot theory. The three axioms in the definition of quandle correspond to the Reidemeister moves. Recently I learned that there are higher ...
Dai Tamaki's user avatar
  • 1,467