next up previous contents
Next: Representation theory, topological field Up: The Andrews-Curtis Conjecture Previous: A remark on the   Contents

Algebraic Geometry over Groups

Algebraic Geometry over Groups[8]
Gilbert Baumslag, A. Myasnikov and V. Remeslennikov
2000/01 The Andrews-Curtis conjecture, a problem on locally finite groups, some aspects of Grigorchuk groups, and the paper 'Algebraic Geometry over Groups' by G. Baumslag, A. Myasnikov, and V. Remeslennikov which appeared in J. Algebra 219 (1999). 2000/01 The Andrews-Curtis conjecture, a problem on locally finite groups, some aspects of Grigorchuk groups, and the paper 'Algebraic Geometry over Groups' by G. Baumslag, A. Myasnikov, and V. Remeslennikov which appeared in J. Algebra 219 (1999).
Algebraic Geometry over Groups I. Algebraic Sets and Ideal Theory*1

Gilbert Baumslaga, *, Alexei Myasnikovb, and Vladimir Remeslennikovc

a City College of New York, New York, New York, 10031
b City College of New York, New York, New York, 10031
c Omsk University, Omsk, Russia

Received 8 January 1999.  Available online 10 April 2002.


Abstract

The object of this paper, which is the first in a series of three, is
to lay the foundations of the theory of ideals and algebraic sets over
groups.

References

AL. L. Auslander, On a problem of Philip Hall. Ann. of Math. (2) 86
(1967), pp. 112–116. MathSciNet

BH. H. Bass, Groups acting on non-archimedian trees. Arboreal Group
Theory (1991), pp. 69–130.

BB. B. Baumslag, Residually free groups. Proc. London Math. Soc. 17
(1967), pp. 402–418. MathSciNet

BG. G. Baumslag, On generalized free products. Math. Z. 7 (1962),
pp. 423–438. MathSciNet

BMR1. G. Baumslag, A. Myasnikov and V. Remeslennikov, Residually
hyperbolic groups and approximation theorems for extensions of
centralizers. Proc. Inst. Appl. Math Russian Acad. Sci. 24 (1996),
pp. 3–37.

BMR2. G. Baumslag, A. Myasnikov, and, V. Remeslennikov, Discriminating
completions of hyperbolic groups, submitted for publication.

BMRO. G. Baumslag, A. Myasnikov and V. Roman'kov, Two theorems about
equationally Noetherian groups. J. Algebra 194 (1997),
pp. 654–664. Abstract | Abstract + References | PDF (176 K) |
MathSciNet

BR. R. Bryant, The verbal topology of a group. J. Algebra 48 (1977),
pp. 340–346. MathSciNet

CK. C. C. Chang and H. J. Keisler. Model Theory, North-Holland, New
York (1973).

CE. L. P. Comerford and C. C. Edmunds, Quadratic equations over free
groups and free products. J. Algebra 68 (1981),
pp. 276–297. MathSciNet

FGMRS. B. Fine, A. M. Gaglione, A. Miasnikov, G. Rosenberger and
D. Spellman, A classification of fully residual free groups of rank
three or less. J. Algebra 200 (1998), pp. 571–605. Abstract | Abstract
+ References | PDF (355 K) | MathSciNet

GK. R. I. Grigorchuk and P. F. Kurchanov, Some questions of group
theory related to geometry. Itogi Nauki i Techniki, Sovremennye
Problemy Matematiki, Fundamental'nye Napravlenia, VINITI,
58Encyclopedia of Mathematical Sciences (1990).

GV. V. Guba, Equivalence of infinite systems of equations in free
groups and semigroups to finite subsystems. Mat. Zametki 40 (1986),
pp. 321–324.

HR. R. Hartshorne. Algebraic Geometry, Springer-Verlag, New York
(1977).

HZ. E. Hrushovski and B. Zilber, Zariski
geometries. J. Amer. Math. Soc. 9 (1996), pp. 1–56. MathSciNet

KMS. A. Karrass, W. Magnus and D. Solitar, Elements of finite order in
groups with a single defining relation. Comm. Pure Appl. Math. 13
(1960), pp. 458–466.

KM. O. Kharlampovich and A. Myasnikov, Irreducible affine varieties
over a free group. I: irreducibility of quadratic equations and
Nullstellensatz. J. Algebra 200 (1998), pp. 472–516. Abstract |
Abstract + References | PDF (445 K) | MathSciNet

KM. O. Kharlampovich and A. Myasnikov, Irreducible affine varieties
over a free group. II: systems in triangular quasi-quadratic form and
description of residually free groups. J. Algebra 200 (1988),
pp. 517–570.

LR1. R. C. Lyndon, The equation a2b2 = c2 in free groups. Michigan
Math. J. 6 (1959), pp. 155–164. MathSciNet

LR2. R. C. Lyndon, Groups with parametric
exponents. Trans. Amer. Math. Soc. 96 (1960), pp. 518–533. MathSciNet

LR3. R. C. Lyndon, Equation in free groups. Trans. Amer. Math. Soc. 96
(1960), pp. 445–457. MathSciNet

MKS. W. Magnus, A. Karrass and D. Solitar. Combinatorial Group Theory:
Presentations of Groups in Terms of Generators and Relations,
Wiley-Interscience, New York/London/Sydney (1966).

MG. G. S. Makanin, Decidability of the universal and positive theories
of a free group. Izv. Akad. Nauk SSSR Ser. Math. 48 (1985),
pp. 735–749.

MR1. A. G. Myasnikov and V. N. Remeslennikov, Exponential groups I:
Foundations of the theory and tensor completion. Siberian Math. J. 35
(1994), pp. 1106–1118.

MR2. A. G. Myasnikov and V. N. Remeslennikov, Exponential groups II:
Extensions of centralizers and tensor completion of
CSA-groups. Internat. J. Algebra Comput. 6 (1996),
pp. 687–711. MathSciNet

PB. B. Plotkin, Varieties of algebras and algebraic
varieties. Categories of algebraic varieties, Hebrew University,
Jerusalem, 1996, preprint.

RA1. A. Razborov, On systems of equations in a free
group. Math. USSR-Izv. 25 (1985), pp. 115–162.

RA2. A. Razborov, On systems of equations in a free group,
Ph.D. thesis, Steklov Math. Institute, Moscow, 1987.

RV1. V. N. Remeslennikov, E-free groups. Siberian Math. J. 30 (1989),
pp. 153–157.

RV2. V. N. Remeslennikov, Matrix representation of finitely generated
metabelian groups. Algebra i Logika 8 (1969), pp. 72–76.

SW. W. R. Scott, Algebraically closed groups. Proc. Amer. Math. Soc. 2
(1951), pp. 118–212.

SM. M. P. Schutzenberger, Sur l'equation a2th = b2 + mc2 + p dans un
group libre. C.R. Acad. Sci. Paris 248 (1959),
pp. 2435–2436. MathSciNet

SJ. J. Stallings, Finiteness properties of matrix
representations. Ann. of Math. 124 (1986), pp. 337–346. MathSciNet

WB. B. A. F. Wehrfritz. Infinite Linear Groups, Springer-Verlag, New
York/Heidelberg/Berlin (1973).

*1 Communicated by Efim, Zelmanov

* The research of this author was partially supported by the NSF,
  Grant DMS-9103098.

dagger The research of this author was partially supported by the NSF,
Grant DMS-9103098.


root 2004-05-05