Showing 1–8 of 8 results for author: Lysenok, I

A sample iterated small cancellation theory for groups of Burnside type

Authors: Igor Lysenok

Abstract: We develop yet another technique to present the free Burnside group $B(m,n)$ of odd exponent $n$ with $m\ge2$ generators as a group satisfying a certain iterated small cancellation condition. Using the approach, we provide a reasonably accessible proof that $B(m,n)$ is infinite with a moderate bound $n > 2000$ on the odd exponent $n$. We develop yet another technique to present the free Burnside group $B(m,n)$ of odd exponent $n$ with $m\ge2$ generators as a group satisfying a certain iterated small cancellation condition. Using the approach, we provide a reasonably accessible proof that $B(m,n)$ is infinite with a moderate bound $n > 2000$ on the odd exponent $n$. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Comments: 97 pages, 41 figures

Orientable quadratic equations in free metabelian groups

Authors: Igor Lysenok, Alexander Ushakov

Abstract: We prove that the Diophantine problem for orientable quadratic equations in free metabelian groups is decidable and furthermore, NP-complete. In the case when the number of variables in the equation is bounded, the problem is decidable in polynomial time. We prove that the Diophantine problem for orientable quadratic equations in free metabelian groups is decidable and furthermore, NP-complete. In the case when the number of variables in the equation is bounded, the problem is decidable in polynomial time. △ Less

Submitted 16 April, 2018; originally announced April 2018.

Commutator width in the first Grigorchuk group

Authors: Laurent Bartholdi, Thorsten Groth, Igor Lysenok

Abstract: Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $g\in [G,G]$ is a product of two commutators, and also of six conjugates of $a$. Furthermore, we show that every finitely generated subgroup $H\leq G$ has finite commutator width, which however can be arbitrarily large, and that $G$ contains a subgroup of infinite commutator width. The proofs were… ▽ More Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $g\in [G,G]$ is a product of two commutators, and also of six conjugates of $a$. Furthermore, we show that every finitely generated subgroup $H\leq G$ has finite commutator width, which however can be arbitrarily large, and that $G$ contains a subgroup of infinite commutator width. The proofs were assisted by the computer algebra system GAP. △ Less

Submitted 9 June, 2020; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: Wrt v1: improved presentation

Quadratic equations in the Grigorchuk group

Authors: Igor Lysenok, Alexei Miasnikov, Alexander Ushakov

Abstract: We provide an algorithm which, for a given quadratic equation in the Grigorchuk group determines if it has a solution. As a corollary to our approach, we prove that the group has a finite commutator width. We provide an algorithm which, for a given quadratic equation in the Grigorchuk group determines if it has a solution. As a corollary to our approach, we prove that the group has a finite commutator width. △ Less

Submitted 19 April, 2013; originally announced April 2013.

Spherical quadratic equations in free metabelian groups

Authors: Igor Lysenok, Alexander Ushakov

Abstract: We prove that the Diophantine problem for spherical quadratic equations in free metabelian groups is solvable and, moreover, NP-complete We prove that the Diophantine problem for spherical quadratic equations in free metabelian groups is solvable and, moreover, NP-complete △ Less

Submitted 17 April, 2013; originally announced April 2013.

A polynomial bound on solutions of quadratic equations in free groups

Authors: Igor Lysenok, Alexei Myasnikov

Abstract: We provide polynomial upper bounds on the size of a shortest solution for quadratic equations in a free group. A similar bound is given for parametric solutions in the description of solutions sets of quadratic equations in a free group. We provide polynomial upper bounds on the size of a shortest solution for quadratic equations in a free group. A similar bound is given for parametric solutions in the description of solutions sets of quadratic equations in a free group. △ Less

Submitted 8 July, 2011; originally announced July 2011.

Comments: 41 pages, 10 figures

The Conjugacy Problem in the Grigorchuk Group is polynomial time decidable

Authors: I. Lysenok, A. Myasnikov, A. Ushakov

Abstract: In this paper we prove that the Conjugacy Problem in the Grigorchuk group $Γ$ has polynomial time complexity. In this paper we prove that the Conjugacy Problem in the Grigorchuk group $Γ$ has polynomial time complexity. △ Less

Submitted 18 August, 2008; originally announced August 2008.

Comments: 17 pages

MSC Class: 20F10

Quadratic equations over free groups are NP-complete

Authors: O. Kharlampovich, I. G. Lysenok, A. G Myasnikov, N. W. M. Touikan

Abstract: We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete. We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete. △ Less

Submitted 26 February, 2008; originally announced February 2008.

MSC Class: 68Q17 (Primary); 20E05; 57M07 (Secondary)

Journal ref: Theor. Comput. Syst.47 (2010), no 1, 250 -- 258