Related papers: The theorems on freedom for relatively free Lie al…

In this paper we prove the theorem on freedom for relatively free Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for relatively free Lie algebras (analogous with the…

In this paper we prove the theorem on freedom for relatively free groups with a single relation (analogous with the well-known result of Magnus) and a generalized Freiheitssatz for relatively free groups (analogous with the well-known…

In this paper we prove the theorem on freedom for free sums of Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for free sums of Lie algebras (analogous with the…

In this paper we prove the theorem on freedom for free products with a single relation (analogous with the well-known result of Magnus) and a generalized Freiheitssatz for free products (analogous with the well-known result of Romanovski)

We show that some results of L. Makar-Limanov, P. Malcolmson and Z. Reichstein on the existence of free associative algebras are valid in the more general context of varieties of algebras.

We prove the Freiheitssatz for right-symmetric algebras and the decidability of the word problem for right-symmetric algebras with a single defining relation. We also prove that two generated subalgebras of free right-symmetric algebras are…

For a torsion free finitely generated nilpotent group G we naturally associate four finite dimensional nilpotent Lie algebras over a field of characteristic zero. We show that if G is a relatively free group of some variery of nilpotent…

We prove an analogue of the Magnus theorem for associative algebras without unity over arbitrary fields. Namely, if an algebra is given by n+k generators and k relations and has an n-element system of generators, then this algebra is a free…

The known facts about solvability of equations over groups are considered from a more general point of view. A generalized version of the theorem about solvability of unimodular equations over torsion-free groups is proved. In a special…

This expository paper focuses on free Lie $K$-algebras and the basic PBW theorem. We argue in various ways that the basic PBW theorem is a quite close consequence of the Magnus-Witt theorems concerning free Lie algebras.

The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were…

We describe, up to degree equal to the rank, the Lie algebra associated with the automorphism group of a free group. We compute in particular the ranks of its homogeneous components, and their structure as modules over the linear group.…

We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…

We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is $n$-ample for any $n\geq 1$. We give also an explicit description of the imaginary algebraic closure in free groups.

The notion of free link is a generalized notion of virtual link. In the present paper we define the group of free braids, prove the Alexander theorem that all free links can be obtained as closures of free braids and prove a Markov theorem,…

We prove the decidability of the elementary theory of a free group.

We obtain a necessary and sufficient condition for the convergence of independent products on Lie groups, as a natural extension of Kolmogorov's three-series theorem. Application to independent random matrices is discussed.

We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.

We prove a analog of Kurosh theorem for countable Borel equivalence relations giving the structure of sub-relations in free products.

We give a brief survey of recent results on word maps on simple groups and polynomial maps on simple associative and Lie algebras. Our focus is on parallelism between these theories, allowing one to state many new open problems and giving…