Showing 1–50 of 87 results for author: Myasnikov, A

Groups elementarily equivalent to metabelian Baumslag$-$Solitar groups and regular bi-interpretability

Authors: Evelina Daniyarova, Alexei Myasnikov

Abstract: We prove that metabelian Baumslag$-$Solitar group $BS(1,k)$, $k>1$, is (strongly) regularly bi-interpretable with the ring of integers $\mathbb{Z}$, and describe in algebraic terms all groups that are elementarily equivalent to $BS(1,k)$. We prove that metabelian Baumslag$-$Solitar group $BS(1,k)$, $k>1$, is (strongly) regularly bi-interpretable with the ring of integers $\mathbb{Z}$, and describe in algebraic terms all groups that are elementarily equivalent to $BS(1,k)$. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Groups elementarily equivalent to the classical matrix groups

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we describe all groups that are first-order (elementarily) equivalent to the classical matrix groups such as $GL_n(F), SL_n(F)$ and $T_n(F)$ over a field $F$ provided $n \geq 3$. In this paper we describe all groups that are first-order (elementarily) equivalent to the classical matrix groups such as $GL_n(F), SL_n(F)$ and $T_n(F)$ over a field $F$ provided $n \geq 3$. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 36 pages

MSC Class: 03C60; 20F16

The BM@N spectrometer at the NICA accelerator complex

Authors: S. Afanasiev, G. Agakishiev, E. Aleksandrov, I. Aleksandrov, P. Alekseev, K. Alishina, V. Astakhov, E. Atkin, T. Aushev, V. Azorskiy, V. Babkin, N. Balashov, R. Barak, A. Baranov, D. Baranov, N. Baranova, N. Barbashina, M. Baznat, S. Bazylev, M. Belov, D. Blau, V. Bocharnikov, G. Bogdanova, A. Bolozdynya, E. Bondar , et al. (187 additional authors not shown)

Abstract: BM@N (Baryonic Matter at Nuclotron) is the first experiment operating and taking data at the Nuclotron/NICA ion-accelerating complex.The aim of the BM@N experiment is to study interactions of relativistic heavy-ion beams with fixed targets. We present a technical description of the BM@N spectrometer including all its subsystems. BM@N (Baryonic Matter at Nuclotron) is the first experiment operating and taking data at the Nuclotron/NICA ion-accelerating complex.The aim of the BM@N experiment is to study interactions of relativistic heavy-ion beams with fixed targets. We present a technical description of the BM@N spectrometer including all its subsystems. △ Less

Submitted 11 March, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 34 pages, 47 figures, 6 tables

Production of $π^+$ and $K^+$ mesons in argon-nucleus interactions at 3.2 AGeV

Authors: S. Afanasiev, G. Agakishiev, E. Aleksandrov, I. Aleksandrov, P. Alekseev, K. Alishina, E. Atkin, T. Aushev, V. Babkin, N. Balashov, A. Baranov, A. Baranov, D. Baranov, N. Baranova, N. Barbashina, M. Baznat, S. Bazylev, M. Belov, D. Blau, G. Bogdanova, D. Bogoslovsky, A. Bolozdynya, E. Boos, M. Buryakov, S. Buzin , et al. (147 additional authors not shown)

Abstract: First physics results of the BM@N experiment at the Nuclotron/NICA complex are presented on π+ and K+ meson production in interactions of an argon beam with fixed targets of C, Al, Cu, Sn and Pb at 3.2 AGeV. Transverse momentum distributions, rapidity spectra and multiplicities of $π^+$ and $K^+$ mesons are measured. The results are compared with predictions of theoretical models and with other me… ▽ More First physics results of the BM@N experiment at the Nuclotron/NICA complex are presented on π+ and K+ meson production in interactions of an argon beam with fixed targets of C, Al, Cu, Sn and Pb at 3.2 AGeV. Transverse momentum distributions, rapidity spectra and multiplicities of $π^+$ and $K^+$ mesons are measured. The results are compared with predictions of theoretical models and with other measurements at lower energies. △ Less

Submitted 8 June, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 29 pages, 20 figures

Rich groups, weak second order logic, and applications

Authors: Olga Kharlampovich, Alexei Myasnikov, Mahmood Sohrabi

Abstract: In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are quite a lot of finitely generated rich groups, they are somewhere in between hyperbolic and nilpotent groups (these ones are not rich). We provide some methods to prove that groups (and other structures) are rich and descr… ▽ More In this paper we initiate a study of first-order rich groups, i.e., groups where the first-order logic has the same power as the weak second order logic. Surprisingly, there are quite a lot of finitely generated rich groups, they are somewhere in between hyperbolic and nilpotent groups (these ones are not rich). We provide some methods to prove that groups (and other structures) are rich and describe some of their properties. As corollaries we look at Malcev's problems in various groups. △ Less

Submitted 15 October, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: This a mainly expository paper, the final version of which appeared as a contribution to the book "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter (Misprints are corrected in this version)

Journal ref: "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter

Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$

Authors: Mahmood Sohrabi, Alexei G. Myasnikov

Abstract: Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group $\text{GL}_n(\mathcal{O})$ and solvable group of all invertible uppertriangular matrices over $\mathcal{O}$, $\text{T}_n(\mathcal{O})$. For each of these groups… ▽ More Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group $\text{GL}_n(\mathcal{O})$ and solvable group of all invertible uppertriangular matrices over $\mathcal{O}$, $\text{T}_n(\mathcal{O})$. For each of these groups we provide a complete characterization of arbitrary models of their complete elementary theories. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1609.09802

MSC Class: 03C60; 20F16

Fraïssé limits of limit groups

Authors: Olga Kharlampovich, Alexei Myasnikov, Rizos Sklinos

Abstract: We modify the notion of a Fraïssé class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fraïssé limits. Furthermore, we rediscover Lyndon's $\Z[t]$-exponential completions of countable torsion-free CSA groups, as Fraïssé limits with respect to extensions of centralizers. Dedicate… ▽ More We modify the notion of a Fraïssé class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fraïssé limits. Furthermore, we rediscover Lyndon's $\Z[t]$-exponential completions of countable torsion-free CSA groups, as Fraïssé limits with respect to extensions of centralizers. Dedicated to the memory of Charles Sims. △ Less

Submitted 5 August, 2019; v1 submitted 21 July, 2018; originally announced July 2018.

Comments: Revised version, accepted to J. Algebra

MSC Class: 03C60

Undecidability of Equations in Free Lie Algebras

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero. In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers $\mathbb{Z}$ is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero. △ Less

Submitted 22 August, 2017; originally announced August 2017.

Comments: arXiv admin note: text overlap with arXiv:1606.03617

MSC Class: 03C60

Random Burnside Groups

Authors: O. Kharlampovich, A. Myasnikov

Abstract: We show that there exists a positive number $M_0$ such that for any odd $M\geq M_0$ a random group of exponent $M$ with overwhelming probability is infinite in the few relator model and in the density $d$ model for small $d$. We show that there exists a positive number $M_0$ such that for any odd $M\geq M_0$ a random group of exponent $M$ with overwhelming probability is infinite in the few relator model and in the density $d$ model for small $d$. △ Less

Submitted 7 June, 2017; v1 submitted 22 May, 2017; originally announced May 2017.

Comments: We over-simplified the proof in the last moment and as a result the submitted text did not contain the proof

MSC Class: 20P05

Undecidability of the first order theories of free non-commutative Lie algebras

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language $+, \cdot,0$. Furthermore, if $R$ has characteristic zero then we prove that the elementary theory $Th(L)$ of $L$ in the standard ring language is undecidable.… ▽ More Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language $+, \cdot,0$. Furthermore, if $R$ has characteristic zero then we prove that the elementary theory $Th(L)$ of $L$ in the standard ring language is undecidable. To do so we show that the arithmetic ${\bf N} = \langle{\bf N}, +,\cdot,0 \rangle$ is 0-interpretable in $L$. This implies that the theory of $Th(L)$ has the independence property. These results answer some old questions on model theory of free Lie algebras. △ Less

Submitted 22 May, 2017; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: Misprints corrected

MSC Class: 03C60

TC^0 circuits for algorithmic problems in nilpotent groups

Authors: Alexei Myasnikov, Armin Weiß

Abstract: Recently, Macdonald et. al. showed that many algorithmic problems for finitely generated nilpotent groups including computation of normal forms, the subgroup membership problem, the conjugacy problem, and computation of subgroup presentations can be done in Logspace. Here we follow their approach and show that all these problems are complete for the uniform circuit class TC^0 - uniformly for all r… ▽ More Recently, Macdonald et. al. showed that many algorithmic problems for finitely generated nilpotent groups including computation of normal forms, the subgroup membership problem, the conjugacy problem, and computation of subgroup presentations can be done in Logspace. Here we follow their approach and show that all these problems are complete for the uniform circuit class TC^0 - uniformly for all r-generated nilpotent groups of class at most c for fixed r and c. In order to solve these problems in TC^0, we show that the unary version of the extended gcd problem (compute greatest common divisors and express them as linear combinations) is in TC^0. Moreover, if we allow a certain binary representation of the inputs, then the word problem and computation of normal forms is still in uniform TC^0, while all the other problems we examine are shown to be TC^0-Turing reducible to the binary extended gcd problem. △ Less

Submitted 26 July, 2017; v1 submitted 21 February, 2017; originally announced February 2017.

ACM Class: F.2.2; G.2.0

Hierarchy for groups acting on hyperbolic $\mathbf{Z}^n$-spaces

Authors: Andrei-Paul Grecianu, Alexei Myasnikov, Denis Serbin

Abstract: In their first article, the authors initiated a systematic study of hyperbolic $Λ$-metric spaces, where $Λ$ is an ordered abelian group, and groups acting on such spaces. The present paper concentrates on the case $Λ= \mathbf{Z}^n$ taken with the right lexicographic order and studies the structure of finitely generated groups acting on hyperbolic $\mathbf{Z}^n$-metric spaces. Under certain constra… ▽ More In their first article, the authors initiated a systematic study of hyperbolic $Λ$-metric spaces, where $Λ$ is an ordered abelian group, and groups acting on such spaces. The present paper concentrates on the case $Λ= \mathbf{Z}^n$ taken with the right lexicographic order and studies the structure of finitely generated groups acting on hyperbolic $\mathbf{Z}^n$-metric spaces. Under certain constraints, the structure of such groups is described in terms of a {\em hierarchy} similar to the one established for $\mathbf{Z}^n$-free groups by Kharlampovich, Myasnikov, Remeslennikov and Serbin. △ Less

Submitted 13 July, 2021; v1 submitted 1 November, 2016; originally announced November 2016.

Comments: 24 pages, 3 figures

MSC Class: 20F65 (Primary) 20E08; 20F67; 05E18; 53C23 (Secondary)

Equations in Algebras

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: We show that the Diophantine problem(decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively hyperbolic groups, right angled Artin groups, commutative transitive groups, the fundamental groups of various graph groups, etc. We show that the Diophantine problem(decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively hyperbolic groups, right angled Artin groups, commutative transitive groups, the fundamental groups of various graph groups, etc. △ Less

Submitted 27 June, 2016; v1 submitted 11 June, 2016; originally announced June 2016.

MSC Class: 16B70; 03C60

Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group

Authors: Funda Gul, Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$ In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$ △ Less

Submitted 7 July, 2016; v1 submitted 21 November, 2015; originally announced November 2015.

Comments: 27 pages

Tarski-type problems for free associative algebras

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free associative algebras of finite rank over fields are elementarily equivalent if and only if their ranks are the same and the fields are equivalent in the weak second or… ▽ More In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free associative algebras of finite rank over fields are elementarily equivalent if and only if their ranks are the same and the fields are equivalent in the weak second order logic. In particular, two free associative algebras of finite rank over the same field are elementarily equivalent if and only if they are isomorphic. We prove that if an arbitrary ring $B$ with at least one Noetherian proper centralizer is first-order equivalent to a free associative algebra of finite rank over an infinite field then $B$ is also a free associative algebra of finite rank over a field. This solves the elementary classification problem for free associative algebras in a wide class of rings. Finally, we present a formula of the ring language which defines the set of free bases in a free associative algebra of finite rank. △ Less

Submitted 27 March, 2016; v1 submitted 14 September, 2015; originally announced September 2015.

MSC Class: 16B70

Journal ref: Journal of Algebra 500 (2018) 589-643

Non-commutative lattice problems

Authors: Alexei Myasnikov, Andrey Nikolaev, Alexander Ushakov

Abstract: We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup element closest to a given group element, or finding a shortest non-trivial element of a subgroup in the case of nilpotent groups, and a large class of surface… ▽ More We consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup element closest to a given group element, or finding a shortest non-trivial element of a subgroup in the case of nilpotent groups, and a large class of surface groups and Coxeter groups. We also provide polynomial time algorithm to compute geodesics in given generators of a subgroup of a free group. △ Less

Submitted 10 August, 2015; originally announced August 2015.

Comments: 17 pages, 2 figures

MSC Class: 03D15; 20F65; 20F10

Logspace and compressed-word computations in nilpotent groups

Authors: Jeremy Macdonald, Alexei Myasnikov, Andrey Nikolaev, Svetla Vassileva

Abstract: For finitely generated nilpotent groups, we employ Mal'cev coordinates to solve several classical algorithmic problems efficiently. Computation of normal forms, the membership problem, the conjugacy problem, and computation of presentations for subgroups are solved using only logarithmic space and quasilinear time. Logarithmic space presentation-uniform versions of these algorithms are provided. C… ▽ More For finitely generated nilpotent groups, we employ Mal'cev coordinates to solve several classical algorithmic problems efficiently. Computation of normal forms, the membership problem, the conjugacy problem, and computation of presentations for subgroups are solved using only logarithmic space and quasilinear time. Logarithmic space presentation-uniform versions of these algorithms are provided. Compressed-word versions of the same problems, in which each input word is provided as a straight-line program, are solved in polynomial time. △ Less

Submitted 19 December, 2021; v1 submitted 12 March, 2015; originally announced March 2015.

Comments: Accepted in Transactions of the AMS

MSC Class: 20F10; 20F14; 20F18; 68Q25

Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem

Authors: Volker Diekert, Alexei G. Myasnikov, Armin Weiß

Abstract: In various occasions the conjugacy problem in finitely generated amalgamated products and HNN extensions can be decided efficiently for elements which cannot be conjugated into the base groups. This observation asks for a bound on how many such elements there are. Such bounds can be derived using the theory of amenable graphs: In this work we examine Schreier graphs of amalgamated products and H… ▽ More In various occasions the conjugacy problem in finitely generated amalgamated products and HNN extensions can be decided efficiently for elements which cannot be conjugated into the base groups. This observation asks for a bound on how many such elements there are. Such bounds can be derived using the theory of amenable graphs: In this work we examine Schreier graphs of amalgamated products and HNN extensions. For an amalgamated product $G = H *_A K $ with $[H:A] \geq [K:A] \geq 2$, the Schreier graph with respect to $H$ or $K$ turns out to be non-amenable if and only if $[H:A] \geq 3$. Moreover, for an HNN extension of the form $G = <H,b | bab^{-1}=φ(a), a \in A >$, we show that the Schreier graph of $G$ with respect to the subgroup $H$ is non-amenable if and only if $A \neq H \neq φ(A)$. As application of these characterizations we show that under certain conditions the conjugacy problem in fundamental groups of finite graphs of groups with free abelian vertex groups can be solved in polynomial time on a strongly generic set. Furthermore, the conjugacy problem in groups with more than one end can be solved with a strongly generic algorithm which has essentially the same time complexity as the word problem. These are rather striking results as the word problem might be easy, but the conjugacy problem might be even undecidable. Finally, our results yield another proof that the set where the conjugacy problem of the Baumslag group is decidable in polynomial time is also strongly generic. △ Less

Submitted 5 May, 2016; v1 submitted 22 January, 2015; originally announced January 2015.

MSC Class: 20F65; 05C81; 20E06 ACM Class: F.2.2; G.2.m

Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups

Authors: Olga Kharlampovich, Alexei Myasnikov, Alexander Taam

Abstract: We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $Γ$, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram encodes all homomorphisms from $G$ to $Γ$ as compositions of factorizations through $Γ$-NTQ groups and canonical automorphisms of the corresponding NTQ-subgrou… ▽ More We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $Γ$, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram encodes all homomorphisms from $G$ to $Γ$ as compositions of factorizations through $Γ$-NTQ groups and canonical automorphisms of the corresponding NTQ-subgroups. We also give another characterization of $Γ$-limit groups as iterated generalized doubles over $Γ$. △ Less

Submitted 26 September, 2019; v1 submitted 13 January, 2015; originally announced January 2015.

Comments: Corrected according to referee suggestions. Accepted to Groups, Complexity, Cryptology

A linear decomposition attack

Authors: Vitaliǐ Roman'kov, Alexei Myasnikov

Abstract: We discuss a new attack, termed a dimension or linear decomposition attack, on several known group-based cryptosystems. This attack gives a polynomial time deterministic algorithm that recovers the secret shared key from the public data in all this schemes under consideration. Furthemore, we show that in this case, contrary to the common opinion, the typical computational security assumptions are… ▽ More We discuss a new attack, termed a dimension or linear decomposition attack, on several known group-based cryptosystems. This attack gives a polynomial time deterministic algorithm that recovers the secret shared key from the public data in all this schemes under consideration. Furthemore, we show that in this case, contrary to the common opinion, the typical computational security assumptions are not very relevant to the security of the schemes, i.e., one can break the schemes without solving the algorithmic problems on which the assumptions are based. The efficacy of the attack depends on the platform group, so it requires a more thorough analysis in each particular case. △ Less

Submitted 19 December, 2014; originally announced December 2014.

MSC Class: 20F10

Journal ref: Groups Complexity Cryptology, Vol. 7:1, 2015, 81-94

$ω$-stability and Morley rank of bilinear maps, rings and nilpotent groups

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we study the algebraic structure of $ω$-stable bilinear maps, arbitrary rings and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case. In this paper we study the algebraic structure of $ω$-stable bilinear maps, arbitrary rings and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case. △ Less

Submitted 13 May, 2016; v1 submitted 8 October, 2014; originally announced October 2014.

MSC Class: 20A15

On Tarski's Decidability Problem

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: This note provides a brief guide to the current state of the literature on Tarski's problems with emphasis on features that distinguish the approach based on combinatorial and algorithmic group theory from the topological approach to Tarski's problem. We use this note to provide corrections to some typos and to address some misconceptions from the recent report by Z. Sela about the relations betwe… ▽ More This note provides a brief guide to the current state of the literature on Tarski's problems with emphasis on features that distinguish the approach based on combinatorial and algorithmic group theory from the topological approach to Tarski's problem. We use this note to provide corrections to some typos and to address some misconceptions from the recent report by Z. Sela about the relations between the concepts and results in the approaches to the Tarski problems. We were forced to read Sela's papers to be able to address some of his comments, and found errors in his papers 6, 3 and 4 on Diophantine Geometry published in GAFA and Israel J. Math. which we mention in Section 4. His proceedings of the ICM 2002 paper also contains wrong Theorem 6 (to make it correct one has to change the definition of non-elementary hyperbolic $ω$-residually free towers to make them equivalent to our coordinate groups of regular NTQ systems.) △ Less

Submitted 31 May, 2014; v1 submitted 3 February, 2014; originally announced February 2014.

Comments: We address more comments in this version

Elementary coordinatization of finitely generated nilpotent groups

Authors: A. G. Myasnikov, Mahmood Sohrabi

Abstract: This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely generated we prove using a classical result of Julia Robinson that one can obtain a central series for $G$ where the action of the ring of integers $\Z$ on the… ▽ More This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely generated we prove using a classical result of Julia Robinson that one can obtain a central series for $G$ where the action of the ring of integers $\Z$ on the quotients of each of the consecutive terms of the series except for one very specific gap, called the special gap, is interpretable in $G$. Then we use a refinement of this central series to give a criterion for elementary equivalence of finitely generated nilpotent groups in terms of the relationship between group extensions and the second cohomology group. △ Less

Submitted 17 May, 2016; v1 submitted 6 November, 2013; originally announced November 2013.

The Post correspondence problem in groups

Authors: Alexei Myasnikov, Andrey Nikolaev, Alexander Ushakov

Abstract: We generalize the classical Post correspondence problem ($\mathbf{PCP}_n$) and its non-homogeneous variation ($\mathbf{GPCP}_n$) to non-commutative groups and study the computational complexity of these new problems. We observe that $\mathbf{PCP}_n$ is closely related to the equalizer problem in groups, while $\mathbf{GPCP}_n$ is connected to the double twisted conjugacy problem for endomorphisms.… ▽ More We generalize the classical Post correspondence problem ($\mathbf{PCP}_n$) and its non-homogeneous variation ($\mathbf{GPCP}_n$) to non-commutative groups and study the computational complexity of these new problems. We observe that $\mathbf{PCP}_n$ is closely related to the equalizer problem in groups, while $\mathbf{GPCP}_n$ is connected to the double twisted conjugacy problem for endomorphisms. Furthermore, it is shown that one of the strongest forms of the word problem in a group $G$ (we call it the {\em hereditary word problem}) can be reduced to $\mathbf{GPCP}_n$ in $G$ in polynomial time. The main results are that $\mathbf{PCP}_n$ is decidable in a finitely generated nilpotent group in polynomial time, while $\mathbf{GPCP}_n$ is undecidable in any group containing free non-abelian subgroup (though the argument is very different from the classical case of free semigroups). We show that the double endomorphism twisted conjugacy problem is undecidable in free groups of sufficiently large finite rank. We also consider the bounded $\mathbf{PCP}$ and observe that it is in $\mathbf{NP}$ for any group with $\mathbf{P}$-time decidable word problem, meanwhile it is $\mathbf{NP}$-hard in any group containing free non-abelian subgroup. In particular, the bounded $\mathbf{PCP}$ is $\mathbf{NP}$-complete in non-elementary hyperbolic groups and non-abelian right angle Artin groups. △ Less

Submitted 17 November, 2013; v1 submitted 19 October, 2013; originally announced October 2013.

Comments: 13 pages

MSC Class: 03D15; 20F65; 20F10

Groups acting on hyperbolic $Λ$-metric spaces

Authors: Andrei-Paul Grecianu, Alexei Kvaschuk, Alexei Myasnikov, Denis Serbin

Abstract: In this paper we study group actions on hyperbolic $Λ$-metric spaces, where $Λ$ is an ordered abelian group. $Λ$-metric spaces were first introduced by Morgan and Shalen in their study of hyperbolic structures and then Chiswell, following Gromov's ideas, introduced the notion of hyperbolicty for such spaces. Only the case of 0-hyperbolic $Λ$-metric spaces (that is, $Λ$-trees) was systematically st… ▽ More In this paper we study group actions on hyperbolic $Λ$-metric spaces, where $Λ$ is an ordered abelian group. $Λ$-metric spaces were first introduced by Morgan and Shalen in their study of hyperbolic structures and then Chiswell, following Gromov's ideas, introduced the notion of hyperbolicty for such spaces. Only the case of 0-hyperbolic $Λ$-metric spaces (that is, $Λ$-trees) was systematically studied, while the theory of general hyperbolic $Λ$-metric spaces was not developed at all. Hence, one of the goals of the present paper was to fill this gap and translate basic notions and results from the theory of group actions on hyperbolic (in the usual sense) spaces to the case of $Λ$-metric spaces for an arbitrary $Λ$. The other goal was to show some principal difficulties which arise in this generalization and the ways to deal with them. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Comments: 61 pages, 6 figures

Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela. Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela. △ Less

Submitted 21 April, 2016; v1 submitted 4 March, 2013; originally announced March 2013.

Comments: Misprints and errors corrected, referee suggestions addressed. arXiv admin note: substantial text overlap with arXiv:1207.1900

MSC Class: 20-XX

Knapsack Problems in Groups

Authors: Alexei Myasnikov, Andrey Nikolaev, Alexander Ushakov

Abstract: We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time decidable in hyperbolic groups and give various examples of finitely presented groups where the subset sum problem is NP-complete. We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time decidable in hyperbolic groups and give various examples of finitely presented groups where the subset sum problem is NP-complete. △ Less

Submitted 22 February, 2013; originally announced February 2013.

Comments: 28 pages, 12 figures

MSC Class: 03D15; 20F65; 20F10; 68Q17

Actions, length functions, and non-archemedian words

Authors: Olga Kharlampovich, Alexei Myasnikov, Denis Serbin

Abstract: In this paper we survey recent developments in the theory of groups acting on $Λ$-trees. We are trying to unify all significant methods and techniques, both classical and recently developed, in an attempt to present various faces of the theory and to show how these methods can be used to solve major problems about finitely presented $Λ$-free groups. Besides surveying results known up to date we dr… ▽ More In this paper we survey recent developments in the theory of groups acting on $Λ$-trees. We are trying to unify all significant methods and techniques, both classical and recently developed, in an attempt to present various faces of the theory and to show how these methods can be used to solve major problems about finitely presented $Λ$-free groups. Besides surveying results known up to date we draw many new corollaries concerning structural and algorithmic properties of such groups. △ Less

Submitted 26 January, 2013; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 135 pages, 18 figures. arXiv admin note: substantial text overlap with arXiv:0911.0209, arXiv:0907.2356, arXiv:1208.4640, arXiv:1107.0425

Journal ref: IJAC, 23 (2013), 2, 325-455

Cognitive Bias for Universal Algorithmic Intelligence

Authors: Alexey Potapov, Sergey Rodionov, Andrew Myasnikov, Galymzhan Begimov

Abstract: Existing theoretical universal algorithmic intelligence models are not practically realizable. More pragmatic approach to artificial general intelligence is based on cognitive architectures, which are, however, non-universal in sense that they can construct and use models of the environment only from Turing-incomplete model spaces. We believe that the way to the real AGI consists in bridging the g… ▽ More Existing theoretical universal algorithmic intelligence models are not practically realizable. More pragmatic approach to artificial general intelligence is based on cognitive architectures, which are, however, non-universal in sense that they can construct and use models of the environment only from Turing-incomplete model spaces. We believe that the way to the real AGI consists in bridging the gap between these two approaches. This is possible if one considers cognitive functions as a "cognitive bias" (priors and search heuristics) that should be incorporated into the models of universal algorithmic intelligence without violating their universality. Earlier reported results suiting this approach and its overall feasibility are discussed on the example of perception, planning, knowledge representation, attention, theory of mind, language, and some others. △ Less

Submitted 19 September, 2012; originally announced September 2012.

Comments: 10 pages

Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: It was proved by Sela and by the authors that every formula in the theory of a free group $F$ is equivalent to a boolean combination of $\exists\forall$-formulas. We also proved that the elementary theory of a free group is decidable (there is an algorithm given a sentence to decide whether this sentence belongs to $Th(F)$). In this paper we give an algorithm for reduction of a first order formula… ▽ More It was proved by Sela and by the authors that every formula in the theory of a free group $F$ is equivalent to a boolean combination of $\exists\forall$-formulas. We also proved that the elementary theory of a free group is decidable (there is an algorithm given a sentence to decide whether this sentence belongs to $Th(F)$). In this paper we give an algorithm for reduction of a first order formula over a free group to an equivalent boolean combination of $\exists\forall$-formulas. △ Less

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

Comments: In this version we describe in more details the algorithm from our paper "Elementary theory of free non-abelian groups" (J. Algebra, 302, 2006). We also corrected some misprints and non-essential errors in "Elementary theory of free non-abelian groups" noticed by different people

MSC Class: 20E05; 03CXX

Cyclic rewriting and conjugacy problems

Authors: Volker Diekert, Andrew Duncan, Alexei Myasnikov

Abstract: Cyclic words are equivalence classes of cyclic permutations of ordinary words. When a group is given by a rewriting relation, a rewriting system on cyclic words is induced, which is used to construct algorithms to find minimal length elements of conjugacy classes in the group. These techniques are applied to the universal groups of Stallings pregroups and in particular to free products with amalga… ▽ More Cyclic words are equivalence classes of cyclic permutations of ordinary words. When a group is given by a rewriting relation, a rewriting system on cyclic words is induced, which is used to construct algorithms to find minimal length elements of conjugacy classes in the group. These techniques are applied to the universal groups of Stallings pregroups and in particular to free products with amalgamation, HNN-extensions and virtually free groups, to yield simple and intuitive algorithms and proofs of conjugacy criteria. △ Less

Submitted 25 July, 2012; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: 37 pages, 1 figure, submitted. Changes to introduction

MSC Class: 20E06

Algorithmically complex residually finite groups

Authors: O. Kharlampovich, A. Myasnikov, M. Sapir

Abstract: We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function. The groups are solvable of class 3. We also prove that the universal theory of finite solvable of class 3 groups is undecidable. We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function. The groups are solvable of class 3. We also prove that the universal theory of finite solvable of class 3 groups is undecidable. △ Less

Submitted 22 March, 2013; v1 submitted 29 April, 2012; originally announced April 2012.

Comments: 32 pages; v2: misprints fixed; v3: removed the result about NP-completeness. The input language of any Minsky machine is sparse, so one cannot use our construction to build a finitely presented group with NP-complete word problem. We thank Markus Lohrey and Jean-Camille Birget for that observation. v4: Introduction is expanded, proofs are clarified. v5: Some corrections are made

Verbally closed subgroups of free groups

Authors: A. Myasnikov, V. Roman'kov

Abstract: We prove that every verbally closed subgroup of a free group $F$ of a finite rank is a retract of $F.$ We prove that every verbally closed subgroup of a free group $F$ of a finite rank is a retract of $F.$ △ Less

Submitted 10 January, 2012; v1 submitted 2 January, 2012; originally announced January 2012.

Comments: 12 pages

MSC Class: 20E05; 20E07; 20F10

Journal ref: J. Group Theory, Vol. 17, Issue 1 (2014), 29-40

Definable sets in a hyperbolic group

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$. As a corollary we show that proper non-cyclic subgroups of $F$ and $G$ are not definable and prove Bestvina and Feighn's result that definable subsets $P=(p)$ i… ▽ More We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$. As a corollary we show that proper non-cyclic subgroups of $F$ and $G$ are not definable and prove Bestvina and Feighn's result that definable subsets $P=(p)$ in a free group are either negligible or co-negligible in their terminology. △ Less

Submitted 3 December, 2012; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: Corollary of Theorem 3 was corrected and incorporated into Theorem 3

MSC Class: 20E05; 03CXX

Journal ref: International Journal of Algebra and Computation, 23, 1, 2013, pages 91:110

Amalgamated Products of Groups II: Measures of Random Normal Forms

Authors: Elizaveta Frenkel, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: Let $G=\mathop{A\ast B}\limits_C$ be an amalgamated product of finite rank free groups $A$, $B$ and $C$. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in $G$. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and second stratum is formed by singular (or unstable) normal forms. In a serie… ▽ More Let $G=\mathop{A\ast B}\limits_C$ be an amalgamated product of finite rank free groups $A$, $B$ and $C$. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in $G$. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and second stratum is formed by singular (or unstable) normal forms. In a series of previous work about classical algorithmic problems, it was shown that standard algorithms work fast on elements of the first stratum and nothing is known about their work on the second stratum. In main theorems A and B of this paper we give probabilistic and asymptotic estimates of these strata. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 37 pages

Verbal subgroups of hyperbolic groups have infinite width

Authors: Alexei Myasnikov, Andrey Nikolaev

Abstract: Let $G$ be a non-elementary hyperbolic group. Let $w$ be a group word such that the set $w[G]$ of all its values in $G$ does not coincide with $G$ or 1. We show that the width of verbal subgroup $w(G)=<w[G]>$ is infinite. That is, there is no such $l\in\mathbb Z$ that any $g\in w(G)$ can be represented as a product of $\le l$ values of $w$ and their inverses. Let $G$ be a non-elementary hyperbolic group. Let $w$ be a group word such that the set $w[G]$ of all its values in $G$ does not coincide with $G$ or 1. We show that the width of verbal subgroup $w(G)=<w[G]>$ is infinite. That is, there is no such $l\in\mathbb Z$ that any $g\in w(G)$ can be represented as a product of $\le l$ values of $w$ and their inverses. △ Less

Submitted 27 August, 2014; v1 submitted 19 July, 2011; originally announced July 2011.

Comments: To appear in Journal of the London Mathematical Society. 22 pages, 8 figures

MSC Class: 20F67; 20F65

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

Infinite words and universal free actions

Authors: Olga Kharlampovich, Alexei Myasnikov, Denis Serbin

Abstract: This is the second paper in a series of three, where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Here, for an arbitrary group $G$ of infinite words over an ordered abelian group $Λ$ we construct a $Λ$-tree $Γ_G$ equipped with a free action of $G$. Moreover, we show that $Γ_G$ is a universal tree for $G$ in the sense that it isometrically emb… ▽ More This is the second paper in a series of three, where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Here, for an arbitrary group $G$ of infinite words over an ordered abelian group $Λ$ we construct a $Λ$-tree $Γ_G$ equipped with a free action of $G$. Moreover, we show that $Γ_G$ is a universal tree for $G$ in the sense that it isometrically embeds in every $Λ$-tree equipped with a free $G$-action compatible with the original length function on $G$. △ Less

Submitted 3 July, 2011; originally announced July 2011.

Comments: 20 pages, 4 figures

MSC Class: 20F65; 20E08

Random equations in nilpotent groups

Authors: Robert Gilman, Alexei Myasnikov, Vitalii Romankov

Abstract: In this paper we study satisfiability of random equations in an infinite finitely generated nilpotent group G. We show that the set SAT(G,k) of all equations in k > 1 variables over G which are satisfiable in G has an intermediate asymptotic density in the space of all equations in k variables over G. When G is a free abelian group of finite rank, we compute this density precisely; otherwise we gi… ▽ More In this paper we study satisfiability of random equations in an infinite finitely generated nilpotent group G. We show that the set SAT(G,k) of all equations in k > 1 variables over G which are satisfiable in G has an intermediate asymptotic density in the space of all equations in k variables over G. When G is a free abelian group of finite rank, we compute this density precisely; otherwise we give some non-trivial upper and lower bounds. For k = 1 the set SAT(G,k) is negligible. Usually the asymptotic densities of interesting sets in groups are either zero or one. The results of this paper provide new examples of algebraically significant sets of intermediate asymptotic density. △ Less

Submitted 8 June, 2011; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 25 pages

MSC Class: 20F70

On Rationality of Verbal Subsets In a Group

Authors: A. Myasnikov, V. Roman'kov

Abstract: Let $F$ be a free non-abelian group. We show that for any group word $w$ the set $w[F]$ of all values of $w$ in $F$ is rational in $F$ if and only if $w[F] = 1$ or $w[F] = F.$ We generalize this to a wide class of free products of groups. Let $F$ be a free non-abelian group. We show that for any group word $w$ the set $w[F]$ of all values of $w$ in $F$ is rational in $F$ if and only if $w[F] = 1$ or $w[F] = F.$ We generalize this to a wide class of free products of groups. △ Less

Submitted 23 September, 2011; v1 submitted 24 March, 2011; originally announced March 2011.

Comments: 14 pages

Journal ref: Theory of Computing Systems, 52, \No 4 (2013), 587-598

The Finitary Andrews-Curtis Conjecture

Authors: Alexandre V. Borovik, Alexander Lubotzky, Alexei G. Myasnikov

Abstract: The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample… ▽ More The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample to the classical conjecture, as suggested in [5]. △ Less

Submitted 7 March, 2011; originally announced March 2011.

Comments: Appeared in Progress in Mathematics, Vol. 248, 15-30. 2005 Birkhäuser Verlag Basel/Switzerland

Algorithmically finite groups

Authors: A. Myasnikov, D. Osin

Abstract: We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their properties. For instance, we show that the Equality Problem is decidable in our groups only on strongly (exponentially) negligible sets of inputs. We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their properties. For instance, we show that the Equality Problem is decidable in our groups only on strongly (exponentially) negligible sets of inputs. △ Less

Submitted 7 December, 2010; originally announced December 2010.

MSC Class: 20F65

Group extensions over infinite words

Authors: Volker Diekert, Alexei Myasnikov

Abstract: We construct an extension $E(A,G)$ of a given group $G$ by infinite non-Archimedean words over an discretely ordered abelian group like $Z^n$. This yields an effective and uniform method to study various groups that "behave like $G$". We show that the Word Problem for f.g. subgroups in the extension is decidable if and only if and only if the Cyclic Membership Problem in $G$ is decidable. The pr… ▽ More We construct an extension $E(A,G)$ of a given group $G$ by infinite non-Archimedean words over an discretely ordered abelian group like $Z^n$. This yields an effective and uniform method to study various groups that "behave like $G$". We show that the Word Problem for f.g. subgroups in the extension is decidable if and only if and only if the Cyclic Membership Problem in $G$ is decidable. The present paper embeds the partial monoid of infinite words as defined by Myasnikov, Remeslennikov, and Serbin (Contemp. Math., Amer. Math. Soc., 378:37-77, 2005) into $E(A,G)$. Moreover, we define the extension group $E(A,G)$ for arbitrary groups $G$ and not only for free groups as done in previous work. We show some structural results about the group (existence and type of torsion elements, generation by elements of order 2) and we show that some interesting HNN extensions of $G$ embed naturally in the larger group $E(A,G)$. △ Less

Submitted 5 February, 2011; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: 42 pages

MSC Class: 20F10; 68R15

Power Circuits, Exponential Algebra, and Time Complexity

Authors: Alexei G. Myasnikov, Alexander Ushakov, Dong Wook Won

Abstract: Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that in this case very large numbers, which are obtained as n towers of exponentiation in the base 2 can be realized as n applications of the operation x2^y, so worki… ▽ More Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that in this case very large numbers, which are obtained as n towers of exponentiation in the base 2 can be realized as n applications of the operation x2^y, so working with such numbers given in the usual binary expansions requires super exponential space. We define a new compressed representation for integers by power circuits (a particular type of straight-line programs) which is unique and easily computable, and show that the operations above can be performed in polynomial time if the numbers are presented by power circuits. We mention several applications of this technique to algorithmic problems, in particular, we prove that the quantifier-free theories of various exponential algebras are decidable in polynomial time, as well as the word problems in some "hard to crack" one-relator groups. △ Less

Submitted 13 June, 2010; originally announced June 2010.

Groups elementarily equivalent to a free nilpotent group of finite rank

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank. In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank. △ Less

Submitted 1 June, 2010; originally announced June 2010.

MSC Class: 03C60; 20F18

Algebraic geometry over algebraic structures III: Equationally Noetherian property and compactness

Authors: Evelina Daniyarova, Alexei Myasnikov, Vladimir Remeslennikov

Abstract: In this paper we discuss some special generalizations of equationally Noetherian property which naturally arise in the universal algebraic geometry. We introduce weakly equationally Noetherian, qw-compact, uw-compact, and weakly uw-compact algebras and then examine properties of such algebras. Also we consider the connections between five classes: the class of equationally Noetherian algebras, the… ▽ More In this paper we discuss some special generalizations of equationally Noetherian property which naturally arise in the universal algebraic geometry. We introduce weakly equationally Noetherian, qw-compact, uw-compact, and weakly uw-compact algebras and then examine properties of such algebras. Also we consider the connections between five classes: the class of equationally Noetherian algebras, the class of weakly equationally Noetherian algebras, the class of uw-compact algebras, the class of weakly uw-compact algebras, and the class of qw-compact algebras. △ Less

Submitted 18 May, 2010; v1 submitted 22 February, 2010; originally announced February 2010.

Comments: 46 pages; 2 figures

MSC Class: 14A99; 03C05; 08B05

Algebraic geometry over algebraic structures II: Foundations

Authors: Evelina Daniyarova, Alexei Myasnikov, Vladimir Remeslennikov

Abstract: In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways. In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways. △ Less

Submitted 2 February, 2011; v1 submitted 18 February, 2010; originally announced February 2010.

Comments: 55 pages

MSC Class: 03C99; 08A99; 14A99

Groups acting freely on $Λ$-trees

Authors: O. Kharlampovich, A. Myasnikov, D. Serbin

Abstract: A group is called $Λ$-free if it has a free Lyndon length function in an ordered abelian group $Λ$, which is equivalent to having a free isometric action on a $Λ$-tree. A group has a regular free length function in $Λ$ if and only if it has a free isometric action on a $Λ$-tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented… ▽ More A group is called $Λ$-free if it has a free Lyndon length function in an ordered abelian group $Λ$, which is equivalent to having a free isometric action on a $Λ$-tree. A group has a regular free length function in $Λ$ if and only if it has a free isometric action on a $Λ$-tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented $Λ$-free group $G$ can be embedded into a finitely presented group with a regular free length function in $Λ$ so that the length function on $G$ is preserved by the embedding. Next, we prove that every finitely presented group $\widetilde G$ with a regular free Lyndon length function in $Λ$ has a regular free Lyndon length function in ${\mathbb R}^n$ ordered lexicographically for an appropriate $n$ and can be obtained from a free group by a series of finitely many HNN-extensions in which associated subgroups are maximal abelian and length isomorphic. △ Less

Submitted 2 November, 2011; v1 submitted 1 November, 2009; originally announced November 2009.

Comments: 33 pages, 6 figures

MSC Class: 20F65

Regular sets and counting in free groups

Authors: Elizaveta Frenkel, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: In this paper we study asymptotic behavior of regular subsets in a free group F of finite rank, compare their sizes at infinity, and develop techniques to compute the probabilities of sets relative to distributions on F that come naturally from no-return random walks on the Cayley graph of F. We apply these techniques to study cosets, double cosets, and Schreier representatives of finitely gener… ▽ More In this paper we study asymptotic behavior of regular subsets in a free group F of finite rank, compare their sizes at infinity, and develop techniques to compute the probabilities of sets relative to distributions on F that come naturally from no-return random walks on the Cayley graph of F. We apply these techniques to study cosets, double cosets, and Schreier representatives of finitely generated subgroups of F and also to analyze relative sizes of regular prefixed-closed subsets in F. △ Less

Submitted 16 June, 2009; originally announced June 2009.

Comments: 33 pp, 5 figures

MSC Class: 20E05

Equations and fully residually free groups

Authors: Olga Kharlampovich, Alexei Myasnikov

Abstract: This paper represents notes of the mini-courses given by the authors at the GCGTA conference in Dortmund (2007), Ottawa-Saint Sauveur conference (2007), Escola d'Algebra in Rio de Janeiro (2008) and Alagna (Italy, 2008) conference on equations in groups. We explain here the Elimination process for solving equations in a free group which has Makanin-Razborov process as a prototype. We also explai… ▽ More This paper represents notes of the mini-courses given by the authors at the GCGTA conference in Dortmund (2007), Ottawa-Saint Sauveur conference (2007), Escola d'Algebra in Rio de Janeiro (2008) and Alagna (Italy, 2008) conference on equations in groups. We explain here the Elimination process for solving equations in a free group which has Makanin-Razborov process as a prototype. We also explain how we use this process to obtain the structure theorem for finitely generated fully residually free groups and many other results. △ Less

Submitted 28 April, 2009; originally announced April 2009.

Comments: 33 pages, 7 figures

MSC Class: 20-02