Pith. sign in

REVIEW 2 major objections 5 minor 54 references

General constructions of biquandles and their symmetries

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that a pair of words in two group letters defines a biquandle on every group exactly when it is one of eight explicit families, and computes symmetries of the resulting structures.

desk verdict A solid classification paper with one genuine proof gap and one typo; worth refereeing, but the completeness claim in Theorem 3.2 is not fully supported as written. read the letter →

arxiv 1908.08301 v1 pith:5LZ4SSOV submitted 2019-08-22 math.GR math.GT

Valeriy Bardakov , Timur Nasybullov , Mahender Singh This is my paper · ORCID
classification math.GRmath.GT MSC 57M2557M2720N0516T25
keywords biquandleverbalYang-Baxterequationvirtualknotinvariantquandlecoveringautomorphismgroupholomorphfreewordmap
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper asks which algebraic formulas built from two group elements always satisfy the axioms of a biquandle—an algebraic structure with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links—no matter what group they are evaluated in. Its main theorem answers the question completely: a pair of words in the free group on two generators works for every group exactly when it belongs to one of eight short families, and in each case the operations satisfy the stronger biquandle axioms rather than just the birack axioms. Since every biquandle yields a set-theoretic solution of the Yang-Baxter equation, the classification is a systematic source of such solutions from arbitrary groups. The paper also constructs biquandles from unions, products, and coverings of quandles, and determines automorphism groups of these constructions, including a holomorph biquandle whose automorphism group coincides with that of the underlying quandle.

What carries the argument

The load-bearing object is the verbal biquandle: a pair of words $u,v$ in the free group $F(x,y)$ defines operations $g*h=u(g,h)$ and $g\bar*h=v(g,h)$ on any group $G$. The completeness proof first forces the words into four-syllable shapes $u=x^\alpha y^\varepsilon x^\beta$ and $v=y^\gamma x^\mu y^\delta$ with $\varepsilon,\mu\in\{\pm1\}$, then substitutes these into the three birack distributivity identities and compares the resulting exponent equations in a free abelian group on $x,y,z$; solving those equations leaves exactly the eight cases. The paper's second main tool is the associated-quandle picture: a biquandle structure is a family $\{\beta_y\}$ of automorphisms of a quandle satisfying a compatibility condition, and every biquandle arises this way. That picture carries the union, product, holomorph, and covering constructions and the automorphism-group computations.

What would settle it

To test the classification, search for a pair of reduced words $u,v$ outside the eight listed forms such that for every group $G$ the maps $x\mapsto u(x,y)$ and $x\mapsto v(x,y)$ are bijections and the three birack identities hold; a single such pair would disprove Theorem 3.2. More narrowly, the load-bearing step can be attacked by exhibiting any word $w$ not of the form $x^\alpha y^\varepsilon x^\beta$ or $yx^{-1}y$ whose map $x\mapsto w(x,y)$ is bijective for every group.

Watch

Extended reading notes

Core claim

The central claim is a completeness theorem for verbal biquandles. Let $F(x,y)$ be the free group on two generators, and for words $u,v\in F(x,y)$ define operations on an arbitrary group $G$ by $g*h=u(g,h)$ and $g\bar*h=v(g,h)$. Theorem 3.2 asserts that $(G,*,\bar*)$ is a birack for every group $G$ if and only if $(u,v)$ is one of the following eight forms: (1) $u=x$, $v=y^\gamma x y^{-\gamma}$; (2) $u=y^\alpha x y^{-\alpha}$, $v=x$; (3) $u=y^{-1}xy^{-1}$, $v=x^{-1}$; (4) $u=yx^{-1}y$, $v=x$; (5) $u=xy^{-2}$, $v=yx^{-1}y^{-1}$; (6) $u=y^{-2}x$, $v=y^{-1}x^{-1}y$; (7) $u=x$, $v=yx^{-1}y$; (8) $u=x^{-1}$, $v=y^{-1}xy^{-1}$, with $\alpha,\gamma\in\mathbb{Z}$. The theorem further states that each of these eight operations automatically satisfies the full biquandle axioms, so the classification provides exactly the verbal biracks that come from word pairs.

Load-bearing premise

The completeness proof assumes, with a brief 'similar to Proposition 3.1', that any word whose map $x\mapsto w(x,y)$ is bijective on every group must reduce to the four-syllable shape $x^\alpha y^\varepsilon x^\beta$ (and similarly for the second word); if a bijective word map with a different shape exists, the eight-form classification could be incomplete.

Editorial extensions

If this is right

  • On every group, the eight word families define biquandle operations, and each such biquandle gives a set-theoretic solution of the Yang-Baxter equation on the product of the group with itself.
  • No word pair outside the eight families can define a birack on all groups, so any search for verbal biracks of this universal kind can stop at the list.
  • The union biquandle construction yields a coloring invariant that distinguishes the virtual Hopf link from the trivial two-component link, even though the underlying trivial quandle cannot distinguish links with the same number of components.
  • Every biquandle structure on a base quandle lifts to any simply connected covering quandle, making covering maps into biquandle homomorphisms and transferring symmetries upward.
  • For the holomorph biquandle of a finite faithful connected quandle, the automorphism group equals that of the quandle, giving finite biquandles whose automorphism-to-size ratio tends to zero.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This suggests that the exponent-equation technique could be adapted to classify verbal biracks relative to restricted classes of groups, such as abelian or nilpotent groups, where the 'for every group' requirement is relaxed.
  • The lifting procedure from the trivial quandle $T_n$ to the free quandle $FQ_n$ looks like a natural seed for the explicit free biquandle model that the paper leaves open; testing universality of that lift would be a concrete next step.
  • The holomorph examples give a testing ground for the paper's question whether large biquandles must have nontrivial automorphisms: one could seek faithful connected quandles with trivial automorphism group and inspect their holomorph biquandles.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies verbal quandles and biquandles, that is, binary operations on groups defined by words in the free group F(x,y). It claims to classify all words that give quandle structures on every group (Proposition 3.1) and all pairs of words that give birack and biquandle structures on every group (Theorem 3.2). It then introduces new constructions of biquandles from unions and products of quandles, including the holomorph biquandle, proves a lifting theorem for biquandle structures along simply connected quandle coverings, and computes automorphism groups of the constructed biquandles. The paper also gives an example of a biquandle whose coloring invariant distinguishes a virtual Hopf link from the trivial two-component link, and it proves the existence of finite biquandles with vanishing automorphism-to-order ratio.

Significance. If Theorem 3.2 is correct, it gives a complete classification of verbal biquandles on all groups and thus a substantial family of set-theoretic solutions of the Yang-Baxter equation; this is a strong and elegant result. The union and product constructions, the covering-lifting theorem, and the automorphism-group computations, especially Corollary 5.19 and Corollary 5.20, are useful contributions. The paper is also commendable for giving explicit constructions and detailed worked examples that connect the algebraic theory to virtual knot invariants. However, the central classification currently contains a fixable but load-bearing gap and a typo in the statement of Theorem 3.2, so the result as printed is not yet fully supported.

major comments (2)
  1. [Theorem 3.2(8), Eq. (3.2.20)] Item (8) as printed states v(x,y)=y^{-1}x^{-1}y^{-1}, but the proof derives v(x,y)=y^{-1}xy^{-1} in equation (3.2.20). The printed formula fails the first biquandle axiom x*x = x*underbar x in any group with an element of order greater than 2: with u(x,y)=x^{-1}, the axiom demands x^{-1}=x^{-3} for all x, i.e. x^2=1 for all x. Thus the theorem statement is false as printed and must be corrected to match equation (3.2.20).
  2. [Proposition 3.1 and Theorem 3.2, before Eq. (3.2.1)] The reduction of arbitrary word maps to the forms u(x,y)=x^alpha y^epsilon x^beta and v(x,y)=y^gamma x^mu y^delta is asserted but not proved. In Proposition 3.1, after noting that for every a,b there is c with c*_w a=b, the proof states that this is possible 'if and only if' w=y^alpha x^epsilon y^beta; no argument is given for this assertion. Theorem 3.2 relies on the same step with the justification 'similar to Proposition 3.1'. Since all subsequent computations in the proof begin from (3.2.1), the completeness of the eight-item classification depends entirely on this unproved reduction. A word such as x^2 y x^{-1} illustrates that the required shape is not self-evident: it has total x-exponent 1 but two x-syllables, and no syllable-counting argument in the manuscript rules out such words. The authors should supply a proof of this reduction or explicitly identify it as a lemma with a complete argument.
minor comments (5)
  1. [Remark 2.8] There is a typo: 'one-to-one correspondance' should be 'one-to-one correspondence'.
  2. [Proposition 4.24 proof] The word 'structre' appears and should be 'structure'.
  3. [Proposition 5.22] The word 'conntected' appears and should be 'connected'.
  4. [Corollary 4.9 and Example 4.11] The notation for union biquandles is confusing: in Corollary 4.9 the automorphisms are called f and g and the construction is denoted B(Q1 g ⨟ f Q2), but in the surrounding text and later in Example 4.11 the roles of the two subscripts are not defined explicitly. Please state in one sentence which automorphism acts on which component, and keep that convention throughout.
  5. [References] Reference [30] is cited as an arXiv preprint at the time of writing; if it has appeared in a journal, the published version should be cited.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central classifications are self-contained word-map analyses, and the cited prior results are independent published tools rather than assumptions of the target claims.

full rationale

The paper's derivation chain is not circular in any of the enumerated senses. The central classification (Proposition 3.1 and Theorem 3.2) is a self-contained word-map analysis: it assumes the rack/birack axioms and derives constraints on exponents by substituting into identities and comparing reduced words in the free group on three generators. The one load-bearing reduction in Theorem 3.2 — 'similar to Proposition 3.1, we conclude that the words u(x,y), v(x,y) have the following forms u(x,y)=x^α y^ε x^β, v(x,y)=y^γ x^μ y^δ' — is an asserted completeness lemma, not a definition of the conclusion or a fitted parameter. The same is true of the corresponding assertion in Proposition 3.1 ('but it is possible if and only if w = y^α x^ε y^β'). If that syllable-count lemma is false, the eight-form list could be incomplete; this is a correctness risk that should be addressed by adding a proof, but it is not circularity, because the target list is not used as an input. The biquandle-structure machinery (Theorem 4.5) is quoted from Horvat [30], an independent external source, not from the present authors; [30] is also used for automorphism-group facts (Propositions 5.2 and 5.7). The authors' own earlier papers [2,3] are cited for automorphism groups of quandles (e.g., [2, Theorem 4.2(1)] and [2, Theorem 6.1] in Propositions 5.3 and 5.4), but those are published, independent results used as tools, and the target statements of the present paper are not among their assumptions. The typo in Theorem 3.2(8) — v = y^{-1}x^{-1}y^{-1} contradicts the derived formula (3.2.20) — is an internal consistency error, not a circularity. No equation in the paper reduces by construction to its own input, and no fitted quantity is renamed as a prediction. Accordingly the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper relies on standard algebraic axioms and cited theorems; no free parameters are fitted to data, and no ad hoc postulates are introduced beyond the explicit hypotheses of each construction. Integer exponents in the classification are universally quantified variables, not fitted constants. No new particles, forces, or non-mathematical entities are postulated.

assumptions (6)
  • standard math Standard quandle and biquandle axioms are assumed as the definitional framework.
    The paper's subject is defined by these axioms, and all constructions are required to satisfy them.
  • domain assumption Theorem 4.5 from [30]: every biquandle is obtained from its associated quandle via a biquandle structure family of automorphisms.
    Used throughout Section 4 to pass between biquandle structures on quandles and actual biquandles.
  • domain assumption Eisermann's quandle covering lifting theorem, [21, Propositions 4.9 and 5.13].
    Used in Theorem 4.22 and Proposition 5.22 to lift biquandle structures and automorphisms along simply connected quandle coverings.
  • domain assumption Aut(T(G)) = G semidirect Aut(G) for an abelian group G without 2-torsion, from [2, Theorem 4.2(1)].
    Used in Proposition 5.3 to describe automorphisms of the Takasaki quandle associated with B(G,phi).
  • domain assumption Aut(Alex(G,psi^{-1}phi)) = G semidirect C_Aut(G)(psi^{-1}phi) for fixed-point-free automorphisms, from [2, Theorem 6.1].
    Used in Proposition 5.4 to compute the automorphism group of A_{psi,phi}(G).
  • domain assumption Aut(B) is contained in N_Aut(Q)({beta_a}) and the constant-structure automorphism description from [30, Theorem 4.1 and Corollary 4.2].
    Used in Section 5 as the bridge between biquandle automorphisms and quandle automorphisms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of General constructions of biquandles and their symmetries." pith.science (2026). https://pith.science/paper/5LZ4SSOV

@misc{pith2026190808301,
  author       = {Pith},
  title        = {Pith review of: General constructions of biquandles and their symmetries},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5LZ4SSOV}},
  note         = {Machine review of arXiv:1908.08301}
}
read the original abstract

Biquandles are algebraic objects with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links. These objects also provide set-theoretic solutions of the well-known Yang-Baxter equation. The first half of this paper proposes some natural constructions of biquandles from groups and from their simpler counterparts, namely, quandles. We completely determine all words in the free group on two generators that give rise to (bi)quandle structures on all groups. We give some novel constructions of biquandles on unions and products of quandles, including what we refer as the holomorph biquandle of a quandle. These constructions give a wealth of solutions of the Yang-Baxter equation. We also show that for nice quandle coverings a biquandle structure on the base can be lifted to a biquandle structure on the covering. In the second half of the paper, we determine automorphism groups of these biquandles in terms of associated quandles showing elegant relationships between the symmetries of the underlying structures.

Figures

Figures reproduced from arXiv: 1908.08301 by the authors.

Figure 1
Figure 1. Labels of arcs in DK. Let Q be a finite quandle. A coloring of a diagram DK of a link K by elements of Q is a labeling of arcs of DK by elements of Q. A coloring is said to be proper if in the neighborhood of all crossing the labels of arcs are as on [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Labels of arcs in DK. algebraic operations (x, y) 7→ x y , (x, y) 7→ xy, but the axioms for these operations differ from the axioms for operations ∗, ∗ introduced at the beginning of this section. It happened since axioms for operations ∗, ∗ come from [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Labels of arcs due to [23]. Comparing [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Labels of arcs of the virtual Hopf link. Since U has no crossings, every coloring of U is proper, and therefore CB(U) = (m + k) 2 . In order to calculate CB(H), label the arcs of H by elements a, b, c, d ∈ B as it is depicted on [PITH_FULL_IMAGE:figures/full_fig_p017_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 51 canonical work pages

  1. [2]

    Bardakov, P

    V. Bardakov, P. Dey, M. Singh, Automorphism groups of quandles arising from groups, Monatsh. Math., V. 184, N. 4, 2017, 519–530

    work page 2017

  2. [3]

    Bardakov, T

    V. Bardakov, T. Nasybullov, M. Singh, Automorphism groups of quandles and related groups, Monatsh. Math., V. 189, N. 1, 2019, 1–21

    work page 2019

  3. [30]

    Constructing biquandles

    E. Horvat, Constructing biquandles, ArXiv:Math/1810.03027

    work page Pith review arXiv

  4. [1]

    Ashihara, Fundamental biquandles of ribbon 2-knots and ribbon torus-knots with isomorphic fundamental quandles, J

    S. Ashihara, Fundamental biquandles of ribbon 2-knots and ribbon torus-knots with isomorphic fundamental quandles, J. Knot Theory Ramifications, V. 23, N. 1, 2014, 1450001

    work page 2014

  5. [4]

    Bardakov, T

    V. Bardakov, T. Nasybullov, Embeddings of quandles into groups, J. Algebra App., https://doi.org/10.1142/S0219498820501364

    doi:10.1142/s0219498820501364

  6. [5]

    Multi-switches and representations of braid groups

    V. Bardakov, T. Nasybullov, Multi-switches and representations of braid groups, ArXiv:Math/1907.09230

    work page Pith review arXiv 1907

  7. [6]

    Bardakov, A

    V. Bardakov, A. Simonov, Rings and groups of matrices with a nonstandard product, Sib. Math. J., V. 54, N. 3, 2013, 393–405

    work page 2013

  8. [7]

    Bardakov, M

    V. Bardakov, M. Singh, M. Singh, Free quandles and knot quandles are residually finite, Proc. Amer. Math. Soc., V. 147, N. 8, 2019, 3621–3633

    work page 2019

Show all 54 references
  1. [8]

    Bianco, M

    G. Bianco, M. Bonatto, On connected quandles of prime power order, ArXiv:Math/1904.12801

    1904 arXiv

  2. [9]

    Bonatto, A

    M. Bonatto, A. Crans, G. Whitney, On the structure of Hom quandles, J. Pure Appl. Algebra, V. 223, N. 11, 2019, 5017–5029

    2019

  3. [10]

    J. Bray, R. Wilson, On the orders of automorphism groups of finite groups, Bull. London Math. Soc., V. 37, N. 3, 2005, 381–385

    2005

  4. [11]

    Carter, A survey of quandle ideas, Introductory lectures on knot theory, Ser

    J. Carter, A survey of quandle ideas, Introductory lectures on knot theory, Ser. Knots Everything, World Sci. Publ., Hackensack, NJ, V. 46, 2012, 22–53. GENERAL CONSTRUCTIONS OF BIQUANDLES AND THEIR SYMMETRIES 37

    2012

  5. [12]

    Carter, M

    S. Carter, M. Elhamdadi, M. Saito, Homology theory for the set-theoretic Yang-Baxter equation and knot invariants from generalizations of quandles, Fund. Math., V. 184, 2004, 31–54

    2004

  6. [13]

    J. S. Carter, D. Jelsovsky, S. Kamada, L. Langford, M. Saito, Quandle cohomology and state-sum invariants of knotted curves and surfaces, Trans. Amer. Math. Soc., V. 355, N. 10, 2003, 3947–3989

    2003

  7. [14]

    Cattabriga, T

    A. Cattabriga, T. Nasybullov, Virtual quandle for links in lens spaces, Rev. R. Acad. Cienc. Exactas Fs. Nat. Ser. A Mat. RACSAM, V. 112, N. 3, 2018, 657–669

    2018

  8. [15]

    Clark, M

    W. Clark, M. Elhamdadi, M. Saito, T. Yeatman, Quandle colorings of knots and applications, J. Knot Theory Ramifications, V. 23, N. 6, 2014, 1450035

    2014

  9. [16]

    Clark, M

    W. Clark, M. Saito, Algebraic properties of quandle extensions and values of cocycle knot invariants, J. Knot Theory Ramifications, V. 25, N. 14, 2016, 1650080

    2016

  10. [17]

    Cooper, Words which give rise to another group operation for a given group, Proceedings of the second international conference on the theory of groups (Australian Nat

    C. Cooper, Words which give rise to another group operation for a given group, Proceedings of the second international conference on the theory of groups (Australian Nat. Univ., Canberra, 1973), 221–225, Lecture Notes in Math., V. 372, Springer, Berlin, 1974

    1973

  11. [18]

    Crans, A

    A. Crans, A. Henrich, S. Nelson, Polynomial knot and link invariants from the virtual biquandle, J. Knot Theory Ramifications, V. 22, N. 4, 2013, 134004

    2013

  12. [19]

    Crans, S

    A. Crans, S. Nelson, Hom quandles, J. Knot Theory Ramifications, V. 23, N. 2, 2014, 1450010

    2014

  13. [20]

    Eisermann, Homological characterization of the unknot, J

    M. Eisermann, Homological characterization of the unknot, J. Pure Appl. Algebra, V. 177, N. 2, 2003, 131–157

    2003

  14. [21]

    Eisermann, Quandle coverings and their Galois correspondence, Fund

    M. Eisermann, Quandle coverings and their Galois correspondence, Fund. Math., V. 225, N. 1, 2014, 103–168

    2014

  15. [22]

    Etingof, T

    P. Etingof, T. Schedler, A. Soloviev, Set-theoretical solutions to the quantum Yang-Baxter equation, Duke Math. J., V. 100, N. 2, 1999, 169–209

    1999

  16. [23]

    R. Fenn, M. Jordan-Santana, L. Kauffman, Biquandles and virtual links, Topology Appl., V. 145, N. 1-3, 2004, 157–175

    2004

  17. [24]

    R. Fenn, C. Rourke, Racks and links in codimension two, J. Knot Theory Ramifications, V. 1, N. 4, 1992, 343–406

    1992

  18. [25]

    R. Fenn, C. Rourke, B. Sanderson, Trunks and classifying spaces, Appl. Categ. Structures, V. 3, 1995, 321–356

    1995

  19. [26]

    R. Fenn, C. Rourke, B. Sanderson, ,James bundles and applications, http://www.maths.warwick.ac.uk/∼cpr/james.ps

  20. [27]

    R. Fenn, C. Rourke, B. Sanderson, An introduction to species and the rack space. Topics in knot theory (Erzurum, 1992), 33–55, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 399, Kluwer Acad. Publ., Dordrecht, 1993

    1992

  21. [28]

    GAP Groups, Algorithms, and Programming, Version 4.4.12

    The GAP Group, 2006. GAP Groups, Algorithms, and Programming, Version 4.4.12. Available at http://www.gap-system.org

    2006

  22. [29]

    Guarnieri, L

    L. Guarnieri, L. Vendramin, Skew braces and the Yang-Baxter equation, Math. Comp., V. 86, N. 307, 2017, 2519–2534

    2017

  23. [31]

    Horvat, A

    E. Horvat, A. Crans, From biquandle structures to Hom-biquandles, ArXiv:Math/1907.10259

    1907 arXiv

  24. [32]

    Hoste, P

    J. Hoste, P. Shanahan, An enumeration process for racks, Math. Comp., V. 88, N. 317, 2019, 1427–1448

    2019

  25. [33]

    Jedliˇ cka, A

    P. Jedliˇ cka, A. Pilitowska, D. Stanovsk´ y, A. Zamojska-Dzienio, Subquandles of affine quandles, J. Algebra, V. 510, 2018, 259–288

    2018

  26. [34]

    Joyce, A classifying invariant of knots, the knot quandle, J

    D. Joyce, A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra, V. 23, N. 1, 1982, 37–65

    1982

  27. [35]

    Kamada, Knot invariants derived from quandles and racks, Invariants of knots and 3-manifolds (Kyoto, 2001), Geom

    S. Kamada, Knot invariants derived from quandles and racks, Invariants of knots and 3-manifolds (Kyoto, 2001), Geom. Topol. Monogr., Geom. Topol. Publ., Coventry, V. 4, 2002. 103–117

    2001

  28. [36]

    Kamada, S

    N. Kamada, S. Kamada, Biquandles with structures related to virtual links and twisted links, J. Knot Theory Ramifications, V. 21, N. 13, 2012, 1240006

    2012

  29. [37]

    Kamada, Surface-knots in 4-space

    S. Kamada, Surface-knots in 4-space. An introduction, Springer Monographs in Mathematics. Springer, Singa- pore, 2017

    2017

  30. [38]

    Kauffman, Virtual knot theory, Eur

    L. Kauffman, Virtual knot theory, Eur. J. Comb., V. 20, N. 7, 1999, 663-690

    1999

  31. [39]

    Edited by V

    The Kourovka notebook, Unsolved problems in group theory. Edited by V. D. Mazurov and E. I. Khukhro, 19-th. ed.. Russian Academy of Sciences Siberian Division. Institute of Mathematics, Novosibirsk, 2018

    2018

  32. [40]

    D. Lam, S. Nelson, An isomorphism theorem for Alexander biquandles, Internat. J. Math., V. 20, N. 1, 2009, 97–107

    2009

  33. [41]

    Matveev, Distributive groupoids in knot theory, (in Russian), Mat

    S. Matveev, Distributive groupoids in knot theory, (in Russian), Mat. Sb. (N.S.), V. 119(161), N. 1(9), 1982, 78–88. 38 V ALERIY BARDAKOV, TIMUR NASYBULLOV, AND MAHENDER SINGH

    1982

  34. [42]

    Murao, The Gordian distance of handlebody-knots and Alexander biquandle colorings, J

    T. Murao, The Gordian distance of handlebody-knots and Alexander biquandle colorings, J. Math. Soc. Japan, V. 70, N. 4, 2018, 1247–1267

    2018

  35. [43]

    Nanda, M

    N. Nanda, M. Singh, M. Singh, Knot invariants from derivations of quandles, ArXiv:Math/1804.01113

    arXiv

  36. [44]

    Nasybullov, Connections between properties of the additive and the multiplicative groups of a two-sided skew brace, https://doi.org/10.1016/j.jalgebra.2019.05.005

    T. Nasybullov, Connections between properties of the additive and the multiplicative groups of a two-sided skew brace, https://doi.org/10.1016/j.jalgebra.2019.05.005

    2019 doi

  37. [45]

    Nelson, The combinatorial revolution in knot theory, Notices Amer

    S. Nelson, The combinatorial revolution in knot theory, Notices Amer. Math. Soc., V. 58, 2011, 1553–1561

    2011

  38. [46]

    Nelson, C.-Y

    S. Nelson, C.-Y. Wong, On the orbit decomposition of finite quandles, J. Knot Theory Ramifications, V. 15, N. 6, 2006, 761–772

    2006

  39. [47]

    Nosaka, On quandle homology groups of Alexander quandles of prime order, Trans

    T. Nosaka, On quandle homology groups of Alexander quandles of prime order, Trans. Amer. Math. Soc., V. 365, 2013, 3413–3436

    2013

  40. [48]

    Nosaka, Quandles and topological pairs

    T. Nosaka, Quandles and topological pairs. Symmetry, knots, and cohomology, SpringerBriefs in Mathematics, Springer, Singapore, 2017

    2017

  41. [49]

    R. Fenn, A. Bartholomew, Biquandles of small size and some invariants of virtual and welded knots, J. Knot Theory Ramifications, V. 26, N. 8, 2017, 1792002

    2017

  42. [50]

    Rump, Braces, radical rings, and the quantum Yang-Baxter equation, J

    W. Rump, Braces, radical rings, and the quantum Yang-Baxter equation, J. Algebra, V. 307, N. 1, 2007, 153–170

    2007

  43. [51]

    Solecki, On group operations in groups of exponent k, Colloq

    A. Solecki, On group operations in groups of exponent k, Colloq. Math., V. 30, 1974, 225–228

    1974

  44. [52]

    Takasaki, Abstraction of symmetric transformation, Tohoku Math

    M. Takasaki, Abstraction of symmetric transformation, Tohoku Math. J., V. 49, 1942, 145–207

    1942

  45. [53]

    Vendramin, On the classification of quandles of low order, J

    L. Vendramin, On the classification of quandles of low order, J. Knot Theory Ramifications, V. 21, N. 9, 2012, 1250088

    2012

  46. [54]

    Wada, Twisted Alexander polynomial for finitely presentable groups, Topology, V

    M. Wada, Twisted Alexander polynomial for finitely presentable groups, Topology, V. 33, N. 2, 1994, 241–256. Tomsk State University, pr. Lenina 36, 634050 Tomsk, Russia, Sobolev Institute of Mathemat- ics, Acad. Koptyug avenue 4, 630090 Novosibirsk, Russia, Novosibirsk State Un...

    1994

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.