Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points

Details Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points

2004-07-07

arxiv.org/abs/math/0407110v4

Cont. Math. AMS, Algorithms, Languages, Logic, CONM/378, 2005, 213-318

Mathematics

Group Theory

90 pages, 3 figures

Scientific paper

In this paper we prove Implicit Function Theorems (IFT) for algebraic varieties defined by regular quadratic equations and, more generally, regular NTQ systems over free groups. In the model theoretic language these results state the existence of very simple Skolem functions for particular $\forall\exists$-formulas over free groups. We construct these functions effectively. In non-effective form IFT first appeared in \cite{Imp}. From algebraic geometry view-point IFT can be described as lifting solutions of equations into generic points of algebraic varieties. Moreover, we show that the converse is also true, i.e., IFT holds only for algebraic varieties defined by regular NTQ systems. This implies that if a finitely generated group $H$ is $\forall\exists$-equivalent to a free non-abelian group then $H$ is isomorphic to the coordinate group of a regular NTQ system.

Affiliated with

Also associated with

No associations

Rating

Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points 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 Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-729283