Related papers: Equations in a free group. Elementary theory

It was proved that for any finite set of elements of a free product of residually finite groups such that no two of them belong to conjugate cyclic subgroups and each of them do not belong to a subgroup which is conjugate a to free factor…

We prove the Farrell-Jones conjecture for free-by-cyclic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture.

We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.

We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.

We present a new approach to the proof of ergodic theorems for actions of free groups based on geometric covering and asymptotic invariance arguments. Our approach can be viewed as a direct generalization of the classical geometric covering…

In this paper, we give an affirmative answer to Yamada's Conjecture on free topological groups, which was posed in [K. Yamada, {\it Fr\'echet-Urysohn spaces in free topological groups}, Proc. Amer. Math. Soc., {\bf 130}(2002), 2461--2469.].

A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…

We show that a finitely generated subgroup of a free group, chosen uniformly at random, is strictly Whitehead minimal with overwhelming probability. Whitehead minimality is one of the key elements of the solution of the orbit problem in…

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 relatively free groups with a single relation (analogous with the well-known result of Magnus) and the theorem on freedom for relatively free Lie algebras with a single relation (analogous…

We prove that the theory of all modules over the ring of algebraic integers is decidable.

We show that on an arbitrary finitely generated non virtually solvable linear group, any two independent random walks will eventually generate a free subgroup. In fact, this will hold for an exponential number of independent random walks.

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

This paper will be concerned with proving that certain Whitehead groups of torsion-free elementary amenable groups are torsion groups and related results, and then applying these results to the Bass conjecture. In particular we shall…

We give two slight generalizations of results of Poizat about elementary theories of groups obtained by free constructions. The first-one concerns the non-superstability of such groups in most cases, and the second-one concerns the…

We present a new proof that the statement 'every subgroup of a free group is free' implies the Axiom of Choice for finite sets.

We prove that the outer automorphism group of a free group of countably infinite rank is complete.

I prove that the generic type of the free nonabelian group has infinite weight (strengthening non superstability of the free group).

A proof of freeness of the commutator subgroup of the fundamental group of a smooth irreducible affine curve over a countable algebraically closed field of nonzero characteristic. A description of the abelianizations of the fundamental…

A characterization of congruences in free semigroups is presented.