elimination theory i: unification theorems and limits of...
TRANSCRIPT
![Page 1: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/1.jpg)
Elimination Theory I:Unification Theorems and Limits of groups
Alexei Miasnikov
AlagnaDecember 15, 2008
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 2: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/2.jpg)
Outline
This is a first talk in a series of three.
The goal of the series is to outline the main ideas of theelimination theory in groups.
It will provide some basics for the series of talks on:
Equations with rational constrains by V. Diekert,
Tarski’s Problems by O. Kharlampovich
Equations in right angled Artin groups by M. Casal-Ruis and I.Kazachkov.
and give some examples in support of the series of lectures by V.Remeslennikov and E. Daniyarova on Universal algebraic geometry.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 3: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/3.jpg)
Outline
This is a first talk in a series of three.
The goal of the series is to outline the main ideas of theelimination theory in groups.
It will provide some basics for the series of talks on:
Equations with rational constrains by V. Diekert,
Tarski’s Problems by O. Kharlampovich
Equations in right angled Artin groups by M. Casal-Ruis and I.Kazachkov.
and give some examples in support of the series of lectures by V.Remeslennikov and E. Daniyarova on Universal algebraic geometry.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 4: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/4.jpg)
Outline
This is a first talk in a series of three.
The goal of the series is to outline the main ideas of theelimination theory in groups.
It will provide some basics for the series of talks on:
Equations with rational constrains by V. Diekert,
Tarski’s Problems by O. Kharlampovich
Equations in right angled Artin groups by M. Casal-Ruis and I.Kazachkov.
and give some examples in support of the series of lectures by V.Remeslennikov and E. Daniyarova on Universal algebraic geometry.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 5: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/5.jpg)
Outline
This is a first talk in a series of three.
The goal of the series is to outline the main ideas of theelimination theory in groups.
It will provide some basics for the series of talks on:
Equations with rational constrains by V. Diekert,
Tarski’s Problems by O. Kharlampovich
Equations in right angled Artin groups by M. Casal-Ruis and I.Kazachkov.
and give some examples in support of the series of lectures by V.Remeslennikov and E. Daniyarova on Universal algebraic geometry.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 6: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/6.jpg)
Outline
This is a first talk in a series of three.
The goal of the series is to outline the main ideas of theelimination theory in groups.
It will provide some basics for the series of talks on:
Equations with rational constrains by V. Diekert,
Tarski’s Problems by O. Kharlampovich
Equations in right angled Artin groups by M. Casal-Ruis and I.Kazachkov.
and give some examples in support of the series of lectures by V.Remeslennikov and E. Daniyarova on Universal algebraic geometry.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 7: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/7.jpg)
Elimination theory in groups
The initial stages of the elimination theory in groups are related to:
Gauss elimination in modules,
Hall collection in nilpotent groups (or standard bases inpolycyclic groups),
Nielsen method
all three are now unified in the modern framework of modernGrobner basis theory or Knuth-Bendix method.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 8: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/8.jpg)
Elimination theory in groups
The initial stages of the elimination theory in groups are related to:
Gauss elimination in modules,
Hall collection in nilpotent groups (or standard bases inpolycyclic groups),
Nielsen method
all three are now unified in the modern framework of modernGrobner basis theory or Knuth-Bendix method.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 9: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/9.jpg)
Elimination theory in groups
The initial stages of the elimination theory in groups are related to:
Gauss elimination in modules,
Hall collection in nilpotent groups (or standard bases inpolycyclic groups),
Nielsen method
all three are now unified in the modern framework of modernGrobner basis theory or Knuth-Bendix method.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 10: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/10.jpg)
Elimination theory in groups
The initial stages of the elimination theory in groups are related to:
Gauss elimination in modules,
Hall collection in nilpotent groups (or standard bases inpolycyclic groups),
Nielsen method
all three are now unified in the modern framework of modernGrobner basis theory or Knuth-Bendix method.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 11: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/11.jpg)
Elimination theory in groups
The initial stages of the elimination theory in groups are related to:
Gauss elimination in modules,
Hall collection in nilpotent groups (or standard bases inpolycyclic groups),
Nielsen method
all three are now unified in the modern framework of modernGrobner basis theory or Knuth-Bendix method.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 12: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/12.jpg)
Elimination theory in groups
The modern ideas of ET in groups stem from the theory ofequations in free groups and semigroups.
Makanin-Razborov process plays an important part in this theory.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 13: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/13.jpg)
Elimination theory in groups
In the first lecture I am going to discuss the first level of theelimination theory in groups.Its scope can be described as the group-theoretic counterpart ofthe basic quantifier-free model theory, or universal algebraicgeometry.
In group theory it appears in the form of:
universal theories of groups,
algebraic geometry over groups,
residual theory or discrimination of groups,
”limits” of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 14: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/14.jpg)
Elimination theory in groups
In the first lecture I am going to discuss the first level of theelimination theory in groups.Its scope can be described as the group-theoretic counterpart ofthe basic quantifier-free model theory, or universal algebraicgeometry.
In group theory it appears in the form of:
universal theories of groups,
algebraic geometry over groups,
residual theory or discrimination of groups,
”limits” of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 15: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/15.jpg)
Elimination theory in groups
In the first lecture I am going to discuss the first level of theelimination theory in groups.Its scope can be described as the group-theoretic counterpart ofthe basic quantifier-free model theory, or universal algebraicgeometry.
In group theory it appears in the form of:
universal theories of groups,
algebraic geometry over groups,
residual theory or discrimination of groups,
”limits” of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 16: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/16.jpg)
Elimination theory in groups
In the first lecture I am going to discuss the first level of theelimination theory in groups.Its scope can be described as the group-theoretic counterpart ofthe basic quantifier-free model theory, or universal algebraicgeometry.
In group theory it appears in the form of:
universal theories of groups,
algebraic geometry over groups,
residual theory or discrimination of groups,
”limits” of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 17: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/17.jpg)
Elimination theory in groups
In the first lecture I am going to discuss the first level of theelimination theory in groups.Its scope can be described as the group-theoretic counterpart ofthe basic quantifier-free model theory, or universal algebraicgeometry.
In group theory it appears in the form of:
universal theories of groups,
algebraic geometry over groups,
residual theory or discrimination of groups,
”limits” of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 18: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/18.jpg)
Elimination theory in groups
In the first lecture I am going to discuss the first level of theelimination theory in groups.Its scope can be described as the group-theoretic counterpart ofthe basic quantifier-free model theory, or universal algebraicgeometry.
In group theory it appears in the form of:
universal theories of groups,
algebraic geometry over groups,
residual theory or discrimination of groups,
”limits” of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 19: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/19.jpg)
Algebraic geometry over groups
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 20: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/20.jpg)
Algebraic sets
G - a group generated by A,F (X ) - free group on X = {x1, x2, . . . xn}.
A system of equations S(X ,A) = 1 in variables X andcoefficients from G (viewed as a subset of G ∗ F (X )).
A solution of S(X ,A) = 1 in G is a tuple (g1, . . . , gn) ∈ Gn suchthat S(g1, . . . , gn) = 1 in G .
VG (S), the set of all solutions of S = 1 in G , is called analgebraic set defined by S .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 21: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/21.jpg)
Algebraic sets
G - a group generated by A,F (X ) - free group on X = {x1, x2, . . . xn}.
A system of equations S(X ,A) = 1 in variables X andcoefficients from G (viewed as a subset of G ∗ F (X )).
A solution of S(X ,A) = 1 in G is a tuple (g1, . . . , gn) ∈ Gn suchthat S(g1, . . . , gn) = 1 in G .
VG (S), the set of all solutions of S = 1 in G , is called analgebraic set defined by S .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 22: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/22.jpg)
Algebraic sets
G - a group generated by A,F (X ) - free group on X = {x1, x2, . . . xn}.
A system of equations S(X ,A) = 1 in variables X andcoefficients from G (viewed as a subset of G ∗ F (X )).
A solution of S(X ,A) = 1 in G is a tuple (g1, . . . , gn) ∈ Gn suchthat S(g1, . . . , gn) = 1 in G .
VG (S), the set of all solutions of S = 1 in G , is called analgebraic set defined by S .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 23: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/23.jpg)
Algebraic sets
G - a group generated by A,F (X ) - free group on X = {x1, x2, . . . xn}.
A system of equations S(X ,A) = 1 in variables X andcoefficients from G (viewed as a subset of G ∗ F (X )).
A solution of S(X ,A) = 1 in G is a tuple (g1, . . . , gn) ∈ Gn suchthat S(g1, . . . , gn) = 1 in G .
VG (S), the set of all solutions of S = 1 in G , is called analgebraic set defined by S .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 24: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/24.jpg)
Radicals and coordinate groups
The maximal subset R(S) ⊆ G ∗ F (X ) with
VG (R(S)) = VG (S)
is the radical of S = 1 in G .
The quotient group
GR(S) = G [X ]/R(S)
is the coordinate group of S = 1.
Solutions of S(X ) = 1 in G ⇐⇒ G -homomorphisms GR(S) → G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 25: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/25.jpg)
Radicals and coordinate groups
The maximal subset R(S) ⊆ G ∗ F (X ) with
VG (R(S)) = VG (S)
is the radical of S = 1 in G .
The quotient group
GR(S) = G [X ]/R(S)
is the coordinate group of S = 1.
Solutions of S(X ) = 1 in G ⇐⇒ G -homomorphisms GR(S) → G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 26: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/26.jpg)
Radicals and coordinate groups
The maximal subset R(S) ⊆ G ∗ F (X ) with
VG (R(S)) = VG (S)
is the radical of S = 1 in G .
The quotient group
GR(S) = G [X ]/R(S)
is the coordinate group of S = 1.
Solutions of S(X ) = 1 in G ⇐⇒ G -homomorphisms GR(S) → G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 27: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/27.jpg)
Zariski topology
The following conditions are equivalent:
G is equationally Noetherian, i.e., every system S(X ) = 1over G is equivalent to some finite part of itself.
the Zariski topology (formed by algebraic sets as a sub-basisof closed sets) over Gn is Noetherian for every n, i.e., everyproper descending chain of closed sets in Gn is finite.
Every chain of proper epimorphisms of coordinate groups overG is finite.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 28: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/28.jpg)
Zariski topology
The following conditions are equivalent:
G is equationally Noetherian, i.e., every system S(X ) = 1over G is equivalent to some finite part of itself.
the Zariski topology (formed by algebraic sets as a sub-basisof closed sets) over Gn is Noetherian for every n, i.e., everyproper descending chain of closed sets in Gn is finite.
Every chain of proper epimorphisms of coordinate groups overG is finite.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 29: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/29.jpg)
Zariski topology
The following conditions are equivalent:
G is equationally Noetherian, i.e., every system S(X ) = 1over G is equivalent to some finite part of itself.
the Zariski topology (formed by algebraic sets as a sub-basisof closed sets) over Gn is Noetherian for every n, i.e., everyproper descending chain of closed sets in Gn is finite.
Every chain of proper epimorphisms of coordinate groups overG is finite.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 30: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/30.jpg)
Irreducible components
If the Zariski topology is Noetherian then every algebraic set can beuniquely presented as a finite union of its irreducible components:
V = V1 ∪ . . .Vk .
Recall, that a closed subset V is irreducible if it is not a union oftwo proper closed (in the induced topology) subsets.
The following is an immediate corollary of the decomposition ofalgebraic sets into their irreducible components.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 31: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/31.jpg)
Irreducible components
If the Zariski topology is Noetherian then every algebraic set can beuniquely presented as a finite union of its irreducible components:
V = V1 ∪ . . .Vk .
Recall, that a closed subset V is irreducible if it is not a union oftwo proper closed (in the induced topology) subsets.
The following is an immediate corollary of the decomposition ofalgebraic sets into their irreducible components.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 32: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/32.jpg)
Irreducible components
If the Zariski topology is Noetherian then every algebraic set can beuniquely presented as a finite union of its irreducible components:
V = V1 ∪ . . .Vk .
Recall, that a closed subset V is irreducible if it is not a union oftwo proper closed (in the induced topology) subsets.
The following is an immediate corollary of the decomposition ofalgebraic sets into their irreducible components.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 33: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/33.jpg)
Irreducible components
Embedding theorem
Let G be an equationally Noetherian. Then for every system ofequations S(X ) = 1 over G there are finitely many irreduciblesystems S1(X ) = 1, . . . ,Sm(X ) = 1 (that determine the irreduciblecomponents of the algebraic set V (S)) such that
GR(S) ↪→ GR(S1) × . . .× GR(Sm)
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 34: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/34.jpg)
Limit groups
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 35: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/35.jpg)
Unification theorems for limits of free groups
Unification Theorems
Let G be a finitely generated group and F ≤ G . Then thefollowing conditions are equivalent:
1) G is the coordinate group of an irreducible variety over F .
2) G is discriminated by F , i.e. for any finite subset M ⊆ Gthere exists an F -homomorphism G → F injective on M.
3) G is universally equivalent to F ;
4) G is a limit of free groups in Gromov-Hausdorff metric.
5) G is a Sela’s limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 36: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/36.jpg)
Unification theorems for limits of free groups
Unification Theorems
Let G be a finitely generated group and F ≤ G . Then thefollowing conditions are equivalent:
1) G is the coordinate group of an irreducible variety over F .
2) G is discriminated by F , i.e. for any finite subset M ⊆ Gthere exists an F -homomorphism G → F injective on M.
3) G is universally equivalent to F ;
4) G is a limit of free groups in Gromov-Hausdorff metric.
5) G is a Sela’s limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 37: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/37.jpg)
Unification theorems for limits of free groups
Unification Theorems
Let G be a finitely generated group and F ≤ G . Then thefollowing conditions are equivalent:
1) G is the coordinate group of an irreducible variety over F .
2) G is discriminated by F , i.e. for any finite subset M ⊆ Gthere exists an F -homomorphism G → F injective on M.
3) G is universally equivalent to F ;
4) G is a limit of free groups in Gromov-Hausdorff metric.
5) G is a Sela’s limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 38: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/38.jpg)
Unification theorems for limits of free groups
Unification Theorems
Let G be a finitely generated group and F ≤ G . Then thefollowing conditions are equivalent:
1) G is the coordinate group of an irreducible variety over F .
2) G is discriminated by F , i.e. for any finite subset M ⊆ Gthere exists an F -homomorphism G → F injective on M.
3) G is universally equivalent to F ;
4) G is a limit of free groups in Gromov-Hausdorff metric.
5) G is a Sela’s limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 39: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/39.jpg)
Unification theorems for limits of free groups
Unification Theorems
Let G be a finitely generated group and F ≤ G . Then thefollowing conditions are equivalent:
1) G is the coordinate group of an irreducible variety over F .
2) G is discriminated by F , i.e. for any finite subset M ⊆ Gthere exists an F -homomorphism G → F injective on M.
3) G is universally equivalent to F ;
4) G is a limit of free groups in Gromov-Hausdorff metric.
5) G is a Sela’s limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 40: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/40.jpg)
Unification theorems for limits of free groups
Unification Theorems
Let G be a finitely generated group and F ≤ G . Then thefollowing conditions are equivalent:
1) G is the coordinate group of an irreducible variety over F .
2) G is discriminated by F , i.e. for any finite subset M ⊆ Gthere exists an F -homomorphism G → F injective on M.
3) G is universally equivalent to F ;
4) G is a limit of free groups in Gromov-Hausdorff metric.
5) G is a Sela’s limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 41: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/41.jpg)
Unification theorems for limits of free groups
This result shows that the class of fully residually free groups isquite special - it appeared (and was independently studied) inseveral different areas of group theory.
It turned out that similar results hold for many other groups!
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 42: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/42.jpg)
Unification theorems for limits of free groups
This result shows that the class of fully residually free groups isquite special - it appeared (and was independently studied) inseveral different areas of group theory.
It turned out that similar results hold for many other groups!
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 43: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/43.jpg)
General Unification Theorems
General Unification Theorem for groups: No coefficients
Let G be an equationally Noetherian group. Then for a finitelygenerated group H the following conditions are equivalent:
1 Th∀(G ) ⊆ Th∀(H), i.e., H ∈ Ucl(G );
2 Th∃(G ) ⊇ Th∃(H);
3 H embeds into an ultrapower∏
G/D of G ;
4 H is discriminated by G ;
5 H is a limit group over G ;
6 H is defined by a complete atomic type in the theory Th∀(G )in the first-order group language;
7 H is the coordinate algebra of an irreducible non-emptyalgebraic set over G defined by a system of coefficient-freeequations.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 44: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/44.jpg)
General Unification Theorems
Equational Noetherian Property is the key to the unificationtheorem.
An analog of the Hilbert Basis Theorem.
There are many Equationally Noetherian groups.
For example, linear groups are equationally Noetherian.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 45: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/45.jpg)
General Unification Theorems
Equational Noetherian Property is the key to the unificationtheorem.
An analog of the Hilbert Basis Theorem.
There are many Equationally Noetherian groups.
For example, linear groups are equationally Noetherian.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 46: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/46.jpg)
General Unification Theorems
Equational Noetherian Property is the key to the unificationtheorem.
An analog of the Hilbert Basis Theorem.
There are many Equationally Noetherian groups.
For example, linear groups are equationally Noetherian.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 47: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/47.jpg)
General Unification Theorems
Equational Noetherian Property is the key to the unificationtheorem.
An analog of the Hilbert Basis Theorem.
There are many Equationally Noetherian groups.
For example, linear groups are equationally Noetherian.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 48: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/48.jpg)
Lyndon’s completions
Lyndon: introduced free exponential groups FZ[t] overpolynomials Z[t] (to describe solution sets of one-variableequations).He showed also: FZ[t] is discriminated by F .
M. and Remeslennikov
FZ [t] can be obtained as union of an infinite chain of extensions ofcentralizers:
F = G0 < G1 < . . . < . . . ∪ Gi = FZ [t]
whereGi+1 = 〈Gi , ti | [CGi
(ui ), ti ] = 1〉.
(extension of the centralizer CGi(ui )).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 49: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/49.jpg)
Lyndon’s completions
Lyndon: introduced free exponential groups FZ[t] overpolynomials Z[t] (to describe solution sets of one-variableequations).He showed also: FZ[t] is discriminated by F .
M. and Remeslennikov
FZ [t] can be obtained as union of an infinite chain of extensions ofcentralizers:
F = G0 < G1 < . . . < . . . ∪ Gi = FZ [t]
whereGi+1 = 〈Gi , ti | [CGi
(ui ), ti ] = 1〉.
(extension of the centralizer CGi(ui )).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 50: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/50.jpg)
Structure of subgroups of F Z[t]
From Bass-Serre theory
Finitely generated subgroups of FZ [t] are fundamental groups ofvery particular graphs of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 51: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/51.jpg)
The Second Embedding Theorem
The Second Embedding Theorem [Kharlampovich and M. 96]:
Let S = 1 be an irreducible system S = 1 over F . Then:
There is an embedding of FR(S) into a group Gi which isobtained from F by finitely many extensions of centralizers.Such an embedding can be found effectively.
There is an embedding of FR(S) into Lyndon’s group FZ[t].Such an embedding can be found effectively.
This allows one to study the coordinate groups of irreduciblesystems of equations (fully residually free groups) via theirsplittings into graphs of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 52: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/52.jpg)
The Second Embedding Theorem
The Second Embedding Theorem [Kharlampovich and M. 96]:
Let S = 1 be an irreducible system S = 1 over F . Then:
There is an embedding of FR(S) into a group Gi which isobtained from F by finitely many extensions of centralizers.Such an embedding can be found effectively.
There is an embedding of FR(S) into Lyndon’s group FZ[t].Such an embedding can be found effectively.
This allows one to study the coordinate groups of irreduciblesystems of equations (fully residually free groups) via theirsplittings into graphs of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 53: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/53.jpg)
The Second Embedding Theorem
The Second Embedding Theorem [Kharlampovich and M. 96]:
Let S = 1 be an irreducible system S = 1 over F . Then:
There is an embedding of FR(S) into a group Gi which isobtained from F by finitely many extensions of centralizers.Such an embedding can be found effectively.
There is an embedding of FR(S) into Lyndon’s group FZ[t].Such an embedding can be found effectively.
This allows one to study the coordinate groups of irreduciblesystems of equations (fully residually free groups) via theirsplittings into graphs of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 54: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/54.jpg)
The Second Embedding Theorem
The Second Embedding Theorem [Kharlampovich and M. 96]:
Let S = 1 be an irreducible system S = 1 over F . Then:
There is an embedding of FR(S) into a group Gi which isobtained from F by finitely many extensions of centralizers.Such an embedding can be found effectively.
There is an embedding of FR(S) into Lyndon’s group FZ[t].Such an embedding can be found effectively.
This allows one to study the coordinate groups of irreduciblesystems of equations (fully residually free groups) via theirsplittings into graphs of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 55: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/55.jpg)
The Second Embedding Theorem
The Second Embedding Theorem [Kharlampovich and M. 96]:
Let S = 1 be an irreducible system S = 1 over F . Then:
There is an embedding of FR(S) into a group Gi which isobtained from F by finitely many extensions of centralizers.Such an embedding can be found effectively.
There is an embedding of FR(S) into Lyndon’s group FZ[t].Such an embedding can be found effectively.
This allows one to study the coordinate groups of irreduciblesystems of equations (fully residually free groups) via theirsplittings into graphs of groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 56: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/56.jpg)
Immediate corollaries
Corollary
Every finitely generated fully residually free group is finitelypresented. There is an algorithm to find a finite presentation.
For every non-abelian finitely generated fully residually freegroup one can effectively find its non-trivial splitting (as a freeproduct, or an amalgamated product, or an HNN extensionover a cyclic subgroup)
Every finitely generated residually free group G can beeffectively presented as a subdirect product of finitely manyfully residually free groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 57: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/57.jpg)
Immediate corollaries
Corollary
Every finitely generated fully residually free group is finitelypresented. There is an algorithm to find a finite presentation.
For every non-abelian finitely generated fully residually freegroup one can effectively find its non-trivial splitting (as a freeproduct, or an amalgamated product, or an HNN extensionover a cyclic subgroup)
Every finitely generated residually free group G can beeffectively presented as a subdirect product of finitely manyfully residually free groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 58: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/58.jpg)
Immediate corollaries
Corollary
Every finitely generated fully residually free group is finitelypresented. There is an algorithm to find a finite presentation.
For every non-abelian finitely generated fully residually freegroup one can effectively find its non-trivial splitting (as a freeproduct, or an amalgamated product, or an HNN extensionover a cyclic subgroup)
Every finitely generated residually free group G can beeffectively presented as a subdirect product of finitely manyfully residually free groups.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 59: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/59.jpg)
Limits of hyperbolic groups
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 60: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/60.jpg)
Unification Theorem
Theorem [Sela]
Torsion-free hyperbolic groups are equationally Noetherian.
Unification Theorem
Let H be a torsion-free hyperbolic group and G a finitely generatedgroup with H ≤ G . Then the following conditions are equivalent:
1) G is discriminated by H;
2) G is universally equivalent to H;
3) G is the coordinate group of an irreducible variety over H.
4) G is an H-limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 61: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/61.jpg)
Unification Theorem
Theorem [Sela]
Torsion-free hyperbolic groups are equationally Noetherian.
Unification Theorem
Let H be a torsion-free hyperbolic group and G a finitely generatedgroup with H ≤ G . Then the following conditions are equivalent:
1) G is discriminated by H;
2) G is universally equivalent to H;
3) G is the coordinate group of an irreducible variety over H.
4) G is an H-limit group.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 62: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/62.jpg)
Lyndon’s Completions
Theorem [BMR]
Let H be a torsion-free hyperbolic group. Then
HZ[t] is a union of extension of centralizers.
HZ[t] is fully residually (discriminated by) H.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 63: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/63.jpg)
Lyndon’s Completions
Theorem [BMR]
Let H be a torsion-free hyperbolic group. Then
HZ[t] is a union of extension of centralizers.
HZ[t] is fully residually (discriminated by) H.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 64: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/64.jpg)
Lyndon’s Completions
Theorem [BMR]
Let H be a torsion-free hyperbolic group. Then
HZ[t] is a union of extension of centralizers.
HZ[t] is fully residually (discriminated by) H.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 65: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/65.jpg)
Embeddings
The Embedding Theorem [Kharlampovich, Myasnikov]
Let H be a torsion-free hyperbolic group. Then:
Every finitely generated fully residually H group embeds intointo a group obtained from H by finitely many extensions ofcentralizers.
Every finitely generated fully residually H group embeds intoHZ [t].
All the standard corollaries follow.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 66: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/66.jpg)
Embeddings
The Embedding Theorem [Kharlampovich, Myasnikov]
Let H be a torsion-free hyperbolic group. Then:
Every finitely generated fully residually H group embeds intointo a group obtained from H by finitely many extensions ofcentralizers.
Every finitely generated fully residually H group embeds intoHZ [t].
All the standard corollaries follow.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 67: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/67.jpg)
Limits of solvable groups
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 68: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/68.jpg)
Rigid groups
Definition
A series of normal subgroups of G
G = G1 > G2 > . . . > Gn > Gn+1 = 1 (1)
is called principal if the factors Gi/Gi+1 are abelian groups whichdo not have torsion as Z[G/Gi ]-modules, i = 1, . . . , n.
Definition
Groups with principal series are called rigid.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 69: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/69.jpg)
Rigid groups
Definition
A series of normal subgroups of G
G = G1 > G2 > . . . > Gn > Gn+1 = 1 (1)
is called principal if the factors Gi/Gi+1 are abelian groups whichdo not have torsion as Z[G/Gi ]-modules, i = 1, . . . , n.
Definition
Groups with principal series are called rigid.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 70: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/70.jpg)
Uniqueness of the principal series
Theorem
Every rigid group has only one principal series.
The length of the principal series is equal exactly to thesolvability class of G .
For a rigid group G with a principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1
the group G/Gi also has a principal series
G/Gi > G2/Gi > . . . > Gi−1/Gi > Gi/Gi = 1.
This allows one to use induction on the length of the principalseries.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 71: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/71.jpg)
Uniqueness of the principal series
Theorem
Every rigid group has only one principal series.
The length of the principal series is equal exactly to thesolvability class of G .
For a rigid group G with a principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1
the group G/Gi also has a principal series
G/Gi > G2/Gi > . . . > Gi−1/Gi > Gi/Gi = 1.
This allows one to use induction on the length of the principalseries.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 72: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/72.jpg)
Uniqueness of the principal series
Theorem
Every rigid group has only one principal series.
The length of the principal series is equal exactly to thesolvability class of G .
For a rigid group G with a principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1
the group G/Gi also has a principal series
G/Gi > G2/Gi > . . . > Gi−1/Gi > Gi/Gi = 1.
This allows one to use induction on the length of the principalseries.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 73: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/73.jpg)
Examples
Proposition
The following hold:
1) Rigid groups are torsion-free solvable groups.
2) Torsion-free abelian groups are rigid.
3) Subgroups of rigid groups are rigid.
4) Direct products of two groups, one of which is non-abelian, isnot rigid.
5) Non-abelian groups with non-trivial center are not rigid.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 74: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/74.jpg)
Examples
Proposition
The following hold:
1) Free solvable groups are rigid.
2) If A is torsion-free abelian and B is rigid then the wreathproduct A o B is rigid.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 75: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/75.jpg)
Iterated wreath products and rigid groups
Let Am be a free abelian group of rank m.Put W (m, 0) = Am and define W (m, n) by induction
W (m, n) = Am oW (m, n − 1).
Definition
W (m, n) is an iterated wreath product of n free abelian groups Am.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 76: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/76.jpg)
Characterization theorem
The following result gives a nice characterization of finitelygenerated rigid groups.
Theorem
Let G be an n-rigid m-generated group. Then G embeds intoW (m, n). Conversely, the group W (m, n) is rigid, so every finitelygenerated subgroup of W (m, n) is rigid.
Put W = ∪∞n=1W (n, n). Then
f.g. rigid groups = f.g. subgroups of W.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 77: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/77.jpg)
Characterization theorem
The following result gives a nice characterization of finitelygenerated rigid groups.
Theorem
Let G be an n-rigid m-generated group. Then G embeds intoW (m, n). Conversely, the group W (m, n) is rigid, so every finitelygenerated subgroup of W (m, n) is rigid.
Put W = ∪∞n=1W (n, n). Then
f.g. rigid groups = f.g. subgroups of W.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 78: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/78.jpg)
Noetherian property
Theorem, [Gupta,Romanovskii, 2007]
Free solvable groups are equationally Noetherian;
Groups W (m, n) are equationally Noetherian.
Corollary
Finitely generated rigid groups are equationally Noetherian.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 79: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/79.jpg)
Noetherian property
Theorem, [Gupta,Romanovskii, 2007]
Free solvable groups are equationally Noetherian;
Groups W (m, n) are equationally Noetherian.
Corollary
Finitely generated rigid groups are equationally Noetherian.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 80: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/80.jpg)
Coordinate groups of irreducible sets
Theorem
Let A be a rigid group. Then the coordinate groups of irreduciblealgebraic sets over A are rigid.
Corollary
Finitely generated groups discriminated by a rigid group arerigid;
Limits of a finitely generated rigid group are rigid.
Corollary
Limits of a finitely generated free solvable group of class n are rigidgroups of length n.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 81: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/81.jpg)
Coordinate groups of irreducible sets
Theorem
Let A be a rigid group. Then the coordinate groups of irreduciblealgebraic sets over A are rigid.
Corollary
Finitely generated groups discriminated by a rigid group arerigid;
Limits of a finitely generated rigid group are rigid.
Corollary
Limits of a finitely generated free solvable group of class n are rigidgroups of length n.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 82: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/82.jpg)
Coordinate groups of irreducible sets
Theorem
Let A be a rigid group. Then the coordinate groups of irreduciblealgebraic sets over A are rigid.
Corollary
Finitely generated groups discriminated by a rigid group arerigid;
Limits of a finitely generated rigid group are rigid.
Corollary
Limits of a finitely generated free solvable group of class n are rigidgroups of length n.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 83: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/83.jpg)
Principal dimension
Let G be a rigid group with the principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1.
Then Gi/Gi+1 is a torsion-free Z[G/Gi ]-module.
Since the group G/Gi is solvable and torsion-free the group ringZ[G/Gi ] is an Ore domain (P.H.Kropholler, P.A.Linnell andJ.A.Moody),
Hence Z[G/Gi ] embeds into its ring of fractions Ki (G ) which is adivision ring.
Since the Gi/Gi+1 has no Z[G/Gi ]-torsion it embeds into its tensorcompletion Vi (G ) = G/Gi
⊗Z[G/Gi ]
Ki (G ), which is a vector spaceover Ki (G ).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 84: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/84.jpg)
Principal dimension
Let G be a rigid group with the principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1.
Then Gi/Gi+1 is a torsion-free Z[G/Gi ]-module.
Since the group G/Gi is solvable and torsion-free the group ringZ[G/Gi ] is an Ore domain (P.H.Kropholler, P.A.Linnell andJ.A.Moody),
Hence Z[G/Gi ] embeds into its ring of fractions Ki (G ) which is adivision ring.
Since the Gi/Gi+1 has no Z[G/Gi ]-torsion it embeds into its tensorcompletion Vi (G ) = G/Gi
⊗Z[G/Gi ]
Ki (G ), which is a vector spaceover Ki (G ).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 85: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/85.jpg)
Principal dimension
Let G be a rigid group with the principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1.
Then Gi/Gi+1 is a torsion-free Z[G/Gi ]-module.
Since the group G/Gi is solvable and torsion-free the group ringZ[G/Gi ] is an Ore domain (P.H.Kropholler, P.A.Linnell andJ.A.Moody),
Hence Z[G/Gi ] embeds into its ring of fractions Ki (G ) which is adivision ring.
Since the Gi/Gi+1 has no Z[G/Gi ]-torsion it embeds into its tensorcompletion Vi (G ) = G/Gi
⊗Z[G/Gi ]
Ki (G ), which is a vector spaceover Ki (G ).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 86: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/86.jpg)
Principal dimension
Let G be a rigid group with the principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1.
Then Gi/Gi+1 is a torsion-free Z[G/Gi ]-module.
Since the group G/Gi is solvable and torsion-free the group ringZ[G/Gi ] is an Ore domain (P.H.Kropholler, P.A.Linnell andJ.A.Moody),
Hence Z[G/Gi ] embeds into its ring of fractions Ki (G ) which is adivision ring.
Since the Gi/Gi+1 has no Z[G/Gi ]-torsion it embeds into its tensorcompletion Vi (G ) = G/Gi
⊗Z[G/Gi ]
Ki (G ), which is a vector spaceover Ki (G ).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 87: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/87.jpg)
Principal dimension
Let G be a rigid group with the principal series
G = G1 > G2 > . . . > Gn > Gn+1 = 1.
Then Gi/Gi+1 is a torsion-free Z[G/Gi ]-module.
Since the group G/Gi is solvable and torsion-free the group ringZ[G/Gi ] is an Ore domain (P.H.Kropholler, P.A.Linnell andJ.A.Moody),
Hence Z[G/Gi ] embeds into its ring of fractions Ki (G ) which is adivision ring.
Since the Gi/Gi+1 has no Z[G/Gi ]-torsion it embeds into its tensorcompletion Vi (G ) = G/Gi
⊗Z[G/Gi ]
Ki (G ), which is a vector spaceover Ki (G ).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 88: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/88.jpg)
Principal dimension
Putri (G ) = dimKi (G), r(G ) = (r1(G ), . . . , rn(G )).
The tuple r(G ) is the principal dimension of G .
Lemma
Let G be an n-rigid group. If G is generated by m elements thenr1(G ) ≤ m and ri (G ) ≤ m − 1 (2 ≤ i ≤ n).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 89: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/89.jpg)
Principal dimension
Putri (G ) = dimKi (G), r(G ) = (r1(G ), . . . , rn(G )).
The tuple r(G ) is the principal dimension of G .
Lemma
Let G be an n-rigid group. If G is generated by m elements thenr1(G ) ≤ m and ri (G ) ≤ m − 1 (2 ≤ i ≤ n).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 90: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/90.jpg)
Epimorphisms of rigid groups
Lemma
Let G and H be n-rigid groups. If ϕ : G → H is a properepimorphism then r(G ) > r(H) in the left lexicographical order.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 91: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/91.jpg)
Finiteness of Zariski dimension
Theorem
Let A be a finitely generated n-rigid group. Then
1) Every strictly decreasing chain of irreducible closed sets in Am
has length at most (m + 1)n.
2) The Zariski dimension of any irreducible algebraic set from Am
does not exceed (m + 1)n. In particular, the Zariski dimensionof Am is finite for every m.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 92: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/92.jpg)
Finiteness of Zariski dimension
Theorem
Let A be a finitely generated n-rigid group. Then
1) Every strictly decreasing chain of irreducible closed sets in Am
has length at most (m + 1)n.
2) The Zariski dimension of any irreducible algebraic set from Am
does not exceed (m + 1)n. In particular, the Zariski dimensionof Am is finite for every m.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 93: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/93.jpg)
Limits of nilpotent groups
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 94: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/94.jpg)
Limits of nilpotent groups
Theorem
Let N be a finitely generated torsion-free nilpotent group. Then:
1) Every finitely generated N-limit group is a subgroup of N Z̃,where Z̃ = ΠZ/D is an ultrapower of the ring Z over a
non-principal ultrafilter D, and N Z̃ is the Hall completion of Nover Z̃.
2) Every finitely generated subgroup of N Z̃ is an N-limit group.
Main Open Problem: Can one replace Z̃ by a ”better ring”, sayby Z[t], or something like this?
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 95: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/95.jpg)
Limits of nilpotent groups
Theorem
Let N be a finitely generated torsion-free nilpotent group. Then:
1) Every finitely generated N-limit group is a subgroup of N Z̃,where Z̃ = ΠZ/D is an ultrapower of the ring Z over a
non-principal ultrafilter D, and N Z̃ is the Hall completion of Nover Z̃.
2) Every finitely generated subgroup of N Z̃ is an N-limit group.
Main Open Problem: Can one replace Z̃ by a ”better ring”, sayby Z[t], or something like this?
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 96: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/96.jpg)
Limits of nilpotent groups
Theorem
Let N be a finitely generated torsion-free nilpotent group. Then:
1) Every finitely generated N-limit group is a subgroup of N Z̃,where Z̃ = ΠZ/D is an ultrapower of the ring Z over a
non-principal ultrafilter D, and N Z̃ is the Hall completion of Nover Z̃.
2) Every finitely generated subgroup of N Z̃ is an N-limit group.
Main Open Problem: Can one replace Z̃ by a ”better ring”, sayby Z[t], or something like this?
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 97: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/97.jpg)
Prime ideals from a different view-point
Note:
If k is algebraically closed then an ideal p of k[X ] is prime ifand only if the k-algebra k[X ]/p is k-discriminated by k(hence k and k[X ]/p mutually discriminate each other) .
Equivalently, p is prime iff k[X ] and k[X ]/p mutuallydiscriminate each other (as k-algebras).
Equivalently, p is prime iff k[X ] and k[X ]/p are universallyequivalent (as k-algebras).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 98: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/98.jpg)
Prime ideals from a different view-point
Note:
If k is algebraically closed then an ideal p of k[X ] is prime ifand only if the k-algebra k[X ]/p is k-discriminated by k(hence k and k[X ]/p mutually discriminate each other) .
Equivalently, p is prime iff k[X ] and k[X ]/p mutuallydiscriminate each other (as k-algebras).
Equivalently, p is prime iff k[X ] and k[X ]/p are universallyequivalent (as k-algebras).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 99: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/99.jpg)
Prime ideals from a different view-point
Note:
If k is algebraically closed then an ideal p of k[X ] is prime ifand only if the k-algebra k[X ]/p is k-discriminated by k(hence k and k[X ]/p mutually discriminate each other) .
Equivalently, p is prime iff k[X ] and k[X ]/p mutuallydiscriminate each other (as k-algebras).
Equivalently, p is prime iff k[X ] and k[X ]/p are universallyequivalent (as k-algebras).
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 100: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/100.jpg)
Prime ideals in groups
Definition
We say that a normal subgroup N of a group H is a prime ideal inH if H and H/N are universally equivalent.
Example: no non-trivial prime ideals in Z+.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 101: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/101.jpg)
Prime ideals in groups
Definition
We say that a normal subgroup N of a group H is a prime ideal inH if H and H/N are universally equivalent.
Example: no non-trivial prime ideals in Z+.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 102: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/102.jpg)
Krull dimension in groups
Krull dimension Kdim(H) of a G -group H is the supremum of allnatural numbers k such that exists a chain
p0 ⊂ p1 ⊂ . . . ⊂ pk
of distinct prime ideals in H.
Example: Kdim(Z) = 1.
Proposition
If G is a free abelian group of rank n then Kdim(G ) = n.
If G is a torsion-free polycyclic group then Kdim(G ) ≤ h(G ),where h(G ) is the Hirsch number of G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 103: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/103.jpg)
Krull dimension in groups
Krull dimension Kdim(H) of a G -group H is the supremum of allnatural numbers k such that exists a chain
p0 ⊂ p1 ⊂ . . . ⊂ pk
of distinct prime ideals in H.
Example: Kdim(Z) = 1.
Proposition
If G is a free abelian group of rank n then Kdim(G ) = n.
If G is a torsion-free polycyclic group then Kdim(G ) ≤ h(G ),where h(G ) is the Hirsch number of G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 104: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/104.jpg)
Krull dimension in groups
Krull dimension Kdim(H) of a G -group H is the supremum of allnatural numbers k such that exists a chain
p0 ⊂ p1 ⊂ . . . ⊂ pk
of distinct prime ideals in H.
Example: Kdim(Z) = 1.
Proposition
If G is a free abelian group of rank n then Kdim(G ) = n.
If G is a torsion-free polycyclic group then Kdim(G ) ≤ h(G ),where h(G ) is the Hirsch number of G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 105: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/105.jpg)
Krull dimension in groups
Krull dimension Kdim(H) of a G -group H is the supremum of allnatural numbers k such that exists a chain
p0 ⊂ p1 ⊂ . . . ⊂ pk
of distinct prime ideals in H.
Example: Kdim(Z) = 1.
Proposition
If G is a free abelian group of rank n then Kdim(G ) = n.
If G is a torsion-free polycyclic group then Kdim(G ) ≤ h(G ),where h(G ) is the Hirsch number of G .
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 106: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/106.jpg)
Krull versus Zariski
Proposition
Let G be an equationally Noetherian group. If Y is an algebraicsubset of Gn then Zariski dimension of Y is equal to Krulldimension KdimG (H) of its coordinate group Γ(Y ).
Theorem
Let G be a rigid group (in particular, a limit of a free solvablegroup) then Krull dimension of G is finite.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 107: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/107.jpg)
Krull versus Zariski
Proposition
Let G be an equationally Noetherian group. If Y is an algebraicsubset of Gn then Zariski dimension of Y is equal to Krulldimension KdimG (H) of its coordinate group Γ(Y ).
Theorem
Let G be a rigid group (in particular, a limit of a free solvablegroup) then Krull dimension of G is finite.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 108: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/108.jpg)
Krull dimension of free groups
In the case of free or hyperbolic groups much less is known.
If F is a free group then Zariski dimension of F 1 is equal to 2(Appel, Lorents).
Conjecture
Zariski dimension of F n is finite for every n ∈ N.
Lars Louder announced that this conjecture holds.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 109: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/109.jpg)
Krull dimension of free groups
In the case of free or hyperbolic groups much less is known.
If F is a free group then Zariski dimension of F 1 is equal to 2(Appel, Lorents).
Conjecture
Zariski dimension of F n is finite for every n ∈ N.
Lars Louder announced that this conjecture holds.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 110: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/110.jpg)
Krull dimension of free groups
In the case of free or hyperbolic groups much less is known.
If F is a free group then Zariski dimension of F 1 is equal to 2(Appel, Lorents).
Conjecture
Zariski dimension of F n is finite for every n ∈ N.
Lars Louder announced that this conjecture holds.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups
![Page 111: Elimination Theory I: Unification Theorems and Limits of groupsnajd2/alagna/talks/slides_Alagna_1.pdf · 2008-12-29 · Outline This is a first talk in a series of three. The goal](https://reader034.vdocument.in/reader034/viewer/2022042114/5e902e46a743f20a134e3346/html5/thumbnails/111.jpg)
Krull dimension of free groups
In the case of free or hyperbolic groups much less is known.
If F is a free group then Zariski dimension of F 1 is equal to 2(Appel, Lorents).
Conjecture
Zariski dimension of F n is finite for every n ∈ N.
Lars Louder announced that this conjecture holds.
Alexei Miasnikov Elimination Theory I: Unification Theorems and Limits of groups