tarski problems for algebras - city university of new...
TRANSCRIPT
![Page 1: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/1.jpg)
Tarski problems for algebras
Olga Kharlampovich and Alexei Miasnikov
Oaxaca, January 27, 2015
1 / 34
![Page 2: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/2.jpg)
Tarski-type questions
Alfred Tarski
Tarski’s type problems for a given group (or a ring) G :
First-order classification: Describe groups H such thatTh(G ) = Th(H).
Decidability: Is the theory Th(G ) decidable?
Here Th(G ) is decidable if there exists an algorithm which for anygiven sentence � decides if � 2 Th(G ) or not.
2 / 34
![Page 3: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/3.jpg)
Model theory of algebras
General intuition:
The situation in ”free-like” associative algebras is very di↵erentfrom the one in ”free-like” groups (free or torsion-free hyperbolic)groups.
In free-like groups there is more geometry and topology, moreabout equations and their solutions,
In free-like associative algebras it is more about algebra,arithmetic, about describing (interpreting) by means of logic someclassical commutative objects sitting in algebras. It is more like inthe case of nilpotent and solvable groups.
Free Lie algebras are a di↵erent story.
3 / 34
![Page 4: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/4.jpg)
Model theory of algebras
General intuition:
The situation in ”free-like” associative algebras is very di↵erentfrom the one in ”free-like” groups (free or torsion-free hyperbolic)groups.
In free-like groups there is more geometry and topology, moreabout equations and their solutions,
In free-like associative algebras it is more about algebra,arithmetic, about describing (interpreting) by means of logic someclassical commutative objects sitting in algebras. It is more like inthe case of nilpotent and solvable groups.
Free Lie algebras are a di↵erent story.
3 / 34
![Page 5: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/5.jpg)
Definability
Let F be a field, X a set of variables, and F [X ] a ring ofcommutative polynomials in variables X with coe�cients in F .
The following formula defines F in F [X ]:
�(x) = (x = 0) _ 9y(xy = 1)
The operations + and · in F are the restrictions of the ones fromF [X ], so they are also definable in F [X ] by formulas.
The field F is definable in the ring F [X ].Notice, that the formula all the formulas that define F in F [X ] donot depend on F or X . F is definable uniformly in F and X .
4 / 34
![Page 6: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/6.jpg)
Important consequences
Since F is definable in F [X ] for every first-order sentence � offields one can e↵ectively construct a sentence �⇤ of rings such that
F |= �() F [X ] |= �⇤.
Implications:
If Th(F ) is undecidable then Th(F [X ]) is undecidable;
for any fields F and K
F [X ] ⌘ K [Y ] =) F ⌘ K
5 / 34
![Page 7: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/7.jpg)
Important consequences
Since F is definable in F [X ] for every first-order sentence � offields one can e↵ectively construct a sentence �⇤ of rings such that
F |= �() F [X ] |= �⇤.
Implications:
If Th(F ) is undecidable then Th(F [X ]) is undecidable;
for any fields F and K
F [X ] ⌘ K [Y ] =) F ⌘ K
5 / 34
![Page 8: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/8.jpg)
Definability of Arithmetic in polynomial rings
Lemma
Let F be an arbitrary field. The arithmetic N = hN; +, ·, 0, 1i isinterpretable in F [t] uniformly in F .
Sketch of the proof in char 0:
N is definable in F [X ]: a 2 F belongs to N if and only if it satisfiesthe following formula.
8u 62 F9v(u | v ^(8b 2 F ((u+b) | v ! (u+b+1) | v _(b = a))))
If a 2 N we take v = u(u + 1)(u + 2) . . . (u + a).If a 2 F and a 62 N, and a satisfies the formula, then v hasinfinitely many non-associated divisors, this is impossible in a UFD.⇤
6 / 34
![Page 9: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/9.jpg)
Non-zero characteristic
If char of F is not zero, then N does not sit inside F . In this caseit is not definable in F [X ] - it is interpretable.
7 / 34
![Page 10: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/10.jpg)
Interpretability
Definition
An algebraic structure A is interpretable in a structure B if thereare formulas �,E (x , y),�
f
,�P
in the language of B such that
�A
defines a subset A⇤ ✓ Bm,
E (x , y) defines an equivalence relation ⇠ on A⇤,
For every operation f and predicate P in A there are formulas�f
and �P
in B that define operations f ⇤ and predicates P⇤
on A⇤/ ⇠, so A⇤ = hA/ ⇠; f , . . . ,P . . .i is a structure in thelanguage of A.
There is an isomorphism µ : A ! A⇤.
Interpretation is uniformly in a class of structures C if the formulas�,E (x , y),�
f
,�P
are the same for every structure B from C .
8 / 34
![Page 11: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/11.jpg)
Interpretability
Definition
An algebraic structure A is interpretable in a structure B if thereare formulas �,E (x , y),�
f
,�P
in the language of B such that
�A
defines a subset A⇤ ✓ Bm,
E (x , y) defines an equivalence relation ⇠ on A⇤,
For every operation f and predicate P in A there are formulas�f
and �P
in B that define operations f ⇤ and predicates P⇤
on A⇤/ ⇠, so A⇤ = hA/ ⇠; f , . . . ,P . . .i is a structure in thelanguage of A.
There is an isomorphism µ : A ! A⇤.
Interpretation is uniformly in a class of structures C if the formulas�,E (x , y),�
f
,�P
are the same for every structure B from C .
8 / 34
![Page 12: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/12.jpg)
Important implications
If A is interpretable in B then for every formula (x) of LA
onecan e↵ectively construct a formula ⇤(y) of L
B
such thatA |= (a) () B |= ⇤(µ(a))
In particular, we have the same result as above for sentences:
If A is interpretable in B then for every first-order sentence � inthe language of A one can e↵ectively construct a sentence �⇤ inthe language of B such that
A |= �() B |= �⇤.
9 / 34
![Page 13: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/13.jpg)
Undecidability of Th(F [X ])
Since the arithmetic N is interpretable in F [X ] and Th(N) isundecidable the following result holds.
Theorem [Robinson, ...]
For any field F the elementary theory of F [X ] is undecidable.
This is typical use of interpretability.
It solves the Tarski’s problem on decidability of the theory forpolynomial rings F [X ].
10 / 34
![Page 14: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/14.jpg)
First-order classification of polynomial rings
Theorem
F [X ] ⌘ K [Y ] =) |X | = |Y | and F ⌘ K .
Sketch of the proof: If F [X ] ⌘ K [Y ], then they have the sameKrull dimension, hence |Y | = |X |.
Since F is definable in F [X ] uniformly in F and X it follows thatF ⌘ K .
But the converse is not true!
11 / 34
![Page 15: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/15.jpg)
First-order classification of polynomial rings
Theorem
F [X ] ⌘ K [Y ] =) |X | = |Y | and F ⌘ K .
Sketch of the proof: If F [X ] ⌘ K [Y ], then they have the sameKrull dimension, hence |Y | = |X |.
Since F is definable in F [X ] uniformly in F and X it follows thatF ⌘ K .
But the converse is not true!
11 / 34
![Page 16: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/16.jpg)
First-order classification of polynomial rings
Theorem
F [X ] ⌘ K [Y ] =) |X | = |Y | and F ⌘ K .
Sketch of the proof: If F [X ] ⌘ K [Y ], then they have the sameKrull dimension, hence |Y | = |X |.
Since F is definable in F [X ] uniformly in F and X it follows thatF ⌘ K .
But the converse is not true!
11 / 34
![Page 17: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/17.jpg)
Hereditary finite superstructures
For a set A let Pf (A) be the set of all finite subsets of A.
Definition of hereditary finite sets over A
HF0(A) = A,
HFn+1(A) = HF
n
(A) [ Pf (HFn
(A)),
HF (A) =S
n2! HFn
(A).
For a ring R = (A; +,⇥, 0, 1) define a new structure
HF (R) = hHF (A);PA
,+,⇥, 0, 1,2i,
where PA
is the predicate defining A in HF (A), +,⇥, 0, 1 aredefined on A as before and 2 is the membership predicate onHF (A).
12 / 34
![Page 18: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/18.jpg)
Hereditary finite superstructures
For a set A let Pf (A) be the set of all finite subsets of A.
Definition of hereditary finite sets over A
HF0(A) = A,
HFn+1(A) = HF
n
(A) [ Pf (HFn
(A)),
HF (A) =S
n2! HFn
(A).
For a ring R = (A; +,⇥, 0, 1) define a new structure
HF (R) = hHF (A);PA
,+,⇥, 0, 1,2i,
where PA
is the predicate defining A in HF (A), +,⇥, 0, 1 aredefined on A as before and 2 is the membership predicate onHF (A).
12 / 34
![Page 19: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/19.jpg)
The weak second-order theory
The main point:
The first-order theory of HF (R) has the same expressiveness as theweak second order theory of R .
For example: one can use arithmetic in HF (R), finite sequences ofof elements from R , define the lengths of the sequences byformulas, take their components, concatenations, etc. - extremelypowerful language.
13 / 34
![Page 20: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/20.jpg)
First-order classification of polynomial rings
Theorem [Bauval]
If F is infinite, then HF (F ) is interpretable in F [t] uniformlyin F .
F [X ] is interpretable in HF (F ) uniformly in |X |.
14 / 34
![Page 21: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/21.jpg)
Theorem
Rings of polynomials of finite number of variables over infinitefields F [X ] andK [Y ] are elementarily equivalent if and only if|X | = |Y | and HF (F ) ⌘ HF (K ).
Corollary
If F and K are computable (for instance, Q, and f.g. extensions ofQ, or algebraic closure of Q), then the polynomial rings F [X ] andK [Y ] are elementarily equivalent i↵ they are isomorphic.
15 / 34
![Page 22: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/22.jpg)
Theorem
Rings of polynomials of finite number of variables over infinitefields F [X ] andK [Y ] are elementarily equivalent if and only if|X | = |Y | and HF (F ) ⌘ HF (K ).
Corollary
If F and K are computable (for instance, Q, and f.g. extensions ofQ, or algebraic closure of Q), then the polynomial rings F [X ] andK [Y ] are elementarily equivalent i↵ they are isomorphic.
15 / 34
![Page 23: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/23.jpg)
By Bauval’s theorem the model HF (F ) of hereditary finite setsover F is uniformly definable in the ring F [x ]. Therefore HF (F ) ininterpretable in F [X ] using the constant a.If A is interpretable in B then for every sentence � of the languageLA one can e↵ectively construct a sentence �⇤ of LB such that
A |= � () B |= �⇤.
If the interpretation of A in B depends on some constants, saya1, . . . , a
k
then �⇤ contains a1, . . . , ak
.So in our case
HF (F ) |= � () F [X ] |= 9a(a 62 F ) ^ �⇤(a).
16 / 34
![Page 24: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/24.jpg)
Hence
HF (F ) |= � () A |= 8a(a 6= 0 ^ ¬9x(ax = 1)) ! �⇤(a).
Hence F [X ] ⌘ K [Y ] =) HF (F ) ⌘ HF (K ), and
HF (F ) ⌘ HF (K ) () F ⌘w .s.o.l . K .
17 / 34
![Page 25: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/25.jpg)
Conversely, we can enumerate all the monomials in F [X ] andrepresent each element in F [X ] as a finite set of coe�cients in F .Multiplication in F [X ] is interpretable in the weak second orderlogic of F . Therefore the theory of F [X ] is interpretable in the theweak second order theory of F uniformly on F [X ] .
18 / 34
![Page 26: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/26.jpg)
Associative algebras
Denote by AF
(X ) a free associative unital algbera over a field Fwith basis X .
Approach to Tarski’s problems for AF
(X ):
Do the same as for commutative polynomials
19 / 34
![Page 27: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/27.jpg)
Definability of F [t]
Theorem [Bergman]
The centralizer in AF
(X ) of a non-scalar polynomial is isomorphicto F [t].
Corollary
The ring F [t] is definable in AF
(X ) uniformly in F and X .
20 / 34
![Page 28: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/28.jpg)
Decidability
Theorem
The first-order theory of AF
(X ) is undecidable for any F and X .
21 / 34
![Page 29: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/29.jpg)
First-order classification
Theorem
Free associative algebras AF1(X ) and A
F2(Y ) of finite rank overinfinite fields F1,F2 are elementarily equivalent if and only if theirranks are the same and HF (F1) ⌘ HF (F2).
Corollary
If F1 and F2 are computable (for instance, Q, and f.g. extensionsof Q, or algebraic closure of Q), then the algebras A
F1(X ) andAF2(Y ) are elementarily equivalent i↵ they are isomorphic.
22 / 34
![Page 30: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/30.jpg)
Defining bases AF (X )
Let X be finite.
Theorem
The following holds in AF
(X ):
The set of free bases is definable AF
(X ) uniformly in F ;
The rank of AF
(X ) is a first-order invariant;
The group of automorphisms Aut(AF
(X )) is interpretable inAF
(X ).
23 / 34
![Page 31: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/31.jpg)
Non-unitary free associative algebras
Let A0F
(X ) be a free associative algebra with basis X without unity( non-commutative monomials on X without constant terms).
Main Problem: there is no subfield F in A0F
(X )!
24 / 34
![Page 32: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/32.jpg)
Non-unitary free associative algebras
Theorem
The field F and its action on A0F
(X ) are interpretable in A0F
(X )uniformly in F .
Corollary
Algebra AF
(X ) is definable in A0F
(X ).
Indeed, A0F
(X ) = 1 · F � A0F
(X ).
Theorem
Free associative algebras A0F1(X ) and A0
F2(Y ) of finite rank over
infinite fields F1,F2 are elementarily equivalent if and only if theirranks are the same and HF (F1) ⌘ HF (F2).
25 / 34
![Page 33: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/33.jpg)
Non-unitary free associative algebras
Theorem
The field F and its action on A0F
(X ) are interpretable in A0F
(X )uniformly in F .
Corollary
Algebra AF
(X ) is definable in A0F
(X ).
Indeed, A0F
(X ) = 1 · F � A0F
(X ).
Theorem
Free associative algebras A0F1(X ) and A0
F2(Y ) of finite rank over
infinite fields F1,F2 are elementarily equivalent if and only if theirranks are the same and HF (F1) ⌘ HF (F2).
25 / 34
![Page 34: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/34.jpg)
Rings elementarily equivalent to free associative algebras
Theorem
If a ring B is elementarily equivalent to a free associative algebraA0F
(X ) of rank n, then B is an associative algebra over a field F1,such that:
F1 is elementarily equivalent to F ,
B/Bn ⌘ Cn
, where Cn
is a free n-nilpotent associative algebrawith basis X over the field F1.
In particular, if B is residually nilpotent, then B is para-free.
26 / 34
![Page 35: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/35.jpg)
Lie Algebras
Let LF
(X ) be a free Lie algebra with basis X with coe�cients in F .
Theorem
The field F and its action on LF
(X ) are definable in LF
(X )uniformly in F .
Corollary
The theory of LF
(X ) over Q (any field with undecidable theory) isundecidable.
Theorem
If two free Lie algebras of finite rank over fields are elementarilyequivalent, then the ranks are the same and the fields areelementarily equivalent.
27 / 34
![Page 36: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/36.jpg)
Lie Algebras
Theorem
If a ring B is elementarily equivalent to a free lie algebra LF
(X ) ofrank n , then B is a Lie algebra over a field F1, such that:
F1 is elementarily equivalent to F ,
B/Bn ⌘ Cn
, where Cn
is a free n-nilpotent Lie algebra withbasis X over the field F1.
In particular, if B is residually nilpotent, then B is para-free.
28 / 34
![Page 37: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/37.jpg)
Ordered groups
A group G is called Left Orderable (LO) if there is a linear orderingon G which respects left multiplication in G .
Free groups, special groups, etc., are LO.
It is not known if every torsion-free hyperbolic group is LO or not.
Fact
Every LO group satisfies the Kaplansky unit conjecture, i.e., thegroup of units in the group ring K (G ) is precisely K · G .
Corollary
If G is LO then G is definable in K (G ).
29 / 34
![Page 38: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/38.jpg)
Interpretability of the field action
Theorem
Let G be a torsion free non-abelian hyperbolic group. Then thefield K and its action on K (G ) are interpretable in K (G ) uniformlyin K and G .
30 / 34
![Page 39: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/39.jpg)
Centralizers
Centralizers
Let G be a commutative transitive and torsion free group andg 2 G such that C
G
(g) = Zn. ThenCK(G)(g) = K (Zn) = K [t1, . . . , tn, t
�11 , . . . , t�1
n
].
Corollary
If G is torsion-free hyperbolic, then for any g 2 G the centralizerCK(G)(x) = K [t, t�1] is the ring of Laurent polynomials in one
variable.
31 / 34
![Page 40: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/40.jpg)
Centralizers
Centralizers
Let G be a commutative transitive and torsion free group andg 2 G such that C
G
(g) = Zn. ThenCK(G)(g) = K (Zn) = K [t1, . . . , tn, t
�11 , . . . , t�1
n
].
Corollary
If G is torsion-free hyperbolic, then for any g 2 G the centralizerCK(G)(x) = K [t, t�1] is the ring of Laurent polynomials in one
variable.
31 / 34
![Page 41: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/41.jpg)
Interpretability of arithmetic in Laurent polynomials
Theorem
The following holds for every ring of Laurant polynomialsK [x , x�1] over a field K of characteristic 0:
The arithmetic N = hN | +, ·, 0, 1i is interpretable inK [x , x�1] uniformly in K .
HF (K ) is interpretable in K [x , x�1] uniformly in K .
32 / 34
![Page 42: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/42.jpg)
Interpretability of arithmetic in group rings
Theorem
Let G be torsion free hyperbolic or total relatively hyperbolic,charK = 0, then Th(K (G )) is undecidable.
Theorem
Let G1 is LO and hyperbolic. Then K1(G1) ⌘ K2(G2) thenG1 ⌘ G2 and HF (K1) ⌘ HF (K2).
33 / 34
![Page 43: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/43.jpg)
Open problems
Problem
Describe para-free Lie (associative) algebras which areelementarily equivalent to a free Lie (associative) algebra.
Decidability of equations in free associative or Lie algebrasover a ”good” field.
Are free associative or Lie algebras equationally Noetherian?
34 / 34
![Page 44: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/44.jpg)
Open problems
Problem
Describe para-free Lie (associative) algebras which areelementarily equivalent to a free Lie (associative) algebra.
Decidability of equations in free associative or Lie algebrasover a ”good” field.
Are free associative or Lie algebras equationally Noetherian?
34 / 34
![Page 45: Tarski problems for algebras - City University of New Yorkmath.hunter.cuny.edu/olgak/algebras_slides.pdfTarski problems for algebras Olga Kharlampovich and Alexei Miasnikov Oaxaca,](https://reader030.vdocuments.us/reader030/viewer/2022040907/5e7cdfe5f41f3635651efb5a/html5/thumbnails/45.jpg)
Open problems
Problem
Describe para-free Lie (associative) algebras which areelementarily equivalent to a free Lie (associative) algebra.
Decidability of equations in free associative or Lie algebrasover a ”good” field.
Are free associative or Lie algebras equationally Noetherian?
34 / 34