Search

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^{(-)}$., Comment: 30 pages

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 $\Phi \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 $\Phi \colon SM_n \to A_n$ to a representation $\widetilde{\Phi} \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., Comment: 18 pages, 2 figures

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., Comment: 23 pages

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., Comment: 22 pages

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$., Comment: 19 pages

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., Comment: 20 pages, 2 figures, uses overleaf

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., Comment: 7 pages

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., Comment: 23 pages, 4 figure

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., Comment: 29 pages, 3 figures

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.

For a skew left brace $(G, \cdot, \circ)$, the map $\lambda : (G, \circ) \to \Aut \,(G, \cdot),~~a \mapsto \lambda_a,$ where $\lambda_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $\lambda$ 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 $\lambda$-anti-homomorphic ($\lambda$-homomorphic) if $\lambda : (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 $\lambda$-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., Comment: 25 pages

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., Comment: 25 p.; v2: section 5.2 is rewritten (after remarks of I. Colazzo and L. Vendramin)

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., Comment: 26 p; v2: formulation of Theorem 10.1 is corrected

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., Comment: 27 pages, 13 figures. Minor change in the structure of the paper, symbols, figures, accepted in Topology and its Applications

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$., Comment: 14 pages, 14 figures

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$., Comment: 18 pages, 1 figure

For a skew left brace $(G, \cdot, \circ)$, the map $\lambda : (G, \circ) \to \mathrm{Aut} \;(G, \cdot),~~a \mapsto \lambda_a$, where $\lambda_a(b) = a^{-1} \cdot (a \circ b)$ for all $a, b \in G$, is a group homomorphism. Then $\lambda$ 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 $\lambda : (G, \cdot) \to \mathrm{Aut}\; (G, \cdot)$ is a homomorphism. Such skew left braces will be called $\lambda$-homomorphic. We formulate necessary and sufficient conditions under which a given homomorphism $\lambda : (G, \cdot) \to \mathrm{Aut}\; (G, \cdot)$ gives rise to a skew left brace, which, indeed, is $\lambda$-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 $\lambda$-homomorphic skew left brace is an extension of a trivial skew brace by a trivial skew brace. Special emphasis is given on $\lambda$-homomorphic skew left brace for which the image of $\lambda$ is cyclic. A complete characterization of such skew left braces on the free abelian group of rank two is obtained., Comment: 23 pages, Comments are welcome

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., Comment: 32 pages

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., Comment: 25 pages

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., Comment: 11 pages, 8 tables, Computational results

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., Comment: 29 pages, 1 figure

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., Comment: 11 pages, final version, to appear in Monatshefte f\"ur Mathematik

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., Comment: 20 pages, 8 figures modified, section 3 added

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, Comment: 24 pages, shortened version

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., Comment: 12 pages

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., Comment: 12 pages

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., Comment: 24 pages

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., Comment: 12 pages

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., Comment: 20 pages, minor changes

In this paper, we investigate the structure of the automorphism groups of pure braid groups. We prove that, for $n>3$, $\Aut(P_n)$ is generated by the subgroup $\Aut_c(P_n)$ of central automorphisms of $P_n$, the subgroup $\Aut(B_n)$ of restrictions of automorphisms of $B_n$ on $P_n$ and one extra automorphism $w_n$. We also investigate the lifting and extension problem for automorphisms of some well-known exact sequences arising from braid groups, and prove that that answers are negative in most cases. Specifically, we prove that no non-trivial central automorphism of $P_n$ can be extended to an automorphism of $B_n$., Comment: 17 pp

Let $G$ be a group and $\varphi \in \Aut(G)$. Then the set $G$ equipped with the binary operation $a*b=\varphi(ab^{-1})b$ gives a quandle structure on $G$, denoted by $\Alex(G, \varphi)$ and called the generalised Alexander quandle. When $G$ is additive abelian and $\varphi = -\id_G$, then $\Alex(G, \varphi)$ 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 $\varphi$ is multiplication by a non-trivial unit of $\mathbb{Z}/p \mathbb{Z}$, then $\Aut\big(\Alex(G, \varphi)\big)$ acts doubly transitively on $\Alex(G, \varphi)$. This generalises a recent result of \cite{Ferman} for quandles of prime order., Comment: 11 pp, minor typo corrected

In this paper we define a monoid of pseudo braids and prove that this monoid is isomorphic to a singular braid monoid. We also prove an analogue of Markov's theorem for pseudo braids., Comment: 8 pages, 7 figures

Let $0 \to A \to L \to B \to 0$ be a short exact sequence of Lie algebras over a field $F$, where $A$ is abelian. We show that the obstruction for a pair of automorphisms in $\Aut(A) \times \Aut(B)$ to be induced by an automorphism in $\Aut(L)$ lies in the Lie algebra cohomology $\Ha^2(B;A)$. As a consequence, we obtain a four term exact sequence relating automorphisms, derivations and cohomology of Lie algebras. We also obtain a more explicit necessary and sufficient condition for a pair of automorphisms in $\Aut\big(L_{n,2}^{(1)}\big) \times \Aut\big(L_{n,2}^{ab}\big)$ to be induced by an automorphism in $\Aut\big(L_{n,2}\big)$, where $L_{n,2}$ is a free nilpotent Lie algebra of rank $n$ and step $2$., Comment: 13 pages

In this paper, we initiate the study of palindromic automorphisms of groups that are free in some variety. More specifically, we define palindromic automorphisms of free nilpotent groups and show that the set of such automorphisms is a group. We find a generating set for the group of palindromic automorphisms of free nilpotent groups of step 2 and 3. In particular, we obtain a generating set for the group of central palindromic automorphisms of these groups. In the end, we determine central palindromic automorphisms of free nilpotent groups of step 3 which satisfy the necessary condition of Bryant-Gupta-Levin-Mochizuki for a central automorphism to be tame., Comment: 22 pages, minor changes in first version

We present and discuss some open problems formulated by participants of the International Workshop "Knots, Braids, and Auto\-mor\-phism Groups" held in Novosibirsk, 2014. Problems are related to palindromic and commutator widths of groups; properties of Brunnian braids and two-colored braids, corresponding to an amalgamation of groups; extreme properties of hyperbolic 3-orbifold groups, relations between inner and quasi-inner automorphisms of groups; and Staic's construction of symmetric cohomology of groups.

We prove that the nilpotent product of a set of groups $A_{1},\dots, A_{s}$ has finite palindromic width if and only if the palindromic widths of $A_{i}, i=1,\dots, s,$ are finite. We give a new proof that the commutator width of $F_n \wr K$ is infinite, where $F_n$ is a free group of rank $n \geq 2$ and $K$ a finite group. This result, combining with a result of Fink \cite{f1} gives examples of groups with infinite commutator width but finite palindromic width with respect to some generating set., Comment: re-organized version; references added

It is well known that every finite subgroup of automorphism group of polynomial algebra of rank 2 over the field of zero characteristic is conjugated with a subgroup of linear automorphisms. We prove that it is not true for an arbitrary torsion subgroup. We construct an example of abelian $p$-group of automorphism of polynomial algebra of rank 2 over the field of complex numbers, which is not conjugated with a subgroup of linear automorphisms., Comment: 8 pages

Let $F_n$ be the free group of rank $n$ with free basis $X=\{x_1,\dots,x_n \}$. A palindrome is a word in $X^{\pm 1}$ that reads the same backwards as forwards. The palindromic automorphism group $\Pi A_n$ of $F_n$ consists of those automorphisms that map each $x_i$ to a palindrome. In this paper, we investigate linear representations of $\Pi A_n$, and prove that $\Pi A_2$ is linear. We obtain conjugacy classes of involutions in $\Pi A_2$, and investigate residual nilpotency of $\Pi A_n$ and some of its subgroups. Let $IA_n$ be the group of those automorphisms of $F_n$ that act trivially on the abelianisation, $P I_n$ be the palindromic Torelli group of $F_n$, and $E \Pi A_n$ be the elementary palindromic automorphism group of $F_n$. We prove that $PI_n=IA_n \cap E \Pi A_n'$. This result strengthens a recent result of Fullarton., Comment: 19 pages

We study some subgroups of the group of unitriangular automorphisms $U_n$ of a free associative algebra over a field of characteristic zero. We find the center of $U_n$ and describe the hypercenters of $U_2$ and $U_3$. In particular, we prove that the upper central series for $U_2$ has infinite length. As consequence, we prove that the groups $U_n$ are non-linear for all $n \geq 2$., Comment: 14 pages

We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated $3$-step solvable group has finite palindromic width. More generally, we show the finiteness of palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step $\geq 3$, we prove that if $G$ is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of $G$ is finite. We also prove that the palindromic width of $\mathbb Z \wr \mathbb Z$ with respect to the set of standard generators is $3$.

In arXiv:1303.1129, the authors provided a bound for the palindromic width of free abelian-by-nilpotent group $AN_n$ of rank $n$ and free nilpotent group ${\rm N}_{n,r}$ of rank $n$ and step $r$. In the present paper we study palindromic widths of groups $\widetilde{AN}_n$ and $\widetilde{\rm N}_{n,r}$. We denote by $\widetilde{G}_n = G_n / \langle \langle x_1^2, \ldots, x_n^2 \rangle \rangle$ the quotient of group $G_n = \langle x_1, \ldots, x_n \rangle$, which is free in some variety by the normal subgroup generated by $x_1^2, \ldots, x_n^2$. We prove that the palindromic width of the quotient $\widetilde{AN}_n$ is finite and bounded by $3n$. We also prove that the palindromic width of the quotient $\widetilde{\rm N}_{n, 2}$ is precisely $2(n-1)$. We improve the lower bound of the palindromic width for ${\rm N}_{n, r}$. We prove that the palindromic width of ${\rm N}_{n, r}$, $r\geq 2$ is at least $2(n-1)$. We also improve the bound for palindromic widths of free metabelian groups. We prove that the palindromic width of free metabelian group of rank $n$ is at most $4n-1$.

In this paper we consider the palindromic width of free nilpotent groups. In particular, we prove that the palindromic width of a finitely generated free nilpotent group is finite. We also prove that the palindromic width of a free abelian-by-nilpotent group is finite.

We define new notions of groups of virtual and welded knots (or links) and we study their relations with other invariants, in particular the Kauffman group of a virtual knot., Comment: 22 pages, 7 figures

We study a structure of the group of unitriangular automorphisms of a free associative algebra and a polynomial algebra and prove that this group is a semi direct product of abelian groups. Using this decomposition we describe a structure of the lower central series and the series of derived subgroups for the group of unitriangular automorphisms and prove that every element from the derived subgroup is a commutator. In addition we prove that the group of unitriangular automorphisms of a free associative algebra of rang more than 2 is not linear and describe some two-generated subgroups from these group. Also we give a more simple system of generators for the group of tame automorphisms than the system from Umirbaev's paper., Comment: 19 pages