Showing 1–50 of 97 results for author: Bardakov, V

Yang-Baxter Equation and Related Algebraic Structures

Authors: Valeriy Bardakov, Mohamed Elhamdadi, Mahender Singh

Abstract: In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra, low-dimensional topology, and related areas. This monograph offers a concise introduction to the algebraic theory of such solutions, focusing on key structures including s… ▽ More In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra, low-dimensional topology, and related areas. This monograph offers a concise introduction to the algebraic theory of such solutions, focusing on key structures including skew braces, quandles, racks, and Rota-Baxter groups, which have emerged as central objects in this framework. We investigate the algebraic, combinatorial, and homological properties of these structures, with an emphasis on their interrelations and applications to knot theory. The monograph is intended as a reference for researchers interested in the deep interplay between these algebraic structures and the quantum Yang-Baxter equation. △ Less

Submitted 29 June, 2025; originally announced June 2025.

Comments: 338 pages, 28 Figures and 06 Tables

MSC Class: 16T25; 81R50; 57K12; 20N02; 57M27; 17D99

Cayley graphs and their growth functions for multivalued groups

Authors: Valeriy G. Bardakov, Tatyana A. Kozlovskaya, Matvei N. Zonov

Abstract: We define the Cayley graph and its growth function for multivalued groups. We prove that if we change a finite set of generators of multivalued group, or change the starting point, we get an equivalent growth function. We prove that if we take a virtually nilpotent group and construct a coset group with respect a finite group of authomorphisms, then this multivalued group has a polynomial growth.… ▽ More We define the Cayley graph and its growth function for multivalued groups. We prove that if we change a finite set of generators of multivalued group, or change the starting point, we get an equivalent growth function. We prove that if we take a virtually nilpotent group and construct a coset group with respect a finite group of authomorphisms, then this multivalued group has a polynomial growth. Also, we find a connection between this growth function and growth function of multivalued dynamics. It particular, it is obtained upper and lower bounds on growth functions of multivalued dynamics. We give a particular answer to a question of Buchstaber on polynomial growth of dynamics and a question of Buchstaber and Vesnin on growth functions of cyclically presented multivalued groups. △ Less

Submitted 24 May, 2025; originally announced May 2025.

Invariants of Handlebody-Links and Spatial Graphs

Authors: V. G. Bardakov, D. A. Fedoseev

Abstract: A $G-$family of quandles is an algebraic construction which was proposed by A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro in 2013. The axioms of these algebraic systems were motivated by handlebody-knot theory. In the present work we investigate possible constructions which generalise $G-$family of quandles and other similar constructions (for example, $Q-$ and $(G,*,f)-$families of quandles). We provi… ▽ More A $G-$family of quandles is an algebraic construction which was proposed by A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro in 2013. The axioms of these algebraic systems were motivated by handlebody-knot theory. In the present work we investigate possible constructions which generalise $G-$family of quandles and other similar constructions (for example, $Q-$ and $(G,*,f)-$families of quandles). We provide the necessary conditions under which the resulting object (called an $(X,G,{*_g},f,\otimes,\oplus)-$system) gives a colouring invariant of knotted handlebodies. We also discuss several other modifications of the proposed construction, providing invariants of spatial graphs with an arbitrary (finite) set of values of vertex valency. Besides, we consider several examples which in particular showcase the differences between spatial trivalent graph and handlebody-link theories. △ Less

Submitted 13 April, 2025; originally announced April 2025.

Comments: 32 pages, 14 figures, 29 bibliography items

Orders of Products of Slanted Class Transpositions

Authors: V. G. Bardakov, A. L. Iskra

Abstract: In the present work, we continue the research initiated in the preprint: V. G. Bardakov, A. L. Iskra, Orders of products of horizontal class transpositions, arXiv:2409.13341, and related to S. Kohl's question on the orders of products of pairs of class transpositions. In the preprint, an answer was given to S. Kohl's question for horizontal class transpositions. In the present work, the products o… ▽ More In the present work, we continue the research initiated in the preprint: V. G. Bardakov, A. L. Iskra, Orders of products of horizontal class transpositions, arXiv:2409.13341, and related to S. Kohl's question on the orders of products of pairs of class transpositions. In the preprint, an answer was given to S. Kohl's question for horizontal class transpositions. In the present work, the products of pairs of slanted class transpositions are considered, and under certain conditions, their orders are determined, with it being established that the number of different orders is finite. △ Less

Submitted 11 April, 2025; originally announced April 2025.

Comments: 13 pages

MSC Class: 2010: 20E07; 20F36; 57K12

2-dimensional self-distributive non-counital bialgebras and knot invariants

Authors: Valeriy G. Bardakov, Tatiana A. Kozlovskaya, Alexander S. Panasenko, Dmitry V. Talalaev

Abstract: In the preprint of V. Bardakov, T. Kozlovskaya, D. Talalaev (Self-distributive bialgebras, arXiv:2501.19152) it was formulated a problem of classification of self-distributive bialgebras and was given classification of two-dimensional counital self-distributive bialgebras. In this paper, we consider non-counital case. We find all 2-dimensional algebras of this type. In constructed algebras we stud… ▽ More In the preprint of V. Bardakov, T. Kozlovskaya, D. Talalaev (Self-distributive bialgebras, arXiv:2501.19152) it was formulated a problem of classification of self-distributive bialgebras and was given classification of two-dimensional counital self-distributive bialgebras. In this paper, we consider non-counital case. We find all 2-dimensional algebras of this type. In constructed algebras we study the question of finding quandles for constructing knot invariants. This activity is part of the overall program for the linearization of the concepts of rack and quandle and the development of the representations theory of these structures. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Self-distributive algebras and bialgebras

Authors: Valeriy G. Bardakov, Tatiana A. Kozlovskaya, Dmitry V. Talalaev

Abstract: This article is devoted to the study of self-distributive algebraic structures: algebras, bialgebras; additional structures on them, relations of these structures with Hopf algebras, Lie algebras, Leibnitz algebras etc. The basic example of such structures are rack- and quandle bialgebras. But we go further - to the general coassociative comultiplication. The principal motivation for this work is… ▽ More This article is devoted to the study of self-distributive algebraic structures: algebras, bialgebras; additional structures on them, relations of these structures with Hopf algebras, Lie algebras, Leibnitz algebras etc. The basic example of such structures are rack- and quandle bialgebras. But we go further - to the general coassociative comultiplication. The principal motivation for this work is the development of the linear algebra related with a notion of a quandle in analogy with the ubiquitous role of group algebras in the category of groups with perspective applications to the theory of knot invariants. We give description of self-distributive algebras and show that some quandle algebras and some Novikov algebras are self-distributive. Also, we give a full classification of counital self-distributive bialgebras in dimension 2 over C. △ Less

Submitted 14 May, 2025; v1 submitted 31 January, 2025; originally announced January 2025.

Algebra, group, and Hopf Rota-Baxter operators

Authors: Valeriy G. Bardakov, Igor M. Nikonov, Viktor N. Zhelaybin

Abstract: We know definition of Rota--Baxter operators on different algebraic systems. For examples, on groups, on algebras, on Hopf algebras. On some algebraic systems it is possible to define different types of Rota--Baxter operators. For example, on group algebra it is possible to define Rota--Baxter operator as on associative algebra, group Rota--Baxter operator and Rota--Baxter operator as on a Hopf al… ▽ More We know definition of Rota--Baxter operators on different algebraic systems. For examples, on groups, on algebras, on Hopf algebras. On some algebraic systems it is possible to define different types of Rota--Baxter operators. For example, on group algebra it is possible to define Rota--Baxter operator as on associative algebra, group Rota--Baxter operator and Rota--Baxter operator as on a Hopf algebra. We are investigating the following question: What are connections between these operators? We are studying these questions for the Sweedler algebra $H_4$, that is 4-dimension non--cocommutative Hopf algebra. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 19 pages

MSC Class: 16T05; 16S30; 16T25

Orders of products of horizontal class transpositions

Authors: V. G. Bardakov, A. L. Iskra

Abstract: The class transposition group $CT(\mathbb{Z})$ was introduced by S. Kohl in 2010. It is a countable subgroup of the permutation group $Sym(\mathbb{Z})$ of the set of integers $\mathbb{Z}$. We study products of two class transpositions $CT(\mathbb{Z})$ and give a partial answer to the question 18.48 posed by S. Kohl in the Kourovka notebook. We prove that in the group $CT_{\infty}$, which is a su… ▽ More The class transposition group $CT(\mathbb{Z})$ was introduced by S. Kohl in 2010. It is a countable subgroup of the permutation group $Sym(\mathbb{Z})$ of the set of integers $\mathbb{Z}$. We study products of two class transpositions $CT(\mathbb{Z})$ and give a partial answer to the question 18.48 posed by S. Kohl in the Kourovka notebook. We prove that in the group $CT_{\infty}$, which is a subgroup of $CT(\mathbb{Z})$ and generated by horizontal class transpositions, the order of the product of a pair of horizontal class transpositions belongs to the set $\{1,2,3,4,6,12\}$, and any number from this set is the order of the product of a pair of horizontal class transpositions. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 16 pages

MSC Class: 20E07; 20F36; 57K12

Lie Rota--Baxter operators on the Sweedler algebra $H_4$

Authors: Valeriy G. Bardakov, Igor M. Nikonov, Viktor N. Zhelaybin

Abstract: If $A$ is an associative algebra, then we can define the adjoint Lie algebra $A^{(-)}$ and Jordan algebra $A^{(+)}$. It is easy to see that any associative Rota--Baxter operator on $A$ induces a Lie and Jordan Rota--Baxter operator on $A^{(-)}$ and $A^{(+)}$ respectively. Are there Lie (Jordan) Rota--Baxter operators, which are not associative Rota--Baxter operators? In the present article we ar… ▽ More If $A$ is an associative algebra, then we can define the adjoint Lie algebra $A^{(-)}$ and Jordan algebra $A^{(+)}$. It is easy to see that any associative Rota--Baxter operator on $A$ induces a Lie and Jordan Rota--Baxter operator on $A^{(-)}$ and $A^{(+)}$ respectively. Are there Lie (Jordan) Rota--Baxter operators, which are not associative Rota--Baxter operators? In the present article we are studying these questions for the Sweedler algebra $H_4$, that is a 4-dimension non-commutative Hopf algebra. More precisely, we describe the Rota--Baxter operators on Lie algebra on the adjoint Lie algebra $H_4^{(-)}$. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 30 pages

MSC Class: 16T05; 17B38

Some properties of relative Rota--Baxter operators on groups

Authors: V. G. Bardakov, T. A. Kozlovskaya, P. P. Sokolov, K. V. Zimireva, M. N. Zonov

Abstract: We find connection between relative Rota--Baxter operators and usual Rota--Baxter operators. We prove that any relative Rota--Baxter operator on a group $H$ with respect to $(G, Ψ)$ defines a Rota--Baxter operator on the semi-direct product $H\rtimes_Ψ G$. On the other side, we give condition under which a Rota--Baxter operator on the semi-direct product $H\rtimes_Ψ G$ defines a relative Rota--Bax… ▽ More We find connection between relative Rota--Baxter operators and usual Rota--Baxter operators. We prove that any relative Rota--Baxter operator on a group $H$ with respect to $(G, Ψ)$ defines a Rota--Baxter operator on the semi-direct product $H\rtimes_Ψ G$. On the other side, we give condition under which a Rota--Baxter operator on the semi-direct product $H\rtimes_Ψ G$ defines a relative Rota--Baxter operator on $H$ with respect to $(G, Ψ)$. We introduce homomorphic post-groups and find their connection with $λ$-homomorphic skew left braces. Further, we construct post-group on arbitrary group and a family post-groups which depends on integer parameter on any two-step nilpotent group. We find all verbal solutions of the quantum Yang-Baxter equation on two-step nilpotent group. △ Less

Submitted 19 April, 2024; originally announced April 2024.

MSC Class: 17B38; 16T25

Extensions of braid group representations to the monoid of singular braids

Authors: Valeriy G. Bardakov, Nafaa Chbili, Tatyana A. Kozlovskaya

Abstract: Given a representation $\varphi \colon B_n \to G_n$ of the braid group $B_n$, $n \geq 2$ into a group $G_n$, we are considering the problem of whether it is possible to extend this representation to a representation $Φ\colon SM_n \to A_n$, where $SM_n$ is the singular braid monoid and $A_n$ is an associative algebra, in which the group of units contains $G_n$. We also investigate the possibility o… ▽ More Given a representation $\varphi \colon B_n \to G_n$ of the braid group $B_n$, $n \geq 2$ into a group $G_n$, we are considering the problem of whether it is possible to extend this representation to a representation $Φ\colon SM_n \to A_n$, where $SM_n$ is the singular braid monoid and $A_n$ is an associative algebra, in which the group of units contains $G_n$. We also investigate the possibility of extending the representation $Φ\colon SM_n \to A_n$ to a representation $\widetildeΦ \colon SB_n \to A_n$ of the singular braid group $SB_n$. On the other hand, given two linear representations $\varphi_1, \varphi_2 \colon H \to GL_m(\Bbbk)$ of a group $H$ into a general linear group over a field $\Bbbk$, we define the defect of one of these representations with respect to the other. Furthermore, we construct a linear representation of $SB_n$ which is an extension of the Lawrence-Krammer-Bigelow representation (LKBR) and compute the defect of this extension with respect to the exterior product of two extensions of the Burau representation. Finally, we discuss how to derive an invariant of classical links from the Lawrence-Krammer-Bigelow representation. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Comments: 18 pages, 2 figures

MSC Class: 20F36; 57K12

Rota--Baxter and averaging operators on racks and rack algebras

Authors: V. G. Bardakov, V. A. Bovdi

Abstract: In the present article we define and investigate relative Rota--Baxter operators and relative averaging operators on racks and rack algebras. Also, if B is a Rota--Baxter or averaging operator on a rack X, then we can extend B by linearity to the rack algebra k[X]. On the other side, we have definitions of Rota--Baxter and averaging operators on arbitrary algebra. We find connections between these… ▽ More In the present article we define and investigate relative Rota--Baxter operators and relative averaging operators on racks and rack algebras. Also, if B is a Rota--Baxter or averaging operator on a rack X, then we can extend B by linearity to the rack algebra k[X]. On the other side, we have definitions of Rota--Baxter and averaging operators on arbitrary algebra. We find connections between these operators. In particular, we prove that if B : X --> X is an averaging operator on a rack, then its linear extension on a rack algebra k[X] gives an averaging operator. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Comments: 21 pages

MSC Class: 17A30; 20E22

Brunnian planar braids and simplicial groups

Authors: Valeriy G. Bardakov, Pravin Kumar, Mahender Singh

Abstract: Twin groups are planar analogues of Artin braid groups and play a crucial role in the Alexander-Markov correspondence for the isotopy classes of immersed circles on the 2-sphere without triple and higher intersections. These groups admit diagrammatic representations, leading to maps obtained by the addition and deletion of strands. This paper explores Brunnian twin groups, which are subgroups of t… ▽ More Twin groups are planar analogues of Artin braid groups and play a crucial role in the Alexander-Markov correspondence for the isotopy classes of immersed circles on the 2-sphere without triple and higher intersections. These groups admit diagrammatic representations, leading to maps obtained by the addition and deletion of strands. This paper explores Brunnian twin groups, which are subgroups of twin groups composed of twins that become trivial when any of their strands are deleted. We establish that Brunnian twin groups consisting of more than two strands are free groups. Furthermore, we provide a necessary and sufficient condition for a Brunnian doodle on the 2-sphere to be the closure of a Brunnian twin. Additionally, we delve into two generalizations of Brunnian twins, namely, $k$-decomposable twins and Cohen twins, and prove some structural results about these groups. We also investigate a simplicial structure on pure twin groups that admits a simplicial homomorphism from Milnor's construction of the simplicial 2-sphere. This gives a possibility to provide a combinatorial description of homotopy groups of the 2-sphere in terms of pure twins. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 23 pages

MSC Class: Primary 20F55; 20F36; Secondary 18N50

Journal ref: New York Journal of Mathematics 30 (2024) 1235--1263

n-valued quandles and associated bialgebras

Authors: Valeriy G. Bardakov, Tatyana A. Kozlovskaya, Dmitry V. Talalaev

Abstract: The principal aim of this article is to introduce and study n-valued quandles and n-corack bialgebras. We elaborate the basic methods of this theory, reproduce the coset construction known in the theory of n-valued groups. We also consider a construction of n-valued quandles using n-multi-quandles. In contrast to the case of n-valued groups this construction turns out to be quite rich in algebraic… ▽ More The principal aim of this article is to introduce and study n-valued quandles and n-corack bialgebras. We elaborate the basic methods of this theory, reproduce the coset construction known in the theory of n-valued groups. We also consider a construction of n-valued quandles using n-multi-quandles. In contrast to the case of n-valued groups this construction turns out to be quite rich in algebraic and topological applications. An important part of the work is the study of the properties of n-corack bialgebras those role is analogous to the group bialgebra. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 22 pages

MSC Class: Primary 20N20; Secondary Secondary 16S34; 05E30

Relative Rota--Baxter operators on groups and Hopf algebras

Authors: Valeriy G. Bardakov, Igor M. Nikonov

Abstract: M. Goncharov introduced and studied a Rota--Baxter operator on a cocommutative Hopf algebra. In the present paper we define relative Rota--Baxter operators on an arbitrary Hopf algebra. A particular case of this definition is Goncharov's operator. On a Hopf algebra with a relative Rota--Baxter operator we define new associative operation and construct a new Hopf algebra and Hopf brace. Further, we… ▽ More M. Goncharov introduced and studied a Rota--Baxter operator on a cocommutative Hopf algebra. In the present paper we define relative Rota--Baxter operators on an arbitrary Hopf algebra. A particular case of this definition is Goncharov's operator. On a Hopf algebra with a relative Rota--Baxter operator we define new associative operation and construct a new Hopf algebra and Hopf brace. Further, we construct Rota--Baxter operators of integer weights on some groups. The question on a possibility to define operator of zero weight on groups was formulated by X. Gao, L. Guo, Y. Liu, and Z.-C. Zhu. In the last section we construct a family of two generated Hopf algebras. This family includes some known Hopf algebras, in particular, 4-dimensional Sweedler algebra $H_4$. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 19 pages

MSC Class: 16T25; 20N99

Twisted Virtual Braid Group

Authors: Valeriy G. Bardakov, Tatyana A. Kozlovskaya, Komal Negi, Madeti Prabhakar

Abstract: In this paper we study some subgroups and their decompositions in semi-direct product of the twisted virtual braid group $TVB_n$. In particular, the twisted virtual pure braid group $TVP_n$ is the kernel of an epimorphism of $TVB_n$ onto the symmetric group $S_n$. We find the set of generators and defining relations for $TVP_n$ and show that $TVB_n = TVP_n \rtimes S_n$. Further we prove that… ▽ More In this paper we study some subgroups and their decompositions in semi-direct product of the twisted virtual braid group $TVB_n$. In particular, the twisted virtual pure braid group $TVP_n$ is the kernel of an epimorphism of $TVB_n$ onto the symmetric group $S_n$. We find the set of generators and defining relations for $TVP_n$ and show that $TVB_n = TVP_n \rtimes S_n$. Further we prove that $TVP_n$ is a semi-direct product of some subgroup and abelian group $\mathbb{Z}_2^n$. As corollary we get that the virtual pure braid group $VP_n$ is a subgroup of $TVP_n$. Also, we construct some other epimorphism of $TVB_n$ onto $S_n$. Its kernel, $TVH_n$ is an analogous of $TVP_n$. We find its set of generators and defining relations and construct its decomposition in a semi-direct product. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: 20 pages, 2 figures, uses overleaf

MSC Class: 57K12(primary); 20F05(secondary) 57K12(primary); 20F05(secondary)

Multivalued groups and Newton polyhedron

Authors: Valeriy G. Bardakov, Tatyana A. Kozlovskaya

Abstract: On the set of complex number $\mathbb{C}$ it is possible to define $n$-valued group for any positive integer $n$. The $n$-multiplication defines a symmetric polynomial $p_n = p_n(x, y, z)$ with integer coefficients. By the theorem on symmetric polynomials, one can present $p_n$ as polynomial in elementary symmetric polynomials $e_1$, $e_2$, $e_3$. V.~M.~Buchstaber formulated a question on descript… ▽ More On the set of complex number $\mathbb{C}$ it is possible to define $n$-valued group for any positive integer $n$. The $n$-multiplication defines a symmetric polynomial $p_n = p_n(x, y, z)$ with integer coefficients. By the theorem on symmetric polynomials, one can present $p_n$ as polynomial in elementary symmetric polynomials $e_1$, $e_2$, $e_3$. V.~M.~Buchstaber formulated a question on description coefficients of this polynomial. Also, he formulated the next question: How to describe the Newton polyhedron of $p_n$? In the present paper we find all coefficients of $p_n$ under monomials of the form $e_1^i e_2^j$ and prove that the Newton polyhedron of $p_n$ is an right triangle. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Comments: 7 pages

MSC Class: Primary 20N20; Secondary 16S34; 05E30

Links and dynamics

Authors: Valeriy Bardakov, Tatyana Kozlovskaya, Olga Pochinka

Abstract: Knots naturally appear in continuous dynamical systems as flow periodic trajectories. However, discrete dynamical systems are also closely connected with the theory of knots and links. For example, for Pixton diffeomorphisms, the equivalence class of the Hopf knot, which is the orbit space of the unstable saddle separatrix in the manifold $\mathbb{S}^2\times \mathbb{S}^1$, is a complete invariant… ▽ More Knots naturally appear in continuous dynamical systems as flow periodic trajectories. However, discrete dynamical systems are also closely connected with the theory of knots and links. For example, for Pixton diffeomorphisms, the equivalence class of the Hopf knot, which is the orbit space of the unstable saddle separatrix in the manifold $\mathbb{S}^2\times \mathbb{S}^1$, is a complete invariant of the topological conjugacy of the system. In this paper we distinguish a class of three-dimensional Morse-Smale diffeomorphisms for which the complete invariant of topological conjugacy is the equivalence class of a link in $\mathbb{S}^2\times \mathbb{S}^1$. We proved that if $M$ is a link complement in $\mathbb{S}^3$ (in particular, is $\mathbb{S}^3$), or a handlebody $H_g$ of genus $g \geq 0$, or closed, connected, orientable 3-manifold, then the set of equivalence classes of tame links in $M$ is countable. As corollary we get that in $\mathbb{S}^2\times \mathbb{S}^1$ there exists a countable number of equivalence classes of tame links. It is proved that any essential link can be realized by a diffeomorphism of the class under consideration. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: 16 pages, 5 figures

Singular braids, singular links and subgroups of camomile type

Authors: Valeriy G. Bardakov, Tatyana A. Kozlovskaya

Abstract: In this paper we find a finite set of generators and defining relations for the singular pure braid group $SP_n$, $n \geq 3$, that is a subgroup of the singular braid group $SG_n$. Using this presentation, we prove that the center of $SG_n$ (which is equal to the center of $SP_n$ for $n \geq 3$) is a direct factor in $SP_n$ but it is not a direct factor in $SP_n$. We introduce subgroups of camomil… ▽ More In this paper we find a finite set of generators and defining relations for the singular pure braid group $SP_n$, $n \geq 3$, that is a subgroup of the singular braid group $SG_n$. Using this presentation, we prove that the center of $SG_n$ (which is equal to the center of $SP_n$ for $n \geq 3$) is a direct factor in $SP_n$ but it is not a direct factor in $SP_n$. We introduce subgroups of camomile type and prove that the singular pure braid group $SP_n$, $n \geq 5$, is a subgroup of camomile type in $SG_n$. Also we construct the fundamental singquandle using a representation of the singular braid monoid by endomorphisms of free guandle. For any singular link we define some family of groups which are invariants of this link. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 23 pages, 4 figure

MSC Class: 20F36; 57M25; 57M27

Extensions of Yang-Baxter sets

Authors: Valeriy G. Bardakov, Dmitry V. Talalaev

Abstract: The paper extends the notion of braided set and its close relative - the Yang-Baxter set - to the category of vector spaces and explore structure aspects of such a notion as morphisms and extensions. In this way we describe a family of solutions for the Yang-Baxter equation on the product of B and C if given B and C correspond to two linear (set-theoretic) solutions of the Yang-Baxter equation. On… ▽ More The paper extends the notion of braided set and its close relative - the Yang-Baxter set - to the category of vector spaces and explore structure aspects of such a notion as morphisms and extensions. In this way we describe a family of solutions for the Yang-Baxter equation on the product of B and C if given B and C correspond to two linear (set-theoretic) solutions of the Yang-Baxter equation. One of the key observation is the relation of this question with the virtual pure braid group. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 29 pages, 3 figures

Set-theoretical solutions of simplex equations

Authors: V. Bardakov, B. Chuzinov, I. Emel'yanenkov, M. Ivanov, T. Kozlovskaya, V. Leshkov

Abstract: The $n$-simplex equation ($n$-SE) was introduced by A. B. Zamolodchikov as a generalization of the Yang--Baxter equation, which is the $2$-simplex equation in these terms. In the present paper we suggest some general approaches to constructing solutions of $n$-simplex equations, describe some types of solutions, introduce an operation which under some conditions allows us to construct a solution o… ▽ More The $n$-simplex equation ($n$-SE) was introduced by A. B. Zamolodchikov as a generalization of the Yang--Baxter equation, which is the $2$-simplex equation in these terms. In the present paper we suggest some general approaches to constructing solutions of $n$-simplex equations, describe some types of solutions, introduce an operation which under some conditions allows us to construct a solution of $(n+m+k)$-SE from solution of $(n+k)$-SE and $(m+k)$-SE. We consider the tropicalization of rational solutions and discuss a way to generalize it. We prove that if a group $G$ is an extension of a group $H$ by a group $K$, then we can find a solution of the $n$-SE on $G$ from solutions of this equation on $H$ and on $K$. Also, we find solutions of the parametric Yang-Baxter equation on $H$ with parameters in $K$. For studying solutions of the 3-simplex equations we introduce algebraic systems with ternary operations and give examples of these systems which gives solutions of the $3$-SE. We find all elementary verbal solutions of the $3$-SE on free groups. △ Less

Submitted 17 June, 2022; originally announced June 2022.

Comments: 52 pages, 2 figures

MSC Class: 08A02; 16T25; 17A42; 20F36; 20F29

Multiplication of quandle structures

Authors: Valeriy G. Bardakov, Denis A. Fedoseev

Abstract: We generalise the construction of $Q$-family of quandles and $G$-family of quandles which were introduced in the paper of A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro, and find connection with other constructions of quandles. We define a composition of quandl's structures, which are defined on the same set and find conditions under which this composition gives a quandle. Further we prove that under th… ▽ More We generalise the construction of $Q$-family of quandles and $G$-family of quandles which were introduced in the paper of A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro, and find connection with other constructions of quandles. We define a composition of quandl's structures, which are defined on the same set and find conditions under which this composition gives a quandle. Further we prove that under this multiplication we get a group and show that this group is abelian. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Symmetric skew braces and brace systems

Authors: Valeriy G. Bardakov, Mikhail V. Neshchadim, Manoj K. Yadav

Abstract: For a skew left brace $(G, \cdot, \circ)$, the map $λ: (G, \circ) \to \Aut \,(G, \cdot),~~a \mapsto λ_a,$ where $λ_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $λ$ can also be viewed as a map from $(G, \cdot)$ to $\Aut \, (G, \cdot)$, which, in general, may not be a homomorphism. A skew left brace will be called $λ$-anti-homomorphic ($λ$-homomorphic) if… ▽ More For a skew left brace $(G, \cdot, \circ)$, the map $λ: (G, \circ) \to \Aut \,(G, \cdot),~~a \mapsto λ_a,$ where $λ_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $λ$ can also be viewed as a map from $(G, \cdot)$ to $\Aut \, (G, \cdot)$, which, in general, may not be a homomorphism. A skew left brace will be called $λ$-anti-homomorphic ($λ$-homomorphic) if $λ: (G, \cdot) \to \Aut \, (G, \cdot)$ is an anti-homomorphism (a homomorphism). We mainly study such skew left braces. We device a method for constructing a class of binary operations on a given set so that the set with any two such operations constitute a $λ$-homomorphic symmetric skew brace. Most of the constructions of symmetric skew braces dealt with in the literature fall in the framework of our construction. We then carry out various such constructions on specific infinite sets. △ Less

Submitted 13 January, 2023; v1 submitted 26 April, 2022; originally announced April 2022.

Comments: 25 pages

MSC Class: 16T25; 81R50

Virtual and universal braid groups, their quotients and representations

Authors: V. Bardakov, I. Emel'yanenkov, M. Ivanov, T. Kozlovskaya, T. Nasybullov, A. Vesnin

Abstract: In the present paper we study structural aspects of certain quotients of braid groups and virtual braid groups. In particular, we construct and study linear representations $B_n\to {\rm GL}_{n(n-1)/2}\left(\mathbb{Z}[t^{\pm1}]\right)$, $VB_n\to {\rm GL}_{n(n-1)/2}\left(\mathbb{Z}[t^{\pm1}, t_1^{\pm1},t_2^{\pm1},\ldots, t_{n-1}^{\pm1}]\right)$ which are connected with the famous Lawrence-Bigelow-Kr… ▽ More In the present paper we study structural aspects of certain quotients of braid groups and virtual braid groups. In particular, we construct and study linear representations $B_n\to {\rm GL}_{n(n-1)/2}\left(\mathbb{Z}[t^{\pm1}]\right)$, $VB_n\to {\rm GL}_{n(n-1)/2}\left(\mathbb{Z}[t^{\pm1}, t_1^{\pm1},t_2^{\pm1},\ldots, t_{n-1}^{\pm1}]\right)$ which are connected with the famous Lawrence-Bigelow-Krammer representation. It turns out that these representations are faithful representations of crystallographic groups $B_n/P_n'$, $VB_n/VP_n'$, respectively. Using these representations we study certain properties of the groups $B_n/P_n'$, $VB_n/VP_n'$. Moreover, we construct new representations and decompositions of universal braid groups $UB_n$. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 29 pages

MSC Class: 20F36; 20F29; 57M27; 57M25

On residually nilpotence of group extensions

Authors: V. G. Bardakov, M. V. Neshchadim, O. V. Bryukhanov

Abstract: We study the following question: under what conditions extension of one residually nilpotent group by another residually nilpotent group is residually nilpotent? We prove some sufficient conditions under which this extension is residually nilpotent. Also, we study this question for semi-direct products and, in particular, for extensions of free group by infinite cyclic group:… ▽ More We study the following question: under what conditions extension of one residually nilpotent group by another residually nilpotent group is residually nilpotent? We prove some sufficient conditions under which this extension is residually nilpotent. Also, we study this question for semi-direct products and, in particular, for extensions of free group by infinite cyclic group: $F_n \rtimes_{\varphi} \mathbb{Z}$. We find conditions under which this group is residually nilpotent, find conditions under which this group has long lower central series. In particular, we prove that for $n=2$ the length of the lower central series of $F_n \rtimes_{\varphi} \mathbb{Z}$ is equal to 2, $ω$ or $ω^2$. △ Less

Submitted 22 June, 2021; originally announced June 2021.

Comments: 31 pages

Rota-Baxter groups, skew left braces, and the Yang-Baxter equation

Authors: Valeriy G. Bardakov, Vsevolod Gubarev

Abstract: Braces were introduced by W. Rump in 2006 as an algebraic system related to the quantum Yang-Baxter equation. In 2017, L. Guarnieri and L. Vendramin defined for the same purposes a more general notion of a skew left brace. Recently, L. Guo, H. Lang, Y. Sheng [arXiv:2009.03492] gave a definition of what is a Rota-Baxter operator on a group. We connect these two notions as follows. It is shown that… ▽ More Braces were introduced by W. Rump in 2006 as an algebraic system related to the quantum Yang-Baxter equation. In 2017, L. Guarnieri and L. Vendramin defined for the same purposes a more general notion of a skew left brace. Recently, L. Guo, H. Lang, Y. Sheng [arXiv:2009.03492] gave a definition of what is a Rota-Baxter operator on a group. We connect these two notions as follows. It is shown that every Rota-Baxter group gives rise to a skew left brace. Moreover, every skew left brace can be injectively embedded into a Rota-Baxter group. When the additive group of a skew left brace is complete, then this brace is induced by a Rota-Baxter group. We interpret some notions of the theory of skew left braces in terms of Rota-Baxter operators. △ Less

Submitted 22 January, 2022; v1 submitted 2 May, 2021; originally announced May 2021.

Comments: 25 p.; v2: section 5.2 is rewritten (after remarks of I. Colazzo and L. Vendramin)

MSC Class: 16T25; 20N99

Journal ref: Journal of Algebra, vol. 596 (2022), p. 328-351

Rota-Baxter operators on groups

Authors: Valeriy G. Bardakov, Vsevolod Gubarev

Abstract: Theory of Rota-Baxter operators on rings and algebras has been developed since 1960. Recently, L. Guo, H. Lang, Y. Sheng [arXiv:2009.03492] have defined the notion of Rota-Baxter operator on a group. We provide some general constructions of Rota-Baxter operators on a group. Given a map on a group, we study its extensions to a Rota-Baxter operator. We state the connection between Rota-Baxter operat… ▽ More Theory of Rota-Baxter operators on rings and algebras has been developed since 1960. Recently, L. Guo, H. Lang, Y. Sheng [arXiv:2009.03492] have defined the notion of Rota-Baxter operator on a group. We provide some general constructions of Rota-Baxter operators on a group. Given a map on a group, we study its extensions to a Rota-Baxter operator. We state the connection between Rota-Baxter operators on a group and Rota-Baxter operators on an associated Lie ring. We describe Rota-Baxter operators on sporadic simple groups. △ Less

Submitted 2 May, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: 26 p; v2: formulation of Theorem 10.1 is corrected

MSC Class: 17B38; 20D08

A Wells type exact sequence for non-degenerate unitary solutions of the Yang--Baxter equation

Authors: Valeriy Bardakov, Mahender Singh

Abstract: Cycle sets are known to give non-degenerate unitary solutions of the Yang--Baxter equation and linear cycle sets are enriched versions of these algebraic systems. The paper explores the recently developed cohomology and extension theory for linear cycle sets. We derive a four term exact sequence relating 1-cocycles, second cohomology and certain groups of automorphisms arising from central extensi… ▽ More Cycle sets are known to give non-degenerate unitary solutions of the Yang--Baxter equation and linear cycle sets are enriched versions of these algebraic systems. The paper explores the recently developed cohomology and extension theory for linear cycle sets. We derive a four term exact sequence relating 1-cocycles, second cohomology and certain groups of automorphisms arising from central extensions of linear cycle sets. This is an analogue of a similar exact sequence for group extensions known due to Wells. We also compare the exact sequence for linear cycle sets with that for their underlying abelian groups via the forgetful functor and discuss generalities on dynamical 2-cocycles. △ Less

Submitted 16 July, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 18 pages, to appear in Homology Homotopy Applications

Journal ref: Homology Homotopy and Applications 24(2) (2022), 401--421

Representations of flat virtual braids which do not preserve the forbidden relations

Authors: V. Bardakov, B. Chuzhinov, I. Emel'yanenkov, M. Ivanov, E. Markhinina, T. Nasybullov, S. Panov, N. Singh, S. Vasyutkin, V. Yakhin, A. Vesnin

Abstract: In the paper, we construct a representation $θ:FVB_n\to{\rm Aut}(F_{2n})$ of the flat virtual braid group $FVB_n$ on $n$ strands by automorphisms of the free group $F_{2n}$ with $2n$ generators which does not preserve the forbidden relations in the flat virtual braid group. This representation gives a positive answer to the problem formulated by V. Bardakov in the list of unsolved problems in virt… ▽ More In the paper, we construct a representation $θ:FVB_n\to{\rm Aut}(F_{2n})$ of the flat virtual braid group $FVB_n$ on $n$ strands by automorphisms of the free group $F_{2n}$ with $2n$ generators which does not preserve the forbidden relations in the flat virtual braid group. This representation gives a positive answer to the problem formulated by V. Bardakov in the list of unsolved problems in virtual knot theory and combinatorial knot theory by R. Fenn, D. Ilyutko, L. Kauffman and V. Manturov. Using this representation we construct a new group invariant for flat welded links. Also we find the set of normal generators of the groups $VP_n\cap H_n$ in $VB_n$, $FVP_n\cap FH_n$ in $FVB_n$, $GVP_n\cap GH_n$ in $GVB_n$, which play an important role in the study of the kernel of the representation $θ$. △ Less

Submitted 7 October, 2020; originally announced October 2020.

Comments: 23 pages

MSC Class: 20F36; 20F29; 57M27; 57M25

On the lower central series of Baumslag-Solitar groups

Authors: V. G. Bardakov, M. V. Neshchadim

Abstract: We find the lower central series for residually nilpotent Baumslag-Solitar groups, and find the intersection of all terms of the lower central series. Also, we find non-abelian Bauslag-Solitar groups for which the lower central series has length 2. For some Baumslag-Solitar groups a connection is found between the intersection of all subgroups of finite index and the intersection of all terms of t… ▽ More We find the lower central series for residually nilpotent Baumslag-Solitar groups, and find the intersection of all terms of the lower central series. Also, we find non-abelian Bauslag-Solitar groups for which the lower central series has length 2. For some Baumslag-Solitar groups a connection is found between the intersection of all subgroups of finite index and the intersection of all terms of the lower central series. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 14 pages

MSC Class: 20E06 (Primary) 20E26 (Secondary)

On homotopy braids

Authors: V. G. Bardakov, V. V. Vershinin, Jie Wu

Abstract: Homotopy braid group is the subject of the paper. First, linearity of homotopy braid group over the integers is proved. Then we prove that the group homotopy braid group on three strands is torsion free. Homotopy braid group is the subject of the paper. First, linearity of homotopy braid group over the integers is proved. Then we prove that the group homotopy braid group on three strands is torsion free. △ Less

Submitted 25 March, 2021; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: 10 pages

MSC Class: Primary 20F36; Secondary 20C12

Virtually Symmetric representations and marked Gauss diagrams

Authors: Valeriy G. Bardakov, Mikhail V. Neshchadim, Manpreet Singh

Abstract: In this paper, we define the notion of a virtually symmetric representation of representations of virtual braid groups and prove that many known representations are equivalent to virtually symmetric. Using one such representation, we define the notion of virtual link groups which is an extension of virtual link groups defined by Kauffman. Moreover, we introduce the concept of marked Gauss diagrams… ▽ More In this paper, we define the notion of a virtually symmetric representation of representations of virtual braid groups and prove that many known representations are equivalent to virtually symmetric. Using one such representation, we define the notion of virtual link groups which is an extension of virtual link groups defined by Kauffman. Moreover, we introduce the concept of marked Gauss diagrams as a generalisation of Gauss diagrams and their interpretation in terms of knot-like diagrams. We extend the definition of virtual link groups to marked Gauss diagrams and define their peripheral structure. We define $C_m$-groups and prove that every group presented by a $1$-irreducible $C_1$-presentation of deficiency $1$ or $2$ can be realized as the group of a marked Gauss diagram. △ Less

Submitted 3 December, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 27 pages, 13 figures. Minor change in the structure of the paper, symbols, figures, accepted in Topology and its Applications

MSC Class: 57K12; 20F36 (Primary); 05C10 (Secondary)

Journal ref: Topology and its Applications 306 (2022), 107936

Spatial graph as connected sum of a planar graph and a braid

Authors: Valeriy G. Bardakov, Akio Kawauchi

Abstract: In this paper we show that every finite spatial graph is a connected sum of a planar graph, which is a forest, i.e. disjoint union of finite number of trees and a tangle. As a consequence we get that any finite spatial graph is a connected sum of a planar graph and a braid. Using these decompositions it is not difficult to find a set of generators and defining relations for the fundamental group… ▽ More In this paper we show that every finite spatial graph is a connected sum of a planar graph, which is a forest, i.e. disjoint union of finite number of trees and a tangle. As a consequence we get that any finite spatial graph is a connected sum of a planar graph and a braid. Using these decompositions it is not difficult to find a set of generators and defining relations for the fundamental group of compliment of a spatial graph in 3-space $\mathbb{R}^3$. △ Less

Submitted 29 June, 2020; originally announced June 2020.

Comments: 14 pages, 14 figures

MSC Class: 57M07; 57M25

On 3-strand singular pure braid group

Authors: Valeriy G. Bardakov, Tatyana A. Kozlovskaya

Abstract: In the present paper we study the singular pure braid group $SP_{n}$ for $n=2, 3$. We find generators, defining relations and the algebraical structure of these groups. In particular, we prove that $SP_{3}$ is a semi-direct product $SP_{3} = \widetilde{V}_3 \leftthreetimes \mathbb{Z}$, where $\widetilde{V}_3$ is an HNN-extension with base group $\mathbb{Z}^2 * \mathbb{Z}^2$ and cyclic associated s… ▽ More In the present paper we study the singular pure braid group $SP_{n}$ for $n=2, 3$. We find generators, defining relations and the algebraical structure of these groups. In particular, we prove that $SP_{3}$ is a semi-direct product $SP_{3} = \widetilde{V}_3 \leftthreetimes \mathbb{Z}$, where $\widetilde{V}_3$ is an HNN-extension with base group $\mathbb{Z}^2 * \mathbb{Z}^2$ and cyclic associated subgroups. We prove that the center $Z(SP_3)$ of $SP_3$ is a direct factor in $SP_3$. △ Less

Submitted 24 May, 2020; originally announced May 2020.

Comments: 18 pages, 1 figure

Quandle cohomology, extensions and automorphisms

Authors: Valeriy Bardakov, Mahender Singh

Abstract: The paper establishes new relationship between cohomology, extensions and automorphisms of quandles. We derive a four term exact sequence relating quandle 1-cocycles, second quandle cohomology and certain group of automorphisms of an abelian extension of quandles. A non-abelian counterpart of this sequence involving dynamical cohomology classes is also established, and some applications to lifting… ▽ More The paper establishes new relationship between cohomology, extensions and automorphisms of quandles. We derive a four term exact sequence relating quandle 1-cocycles, second quandle cohomology and certain group of automorphisms of an abelian extension of quandles. A non-abelian counterpart of this sequence involving dynamical cohomology classes is also established, and some applications to lifting of quandle automorphisms are given. Viewing the construction of the conjugation, the core and the generalised Alexander quandle of a group as an adjoint functor of some appropriate functor from the category of quandles to the category of groups, we prove that these functors map extensions of groups to extensions of quandles. Finally, we construct some natural group homomorphisms from the second cohomology of a group to the second cohomology of its core and conjugation quandles. △ Less

Submitted 24 July, 2021; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 26 pages

MSC Class: 57M27; 20B25

Journal ref: Journal of Algebra 585 (2021), 558--591

On $λ$-homomorphic skew braces

Authors: Valeriy G. Bardakov, Mikhail V. Neshchadim, Manoj K. Yadav

Abstract: For a skew left brace $(G, \cdot, \circ)$, the map $λ: (G, \circ) \to \mathrm{Aut} \;(G, \cdot),~~a \mapsto λ_a$, where $λ_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $λ$ can also be viewed as a map from $(G, \cdot)$ to $\mathrm{Aut}\; (G, \cdot)$, which, in general, may not be a homomorphism. We study skew left braces $(G, \cdot, \circ)$ for which… ▽ More For a skew left brace $(G, \cdot, \circ)$, the map $λ: (G, \circ) \to \mathrm{Aut} \;(G, \cdot),~~a \mapsto λ_a$, where $λ_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $λ$ can also be viewed as a map from $(G, \cdot)$ to $\mathrm{Aut}\; (G, \cdot)$, which, in general, may not be a homomorphism. We study skew left braces $(G, \cdot, \circ)$ for which $λ: (G, \cdot) \to \mathrm{Aut}\; (G, \cdot)$ is a homomorphism. Such skew left braces will be called $λ$-homomorphic. We formulate necessary and sufficient conditions under which a given homomorphism $λ: (G, \cdot) \to \mathrm{Aut}\; (G, \cdot)$ gives rise to a skew left brace, which, indeed, is $λ$-homomorphic. As an application, we construct skew left braces when $(G, \cdot)$ is either a free group or a free abelian group. We prove that any $λ$-homomorphic skew left brace is an extension of a trivial skew brace by a trivial skew brace. Special emphasis is given on $λ$-homomorphic skew left brace for which the image of $λ$ is cyclic. A complete characterization of such skew left braces on the free abelian group of rank two is obtained. △ Less

Submitted 12 April, 2020; originally announced April 2020.

Comments: 23 pages, Comments are welcome

MSC Class: 16T25; 81R50

Lifting theorem for the virtual pure braid groups

Authors: Valeriy G. Bardakov, Jie Wu

Abstract: In this article we prove theorem on Lifting for the set of virtual pure braid groups. This theorem says that if we know presentation of virtual pure braid group $VP_4$, then we can find presentation of $VP_n$ for arbitrary $n > 4$. Using this theorem we find the set of generators and defining relations for simplicial group $T_*$ which was defined in the previuos article of the authors. We find a d… ▽ More In this article we prove theorem on Lifting for the set of virtual pure braid groups. This theorem says that if we know presentation of virtual pure braid group $VP_4$, then we can find presentation of $VP_n$ for arbitrary $n > 4$. Using this theorem we find the set of generators and defining relations for simplicial group $T_*$ which was defined in the previuos article of the authors. We find a decomposition of the Artin pure braid group $P_n$ in semi-direct product of free groups in the cabled generators. △ Less

Submitted 20 February, 2020; originally announced February 2020.

Comments: 32 pages

MSC Class: 20F36; 55Q40; 18G30

Multi-switches and virtual knot invariants

Authors: Valeriy Bardakov, Timur Nasybullov

Abstract: In the paper we introduce a general approach how for a given virtual biquandle multi-switch $(S,V)$ on an algebraic system $X$ (from some category) and a given virtual link $L$ construct an algebraic system $X_{S,V}(L)$ (from the same category) which is an invariant of $L$. As a corollary we introduce a new quandle invariant for virtual links which generalizes previously known quandle invariants f… ▽ More In the paper we introduce a general approach how for a given virtual biquandle multi-switch $(S,V)$ on an algebraic system $X$ (from some category) and a given virtual link $L$ construct an algebraic system $X_{S,V}(L)$ (from the same category) which is an invariant of $L$. As a corollary we introduce a new quandle invariant for virtual links which generalizes previously known quandle invariants for virtual links. △ Less

Submitted 19 January, 2020; originally announced January 2020.

Comments: 27 pages, 21 figures

MSC Class: 57M27; 57M25; 20F36; 20N02; 16T25

Zero-divisors and idempotents in quandle rings

Authors: Valeriy G. Bardakov, Inder Bir S. Passi, Mahender Singh

Abstract: The paper develops further the theory of quandle rings which was introduced by the authors in a recent work. Orderability of quandles is defined and many interesting examples of orderable quandles are given. It is proved that quandle rings of left or right orderable quandles which are semi-latin have no zero-divisors. Idempotents in quandle rings of certain interesting quandles are computed and us… ▽ More The paper develops further the theory of quandle rings which was introduced by the authors in a recent work. Orderability of quandles is defined and many interesting examples of orderable quandles are given. It is proved that quandle rings of left or right orderable quandles which are semi-latin have no zero-divisors. Idempotents in quandle rings of certain interesting quandles are computed and used to determine sets of maximal quandles in these rings. Understanding of idempotents is further applied to determine automorphism groups of these quandle rings. Also, commutator width of quandle rings is introduced and computed in a few cases. The paper conclude by commenting on relation of quandle rings with other well-known non-associative algebras. △ Less

Submitted 24 January, 2020; v1 submitted 19 January, 2020; originally announced January 2020.

Comments: 25 pages

MSC Class: 17D99; 57M27; 16S34; 20N02

Journal ref: Osaka Journal of Mathematics 59 (2022), 611--637

General constructions of biquandles and their symmetries

Authors: Valeriy Bardakov, Timur Nasybullov, Mahender Singh

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 deter… ▽ More 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. △ Less

Submitted 22 August, 2019; originally announced August 2019.

Comments: 38 pages, 4 figures

Multi-switches and representations of braid groups

Authors: Valeriy Bardakov, Timur Nasybullov

Abstract: In the paper, we introduce the notion of a (virtual) multi-switch which generalizes the notion of a (virtual) switch. Using (virtual) multi-switches we introduce a general approach on how to construct representations of (virtual) braid groups by automorphisms of algebraic systems. As a corollary, we introduce new representations of virtual braid groups which generalize several previously known rep… ▽ More In the paper, we introduce the notion of a (virtual) multi-switch which generalizes the notion of a (virtual) switch. Using (virtual) multi-switches we introduce a general approach on how to construct representations of (virtual) braid groups by automorphisms of algebraic systems. As a corollary, we introduce new representations of virtual braid groups which generalize several previously known representations. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 24 pages

Computing skew left braces of small orders

Authors: Valeriy G. Bardakov, Mikhail V. Neshchadim, Manoj K. Yadav

Abstract: We improve Algorithm 5.1 of [Math. Comp. {\bf 86} (2017), 2519-2534] for computing all non-isomorphic skew left braces, and enumerate left braces and skew left braces of orders up to 868 with some exceptions. Using the enumerated data, we state some conjectures for further research. We improve Algorithm 5.1 of [Math. Comp. {\bf 86} (2017), 2519-2534] for computing all non-isomorphic skew left braces, and enumerate left braces and skew left braces of orders up to 868 with some exceptions. Using the enumerated data, we state some conjectures for further research. △ Less

Submitted 4 December, 2019; v1 submitted 21 July, 2019; originally announced July 2019.

Comments: 11 pages, 8 tables, Computational results

Journal ref: Internat. J. Algebra Comput. 30 (2020), no. 4, 839-851

On virtual cabling and structure of 4-strand virtual pure braid group

Authors: Valeriy G. Bardakov, Jie Wu

Abstract: This article is dedicate to cabling on virtual braids. This construction gives a new generating set for the virtual pure braid group $VP_n$. Consequently we describe $VP_4$ as HNN-extension. As an application to classical braids, we find a new presentation of the Artin pure braid group $P_4$ in terms of the cabled generators. This article is dedicate to cabling on virtual braids. This construction gives a new generating set for the virtual pure braid group $VP_n$. Consequently we describe $VP_4$ as HNN-extension. As an application to classical braids, we find a new presentation of the Artin pure braid group $P_4$ in terms of the cabled generators. △ Less

Submitted 18 May, 2019; originally announced May 2019.

Comments: 29 pages, 1 figure

MSC Class: 20F36; 55Q40; 18G30

Link quandles are residually finite

Authors: Valeriy G. Bardakov, Mahender Singh, Manpreet Singh

Abstract: Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free quandles and knot quandles are residually finite. In this paper, we extend these results and prove that free products of residually finite quandles are residually fin… ▽ More Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free quandles and knot quandles are residually finite. In this paper, we extend these results and prove that free products of residually finite quandles are residually finite provided their associated groups are residually finite. As associated groups of link quandles are link groups, which are known to be residually finite, it follows that link quandles are residually finite. △ Less

Submitted 12 September, 2019; v1 submitted 8 February, 2019; originally announced February 2019.

Comments: 11 pages, final version, to appear in Monatshefte für Mathematik

Journal ref: Monatshefte für Mathematik 191 (2020), 679--690

On embeddings of quandles into groups

Authors: Valeriy Bardakov, Timur Nasybullov

Abstract: In the present paper, we introduce the new construction of quandles. For a group $G$ and its subset $A$ we construct a quandle $Q(G,A)$ which is called the $(G,A)$-quandle and study properties of this quandle. In particular, we prove that if $Q$ is a quandle such that the natural map $Q\to G_Q$ from $Q$ to its enveloping group $G_Q$ is injective, then $Q$ is the $(G,A)$-quandle for an appropriate… ▽ More In the present paper, we introduce the new construction of quandles. For a group $G$ and its subset $A$ we construct a quandle $Q(G,A)$ which is called the $(G,A)$-quandle and study properties of this quandle. In particular, we prove that if $Q$ is a quandle such that the natural map $Q\to G_Q$ from $Q$ to its enveloping group $G_Q$ is injective, then $Q$ is the $(G,A)$-quandle for an appropriate group $G$ and its subset $A$. Also we introduce the free product of quandles and study this construction for $(G,A)$-quandles. In addition, we classify all finite quandles with enveloping group $\mathbb{Z}^2$. △ Less

Submitted 6 February, 2019; originally announced February 2019.

Comments: 19 pages

MSC Class: 20N02; 57M27

On the lower central series of some virtual knot groups

Authors: Valeriy G. Bardakov, Neha Nanda, Mikhail V. Neshchadim

Abstract: We study groups of some virtual knots with small number of crossings and prove that there is a virtual knot with long lower central series which, in particular, implies that there is a virtual knot with residually nilpotent group. This gives a possibility to construct invariants of virtual knots using quotients by terms of the lower central series of knot groups. Also, we study decomposition of vi… ▽ More We study groups of some virtual knots with small number of crossings and prove that there is a virtual knot with long lower central series which, in particular, implies that there is a virtual knot with residually nilpotent group. This gives a possibility to construct invariants of virtual knots using quotients by terms of the lower central series of knot groups. Also, we study decomposition of virtual knot groups as semi direct product and free product with amalgamation. In particular, we prove that the groups of some virtual knots are extensions of finitely generated free groups by infinite cyclic groups. △ Less

Submitted 18 July, 2020; v1 submitted 23 November, 2018; originally announced November 2018.

Comments: 20 pages, 8 figures modified, section 3 added

MSC Class: 57M27; 20F36; 57M25

Journal ref: Journal of Knot Theory and Its Ramifications (2020)

Structural aspects of twin and pure twin groups

Authors: Valeriy Bardakov, Mahender Singh, Andrei Vesnin

Abstract: The twin group $T_n$ is a Coxeter group generated by $n-1$ involutions and the pure twin group $PT_n$ is the kernel of the natural surjection of $T_n$ onto the symmetric group on $n$ letters. In this paper, we investigate structural aspects of twin and pure twin groups. We prove that the twin group $T_n$ decomposes into a free product with amalgamation for $n>4$. It is shown that the pure twin gro… ▽ More The twin group $T_n$ is a Coxeter group generated by $n-1$ involutions and the pure twin group $PT_n$ is the kernel of the natural surjection of $T_n$ onto the symmetric group on $n$ letters. In this paper, we investigate structural aspects of twin and pure twin groups. We prove that the twin group $T_n$ decomposes into a free product with amalgamation for $n>4$. It is shown that the pure twin group $PT_n$ is free for $n=3,4$, and not free for $n\ge 6$. We determine a generating set for $PT_n$, and give an upper bound for its rank. We also construct a natural faithful representation of $T_4$ into $\operatorname{Aut}(F_7)$. In the end, we propose virtual and welded analogues of these groups and some directions for future work. △ Less

Submitted 23 January, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: 20 pages, 7 figures, minor corrections and additions done, to appear in Geometriae Dedicata

MSC Class: 57M27; 57M25

Journal ref: Geometriae Dedicata 203 (2019), 135--154

Exterior and symmetric (co)homology of groups

Authors: Valeriy G. Bardakov, Mikhail V. Neshchadim, Mahender Singh

Abstract: The paper investigates exterior and symmetric (co)homologies of groups. We introduce symmetric homology of groups and compute exterior and symmetric (co)homologies of some finite groups. We also compare the classical, exterior and symmetric (co)homologies. Finally, we derive restriction and corestriction homomorphisms for exterior cohomology The paper investigates exterior and symmetric (co)homologies of groups. We introduce symmetric homology of groups and compute exterior and symmetric (co)homologies of some finite groups. We also compare the classical, exterior and symmetric (co)homologies. Finally, we derive restriction and corestriction homomorphisms for exterior cohomology △ Less

Submitted 16 June, 2020; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 24 pages, shortened version

MSC Class: 20J06; 18G60

Journal ref: International Journal of Algebra and Computation 30 (2020), no. 8, 1577--1607

On homotopy aspects and cablings of virtual pure braid groups

Authors: Valeriy G. Bardakov, Roman Mikhailov, Jie Wu

Abstract: By exploring simplicial structure of pure virtual braid groups, we give new connections between the homotopy groups of the 3-sphere and the virtual braid groups that are related to the theory of Brunnian virtual braids. The group structure of VP_n with n > 4 is determined by VP_3, VP_4 and virtual cablings given by iterated degeneracy operations on the generators and defining relations. The comple… ▽ More By exploring simplicial structure of pure virtual braid groups, we give new connections between the homotopy groups of the 3-sphere and the virtual braid groups that are related to the theory of Brunnian virtual braids. The group structure of VP_n with n > 4 is determined by VP_3, VP_4 and virtual cablings given by iterated degeneracy operations on the generators and defining relations. The complete proofs will be published in the two forthcoming papers. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: 12 pages

Free quandles and knot quandles are residually finite

Authors: Valeriy G. Bardakov, Mahender Singh, Manpreet Singh

Abstract: In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core and Alexander quandles) is established. Further, residual finiteness of automorphism groups of some residually finite quandles is also di… ▽ More In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core and Alexander quandles) is established. Further, residual finiteness of automorphism groups of some residually finite quandles is also discussed. △ Less

Submitted 11 September, 2019; v1 submitted 19 May, 2018; originally announced May 2018.

Comments: 12 pages

Journal ref: Proceedings of the American Mathematical Society 147 (2019), 3621--3633