Searcharxiv⌕ Search

arXiv subjects

Valeriy G. Bardakov

Publications and source records attributed to Valeriy G. Bardakov.

At least 37 records · Page 2Linked to original sources

Virtually Symmetric representations and marked Gauss diagrams

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.

math.GT↗

Rota-Baxter operators on groups

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.

math.GR↗

On the lower central series of some virtual knot groups

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.

math.GT↗

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

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$.

math.GT↗

Exterior and symmetric (co)homology of groups

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

math.GR↗

On 3-strand singular pure braid group

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$.

math.GR↗

On $λ$-homomorphic skew braces

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.

math.RA↗

Lifting theorem for the virtual pure braid groups

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.

math.GR↗

Zero-divisors and idempotents in quandle rings

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.

math.RA↗

Computing skew left braces of small orders

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.

math.RA↗

Link quandles are residually finite

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.

math.GT↗

Free quandles and knot quandles are residually finite

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.

math.GT↗

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

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.

math.GR↗

On homotopy aspects and cablings of virtual pure braid groups

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.

math.AT↗

Quandle rings

In this paper, a theory of quandle rings is proposed for quandles analogous to the classical theory of group rings for groups, and interconnections between quandles and associated quandle rings are explored.

math.GR↗

Linearity problem for non-abelian tensor products

In this paper we give an example of a linear group such that its tensor square is not linear. Also, we formulate some sufficient conditions for the linearity of non-abelian tensor products $G \otimes H$ and tensor squares $G \otimes G$. Using these results we prove that tensor squares of some groups with one relation and some knot groups are linear. We prove that the Peiffer square of finitely generated linear groups is linear. At the end we construct faithful linear representations for the non-abelian tensor square of free group and free nilpotent group.

math.GR↗

Commutator Subgroups of Virtual and Welded Braid Groups

Let $VB_n$, resp. $WB_n$ denote the virtual, resp. welded, braid group on $n$ strands. We study their commutator subgroups $VB_n' = [VB_n, VB_n]$ and, $WB_n' = [WB_n, WB_n]$ respectively. We obtain a set of generators and defining relations for these commutator subgroups. In particular, we prove that $VB_n'$ is finitely generated if and only if $n \geq 4$, and $WB_n'$ is finitely generated for $n \geq 3$. Also we prove that $VB_3'/VB_3'' =\mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus\mathbb{Z}_3 \oplus \mathbb{Z}^{\infty}$, $VB_4' / VB_4'' = \mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus \mathbb{Z}_3$, $WB_3'/WB_3'' = \mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus\mathbb{Z}_3 \oplus \mathbb{Z},$ $WB_4'/WB_4'' = \mathbb{Z}_3,$ and for $n \geq 5$ the commutator subgroups $VB_n'$ and $WB_n'$ are perfect, i.e. the commutator subgroup is equal to the second commutator subgroup.

math.GT↗

Automorphism groups of quandles arising from groups

Let $G$ be a group and $φ\in \Aut(G)$. Then the set $G$ equipped with the binary operation $a*b=φ(ab^{-1})b$ gives a quandle structure on $G$, denoted by $\Alex(G, φ)$ and called the generalised Alexander quandle. When $G$ is additive abelian and $φ= -\id_G$, then $\Alex(G, φ)$ is the well-known Takasaki quandle. In this paper, we determine the group of automorphisms and inner automorphisms of Takasaki quandles of abelian groups with no 2-torsion, and Alexander quandles of finite abelian groups with respect to fixed-point free automorphisms. As an application, we prove that if $G\cong (\mathbb{Z}/p \mathbb{Z})^n$ and $φ$ is multiplication by a non-trivial unit of $\mathbb{Z}/p \mathbb{Z}$, then $\Aut\big(\Alex(G, φ)\big)$ acts doubly transitively on $\Alex(G, φ)$. This generalises a recent result of \cite{Ferman} for quandles of prime order.

math.GR↗