Implicit function theorem over free groups

Details Implicit function theorem over free groups Implicit function theorem over free groups

2003-12-30

arxiv.org/abs/math/0312509v2

Mathematics

Group Theory

144 pages, 16 figures

Scientific paper

We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for algebraic varieties corresponding to regular quadratic and NTQ systems. We will also show that the Implicit function theorem is true only for these varieties. In algebraic geometry such results would be described as lifting solutions of equations into generic points. From the model theoretic view-point we claim the existence of simple Skolem functions for particular $\forall\exists$-formulas over free groups. Proving these theorems we describe in details a new version of the Makanin-Razborov process for solving equations in free groups. We also prove a weak version of the Implicit function theorem for NTQ systems which is one of the key results in the solution of the Tarski's problems about the elementary theory of a free group.

Affiliated with

Also associated with

No associations

Rating

Implicit function theorem over free groups does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Implicit function theorem over free groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Implicit function theorem over free groups will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-600155