a short course on groups of finite morley rank part...
TRANSCRIPT
![Page 1: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/1.jpg)
A short course on groups of finite Morley rank—Part 1—
Joshua Wiscons
California State University, Sacramento
Hausdorff Institute for Mathematics
November 2018
Joshua Wiscons Short course: groups of fMr
![Page 2: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/2.jpg)
Groups of finite Morley rank (fMr)
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Joshua Wiscons Short course: groups of fMr
![Page 3: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/3.jpg)
Groups of finite Morley rank (fMr)
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Joshua Wiscons Short course: groups of fMr
![Page 4: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/4.jpg)
Groups of finite Morley rank (fMr)
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Joshua Wiscons Short course: groups of fMr
![Page 5: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/5.jpg)
Groups of finite Morley rank (fMr)
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Joshua Wiscons Short course: groups of fMr
![Page 6: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/6.jpg)
Groups of finite Morley rank (fMr)
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Joshua Wiscons Short course: groups of fMr
![Page 7: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/7.jpg)
The world
All groups
NTP2
NIP
Simple
Stable
ω-stableFn
fMr
Joshua Wiscons Short course: groups of fMr
![Page 8: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/8.jpg)
The world
All groups
NTP2
NIP
Simple
Stable
ω-stableFn
fMr
Joshua Wiscons Short course: groups of fMr
![Page 9: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/9.jpg)
The world
All groups
NTP2
NIP
Simple
Stable
ω-stable
Fn
fMr
Joshua Wiscons Short course: groups of fMr
![Page 10: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/10.jpg)
The world
All groups
NTP2
NIP
Simple
Stable
ω-stableFn
fMr
Joshua Wiscons Short course: groups of fMr
![Page 11: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/11.jpg)
Algebraicity Conjecture
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Simple groups of fMr
?
Algebraicity Conjecture: the gap, , does not exist.
Joshua Wiscons Short course: groups of fMr
![Page 12: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/12.jpg)
Algebraicity Conjecture
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Simple groups of fMr
?
Algebraicity Conjecture: the gap, , does not exist.
Joshua Wiscons Short course: groups of fMr
![Page 13: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/13.jpg)
Algebraicity Conjecture
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Simple groups of fMr
?
Algebraicity Conjecture: the gap, , does not exist.
Joshua Wiscons Short course: groups of fMr
![Page 14: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/14.jpg)
Algebraicity Conjecture
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Simple groups of fMr
?
Algebraicity Conjecture:
the gap, , does not exist.
Joshua Wiscons Short course: groups of fMr
![Page 15: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/15.jpg)
Algebraicity Conjecture
All groups
Groups of fMr
Algebraicgroups
GLn(C)
PSLn(C)
GLn(C)× GLn(Fp)
Zp∞
The Baudisch
(nilpotent) group
Z
FnSym(ω)
Simple groups of fMr
?
Algebraicity Conjecture: the gap, , does not exist.
Joshua Wiscons Short course: groups of fMr
![Page 16: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/16.jpg)
The Plan
Act I First principles, general theory, and optimismAct II Obstructions and pessimism
Act III Permutation groupsAct IV Permutation groups (cont’d) and other topics
COMPANION NOTES
webpages.csus.edu/wiscons/research/GFMR-Minicourse-Notes.pdf
Joshua Wiscons Short course: groups of fMr
![Page 17: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/17.jpg)
The Plan
Act I First principles, general theory, and optimism
Act II Obstructions and pessimismAct III Permutation groupsAct IV Permutation groups (cont’d) and other topics
COMPANION NOTES
webpages.csus.edu/wiscons/research/GFMR-Minicourse-Notes.pdf
Joshua Wiscons Short course: groups of fMr
![Page 18: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/18.jpg)
The Plan
Act I First principles, general theory, and optimismAct II Obstructions and pessimism
Act III Permutation groupsAct IV Permutation groups (cont’d) and other topics
COMPANION NOTES
webpages.csus.edu/wiscons/research/GFMR-Minicourse-Notes.pdf
Joshua Wiscons Short course: groups of fMr
![Page 19: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/19.jpg)
The Plan
Act I First principles, general theory, and optimismAct II Obstructions and pessimism
Act III Permutation groups
Act IV Permutation groups (cont’d) and other topics
COMPANION NOTES
webpages.csus.edu/wiscons/research/GFMR-Minicourse-Notes.pdf
Joshua Wiscons Short course: groups of fMr
![Page 20: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/20.jpg)
The Plan
Act I First principles, general theory, and optimismAct II Obstructions and pessimism
Act III Permutation groupsAct IV Permutation groups (cont’d) and other topics
COMPANION NOTES
webpages.csus.edu/wiscons/research/GFMR-Minicourse-Notes.pdf
Joshua Wiscons Short course: groups of fMr
![Page 21: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/21.jpg)
The Plan
Act I First principles, general theory, and optimismAct II Obstructions and pessimism
Act III Permutation groupsAct IV Permutation groups (cont’d) and other topics
COMPANION NOTES
webpages.csus.edu/wiscons/research/GFMR-Minicourse-Notes.pdf
Joshua Wiscons Short course: groups of fMr
![Page 22: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/22.jpg)
Act I
First principles, general theory, andoptimism
Joshua Wiscons Short course: groups of fMr
![Page 23: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/23.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)
Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 24: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/24.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)
Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 25: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/25.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 26: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/26.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 27: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/27.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 28: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/28.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 29: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/29.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
Example
LGROUP = (·,−1 , 1) and LRING = (+, ·,−, 0)Implicitly, other symbols too: ∀, ∃, ∧, ∨, ¬, parentheses, and variables
A group is then an LGROUP-structure that satisfies the three group axioms.
Actually, we allow groups to be L-structures with L ⊇ LGROUP.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 30: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/30.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
Joshua Wiscons Short course: groups of fMr
![Page 31: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/31.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.
The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)}
= Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.
The “solution set” is β(G) = {g | (∃y)(g = y−1hy)}
= hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 32: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/32.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.
The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)}
= Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.
The “solution set” is β(G) = {g | (∃y)(g = y−1hy)}
= hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 33: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/33.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)}
= Z(G).2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.
The “solution set” is β(G) = {g | (∃y)(g = y−1hy)}
= hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 34: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/34.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.
The “solution set” is β(G) = {g | (∃y)(g = y−1hy)}
= hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 35: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/35.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.
The “solution set” is β(G) = {g | (∃y)(g = y−1hy)}
= hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 36: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/36.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)}
= hG.3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 37: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/37.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 38: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/38.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)?
. . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 39: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/39.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)? . . . [G,G]?
. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 40: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/40.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)? . . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 41: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/41.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionAn L-formula is a “well-formed” finite sequence of symbols from L thatexpresses a statement that is either true or false for each L-structure.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)? . . . [G,G]?. . . G/Z(G)?
Joshua Wiscons Short course: groups of fMr
![Page 42: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/42.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)? . . . [G,G]?. . . G/Z(G)?
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
Joshua Wiscons Short course: groups of fMr
![Page 43: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/43.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)? . . . [G,G]?. . . G/Z(G)?
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
Joshua Wiscons Short course: groups of fMr
![Page 44: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/44.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
ExampleWork in LGROUP. Let G be a group and h ∈ G.
1 α(x) ≡ (∀y)(x−1y−1xy = 1) is an LGROUP-formula.The “solution set” is α(G) = {g | (∀y)(g−1y−1gy = 1)} = Z(G).
2 β(x) ≡ (∃y)(x = y−1hy) is an LGROUP(G)-formula.The “solution set” is β(G) = {g | (∃y)(g = y−1hy)} = hG.
3 What about CG(h)? . . . [G,G]?. . . G/Z(G)?
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
Joshua Wiscons Short course: groups of fMr
![Page 45: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/45.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 46: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/46.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 47: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/47.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 48: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/48.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 49: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/49.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 50: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/50.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 51: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/51.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable
. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 52: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/52.jpg)
Definability (and interpretability)
LetM be a structure in a first-order language L.
DefinitionA set isM-definable (with parameters) if A = ϕ(Mn) for someL(M)-formula.
DefinitionA set A isM-interpretable (with parameters) if
there is a definable B ⊆ Mn
there is a definable equivalence relation E ⊆ B× B
A = B/E
o We now redefine definable to include interpretable.
Example
Thus, G/Z(G) is G-definable. . . the underlying set and the group operations!
Joshua Wiscons Short course: groups of fMr
![Page 53: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/53.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.
1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 54: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/54.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 55: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/55.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}
Matrix multiplication and inversion can be defined as well2 SLn(K) is K-definable.3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 56: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/56.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 57: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/57.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.
3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 58: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/58.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.3 PSLn(K) is K-definable.
4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 59: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/59.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 60: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/60.jpg)
Definability: another example
Example
LRING = (+, ·,−, 0). Let K be a field.1 GLn(K) is K-definable
GL2(K) = {(k11, k12, k21, k22) ∈ K4 | k11k22 − k12k21 6= 0}Matrix multiplication and inversion can be defined as well
2 SLn(K) is K-definable.3 PSLn(K) is K-definable.4 The algebraic groups over K are definable
FactIf K is an algebraically closed field (considered as a LRING-structure), thenevery K-definable set is (in definable bijection with) a constructible set.
Joshua Wiscons Short course: groups of fMr
![Page 61: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/61.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if
there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒
there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n
......
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 62: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/62.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒
there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n
......
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 63: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/63.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒
there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n
......
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 64: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/64.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒ there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n
......
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 65: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/65.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒ there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n
......
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 66: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/66.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒ there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n
......
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 67: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/67.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒ there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n...
...
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 68: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/68.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒ there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n...
...
A
f
B
=⇒
rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 69: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/69.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures)
M is ranked if there is a function rk from Def(M)− {∅} to N satisfying thefollowing four axioms (for all A,B ∈ Def(M)− ∅).
(Monotonicity) rk(A) ≥ n + 1 ⇐⇒ there exists {Ai}i<ω ⊂ Def(M)− {∅}A
rk ≥ n rk ≥ n rk ≥ n
A1 A2 · · · Ai · · ·
(Additivity) If f : A � B is a definable surjection, then
rk = nrk = n
rk = n...
...
A
f
B
=⇒ rk(A) = rk(B) + n
Joshua Wiscons Short course: groups of fMr
![Page 70: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/70.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology
. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 71: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/71.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.
(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology
. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 72: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/72.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology
. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 73: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/73.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology
. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 74: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/74.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology
. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 75: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/75.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 76: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/76.jpg)
Ranked structures
Definition (Borovik-Poizat axioms for ranked structures (continued))
(Definability of rank) If f : A→ B is definable, then {b ∈ B | rk(f−1(b)) = n}is definable.(Elimination of infinite quantifiers) If f : A→ B is definable, then there exists afinite n such that for every b ∈ B, |f−1(b)| ≤ n or f−1(b) is infinite.
Theorem (Poizat)A group is ranked iff it is a group of finite Morley rank.
We will use the latter terminology. . . and abbreviate it, so
ranked group = group of fMr
Joshua Wiscons Short course: groups of fMr
![Page 77: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/77.jpg)
Examples
Examples
1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 78: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/78.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.
2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 79: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/79.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 80: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/80.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.
Such a group is of the form⊕
κQ3 All divisible abelian groups with finitely many elements of each finite
order have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 81: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/81.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 82: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/82.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 83: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/83.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 84: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/84.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.
So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 85: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/85.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.So, any definable subgroup of group of fMr is a group of fMr.
But, definability is stillM-definability (using the language forM)!5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it is
an algebraically closed field.6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 86: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/86.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 87: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/87.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 88: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/88.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.
Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 89: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/89.jpg)
Examples
Examples1 Abelian groups of bounded exponent have fMr.2 All torsion-free divisible abelian groups have fMr.
G is divisible if xn = g has a solution for every g ∈ G and every n ∈ N.Such a group is of the form
⊕κQ
3 All divisible abelian groups with finitely many elements of each finiteorder have fMr.
Example: the Prüfer p-group Zp∞ = {a ∈ C | apk= 1 for some k ∈ N}
4 Any group that is definable over a ranked structureM has fMr.So, any definable subgroup of group of fMr is a group of fMr.But, definability is stillM-definability (using the language forM)!
5 (Cherlin-Macintyre) An infinite division ring has fMr if and only if it isan algebraically closed field.
6 Algebraic groups over algebraically closed fields have fMr.Examples: GLn(K), SLn(K), PSLn(K), . . .
Joshua Wiscons Short course: groups of fMr
![Page 90: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/90.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such that
A
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 91: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/91.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 92: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/92.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 93: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/93.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 94: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/94.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.
(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 95: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/95.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 96: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/96.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 97: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/97.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 98: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/98.jpg)
Properties of the rank (and degree)
Fact (Existence of degree)
If rk(A) = n, the degree of A, deg(A), is the maximum d ∈ N such thatA
rk = n rk = n rk = n
A1 A2 · · · Ad
FactLet A and B be nonempty definable sets over some ranked structure.
(Finite sets) A is finite if and only if rk A = 0 and deg A = |A|.(Monotonicity) If A ≤ B, then rk A ≤ rk B.
(Unions) rk(A ∪ B) = max(rk A, rk B)
(Products) rk(A× B) = rk A + rk B and deg(A× B) = deg(A) · deg(B)
(Invariance) Definable bijections preserve rank and degree
Joshua Wiscons Short course: groups of fMr
![Page 99: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/99.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Proof.Suppose H0 > H1 > · · · is a chain of definable subgroups of G.
Hi+1 rk Hi+1
rk Hi+1
rk Hi+1
...
Hi
=⇒ rk Hi > rk Hi+1 or deg Hi > deg Hi+1
Joshua Wiscons Short course: groups of fMr
![Page 100: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/100.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Proof.Suppose H0 > H1 > · · · is a chain of definable subgroups of G.
Hi+1 rk Hi+1
rk Hi+1
rk Hi+1
...
Hi
=⇒ rk Hi > rk Hi+1 or deg Hi > deg Hi+1
Joshua Wiscons Short course: groups of fMr
![Page 101: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/101.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Proof.Suppose H0 > H1 > · · · is a chain of definable subgroups of G.
Hi+1 rk Hi+1
rk Hi+1
rk Hi+1
...
Hi
=⇒ rk Hi > rk Hi+1 or deg Hi > deg Hi+1
Joshua Wiscons Short course: groups of fMr
![Page 102: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/102.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Proof.Suppose H0 > H1 > · · · is a chain of definable subgroups of G.
Hi+1
rk Hi+1
rk Hi+1
rk Hi+1
...
Hi
=⇒ rk Hi > rk Hi+1 or deg Hi > deg Hi+1
Joshua Wiscons Short course: groups of fMr
![Page 103: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/103.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Proof.Suppose H0 > H1 > · · · is a chain of definable subgroups of G.
Hi+1 rk Hi+1
rk Hi+1
rk Hi+1...
Hi
=⇒ rk Hi > rk Hi+1 or deg Hi > deg Hi+1
Joshua Wiscons Short course: groups of fMr
![Page 104: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/104.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Proof.Suppose H0 > H1 > · · · is a chain of definable subgroups of G.
Hi+1 rk Hi+1
rk Hi+1
rk Hi+1...
Hi
=⇒ rk Hi > rk Hi+1 or deg Hi > deg Hi+1
Joshua Wiscons Short course: groups of fMr
![Page 105: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/105.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
Joshua Wiscons Short course: groups of fMr
![Page 106: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/106.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because
Z > 2Z > 4Z > 8Z > · · · , and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 107: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/107.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because Z > 2Z > 4Z > 8Z > · · · ,
and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 108: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/108.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because Z > 2Z > 4Z > 8Z > · · · , and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 109: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/109.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because Z > 2Z > 4Z > 8Z > · · · , and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 110: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/110.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because Z > 2Z > 4Z > 8Z > · · · , and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 111: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/111.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because Z > 2Z > 4Z > 8Z > · · · , and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 112: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/112.jpg)
Descending chain condition
Proposition (Descending Chain Condition on Definable Subgroups—DCC)A group of fMr has no infinite descending chains of definable subgroups.
ExampleZ does NOT have fMr because Z > 2Z > 4Z > 8Z > · · · , and mZ is definedby ϕm(x) ≡ ∃y(x = y + · · · (m times) · · ·+ y).
CorollaryLet G be a group of fMr.
(Connected Component) G has a minimal definable subgroup of finiteindex G◦. And. . .
G = G◦ ⇐⇒ G has degree 1 ⇐⇒ “G is connected”
(Definable Hull) Every subgroup H is contained in a minimal definablesubgroup d(H).
Joshua Wiscons Short course: groups of fMr
![Page 113: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/113.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.
CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 114: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/114.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.
CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 115: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/115.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 116: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/116.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 117: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/117.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 118: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/118.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 119: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/119.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 120: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/120.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
Solution.CG(a) has finite index in G
CG(a) is definable
G = G◦ =⇒ G has no proper definable subgroups of finite index
Thus, G = CG(a)
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Joshua Wiscons Short course: groups of fMr
![Page 121: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/121.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Solution.
a ∈ CG(a) and CG(a) is definable
Thus, d(a) ≤ CG(a)
Better yet, a ∈ Z(CG(a)) and Z(CG(a)) is definable
Thus, d(a) ≤ Z(CG(a))
Joshua Wiscons Short course: groups of fMr
![Page 122: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/122.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Solution.
a ∈ CG(a) and CG(a) is definable
Thus, d(a) ≤ CG(a)
Better yet, a ∈ Z(CG(a)) and Z(CG(a)) is definable
Thus, d(a) ≤ Z(CG(a))
Joshua Wiscons Short course: groups of fMr
![Page 123: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/123.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Solution.a ∈ CG(a) and CG(a) is definable
Thus, d(a) ≤ CG(a)
Better yet, a ∈ Z(CG(a)) and Z(CG(a)) is definable
Thus, d(a) ≤ Z(CG(a))
Joshua Wiscons Short course: groups of fMr
![Page 124: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/124.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Solution.a ∈ CG(a) and CG(a) is definable
Thus, d(a) ≤ CG(a)
Better yet, a ∈ Z(CG(a)) and Z(CG(a)) is definable
Thus, d(a) ≤ Z(CG(a))
Joshua Wiscons Short course: groups of fMr
![Page 125: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/125.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Solution.a ∈ CG(a) and CG(a) is definable
Thus, d(a) ≤ CG(a)
Better yet, a ∈ Z(CG(a)) and Z(CG(a)) is definable
Thus, d(a) ≤ Z(CG(a))
Joshua Wiscons Short course: groups of fMr
![Page 126: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/126.jpg)
Quick check-in
ExerciseSuppose that G is a connected group of fMr. Show that if a ∈ G has finitelymany conjugates, then a ∈ Z(G).
ExerciseLet G be a group of fMr and a ∈ G. Show that d(a) is abelian.
Solution.a ∈ CG(a) and CG(a) is definable
Thus, d(a) ≤ CG(a)
Better yet, a ∈ Z(CG(a)) and Z(CG(a)) is definable
Thus, d(a) ≤ Z(CG(a))
Joshua Wiscons Short course: groups of fMr
![Page 127: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/127.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 128: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/128.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 129: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/129.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 130: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/130.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 131: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/131.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 132: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/132.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 133: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/133.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 134: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/134.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 135: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/135.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionAny divisible abelian p-group (of fMR or not) will be called a p-torus.
Recall: T is divisible if xn = a has a solution for every a ∈ T and every n.
A p-torus must be of the form⊕
r Zp∞ . (r is the Prüfer p-rank)
K algebraically closed =⇒ (charK = p ⇐⇒ K× has no p-torus)
As subgroups of groups of fMr, p-tori tend to not be definable.
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
Decent tori are divisible, hence connected (exercise!).
Decent tori have finite Prüfer p-rank for all p.
Joshua Wiscons Short course: groups of fMr
![Page 136: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/136.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.
Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 137: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/137.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.
Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 138: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/138.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.
Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 139: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/139.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 140: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/140.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 141: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/141.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 142: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/142.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 143: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/143.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 144: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/144.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Solution.Want to show T is centralized by N := N◦G(T)
T = d(T0) where T0 is the torsion subgroup
Suffices to show T0 is centralized by N (exercise!)
T0 =⊕
p
(⊕rpZp∞
)with each rp finite
Thus, T0 has finitely many elements of each finite order
Thus, every a ∈ T0 has a finitely many N-conjugates, so a ∈ Z(N)
Joshua Wiscons Short course: groups of fMr
![Page 145: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/145.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Fact (Conjugacy of Maximal Tori, Cherlin—2005)Any two maximal decent tori of a group of fMr are conjugate.
Joshua Wiscons Short course: groups of fMr
![Page 146: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/146.jpg)
Algebraic analogies: semisimplicity (kind of)
DefinitionA definable subgroup of a group of fMr is called a decent torus if it isdivisible, abelian, and equal to the definable hull of its torsion subgroup.
ExerciseIf G is a group of fMr and T ≤ G is a decent torus, then N◦G(T) = C◦G(T).
Fact (Conjugacy of Maximal Tori, Cherlin—2005)Any two maximal decent tori of a group of fMr are conjugate.
Joshua Wiscons Short course: groups of fMr
![Page 147: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/147.jpg)
Algebraic analogies: unipotence (kind of)
DefinitionLet p be a prime. A definable subgroup of a group of fMr G is calledp-unipotent if it is a connected nilpotent p-group of bounded exponent.
K algebraically closed =⇒ (charK = p ⇐⇒ K+ is p-unipotent)
Example
Let K be algebraically closed of characteristic p. Then subgroup of GLn(K)of upper-triangular matrices with all 1’s on the main diagonal is p-unipotent.
Fact (Burdges-Cherlin—2009)Let p be a prime. If G is a connected group of fMr with no nontrivialp-unipotent subgroup, then every p-element of G is contained in a p-torus.
Joshua Wiscons Short course: groups of fMr
![Page 148: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/148.jpg)
Algebraic analogies: unipotence (kind of)
DefinitionLet p be a prime. A definable subgroup of a group of fMr G is calledp-unipotent if it is a connected nilpotent p-group of bounded exponent.
K algebraically closed =⇒ (charK = p ⇐⇒ K+ is p-unipotent)
Example
Let K be algebraically closed of characteristic p. Then subgroup of GLn(K)of upper-triangular matrices with all 1’s on the main diagonal is p-unipotent.
Fact (Burdges-Cherlin—2009)Let p be a prime. If G is a connected group of fMr with no nontrivialp-unipotent subgroup, then every p-element of G is contained in a p-torus.
Joshua Wiscons Short course: groups of fMr
![Page 149: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/149.jpg)
Algebraic analogies: unipotence (kind of)
DefinitionLet p be a prime. A definable subgroup of a group of fMr G is calledp-unipotent if it is a connected nilpotent p-group of bounded exponent.
K algebraically closed =⇒ (charK = p ⇐⇒ K+ is p-unipotent)
Example
Let K be algebraically closed of characteristic p. Then subgroup of GLn(K)of upper-triangular matrices with all 1’s on the main diagonal is p-unipotent.
Fact (Burdges-Cherlin—2009)Let p be a prime. If G is a connected group of fMr with no nontrivialp-unipotent subgroup, then every p-element of G is contained in a p-torus.
Joshua Wiscons Short course: groups of fMr
![Page 150: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/150.jpg)
Algebraic analogies: unipotence (kind of)
DefinitionLet p be a prime. A definable subgroup of a group of fMr G is calledp-unipotent if it is a connected nilpotent p-group of bounded exponent.
K algebraically closed =⇒ (charK = p ⇐⇒ K+ is p-unipotent)
Example
Let K be algebraically closed of characteristic p. Then subgroup of GLn(K)of upper-triangular matrices with all 1’s on the main diagonal is p-unipotent.
Fact (Burdges-Cherlin—2009)Let p be a prime. If G is a connected group of fMr with no nontrivialp-unipotent subgroup, then every p-element of G is contained in a p-torus.
Joshua Wiscons Short course: groups of fMr
![Page 151: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/151.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 152: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/152.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 153: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/153.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 154: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/154.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 155: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/155.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 156: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/156.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 157: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/157.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 158: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/158.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 159: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/159.jpg)
Algebraic analogies: Borel subgroups
Fact (Definability of some good friends)If G is a group of fMr, then the following subgroups are definable:
the Fitting subgroup F(G) (generated by all normal nilpotent subgroups)
the solvable radical σ(G) (generated by all normal solvable subgroups)
the commutator subgroup G′
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
Joshua Wiscons Short course: groups of fMr
![Page 160: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/160.jpg)
Algebraic analogies: Borel subgroups
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
DefinitionAny maximal connected definable solvable subgroup of a group of fMr iscalled a Borel subgroup.
So, we know a bit about the structure of Borel subgroups.
But not enough!
And crucially, we do not know if they are conjugate
. . . sadness �
Joshua Wiscons Short course: groups of fMr
![Page 161: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/161.jpg)
Algebraic analogies: Borel subgroups
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
DefinitionAny maximal connected definable solvable subgroup of a group of fMr iscalled a Borel subgroup.
So, we know a bit about the structure of Borel subgroups.
But not enough!
And crucially, we do not know if they are conjugate
. . . sadness �
Joshua Wiscons Short course: groups of fMr
![Page 162: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/162.jpg)
Algebraic analogies: Borel subgroups
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
DefinitionAny maximal connected definable solvable subgroup of a group of fMr iscalled a Borel subgroup.
So, we know a bit about the structure of Borel subgroups.
But not enough!
And crucially, we do not know if they are conjugate
. . . sadness �
Joshua Wiscons Short course: groups of fMr
![Page 163: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/163.jpg)
Algebraic analogies: Borel subgroups
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
DefinitionAny maximal connected definable solvable subgroup of a group of fMr iscalled a Borel subgroup.
So, we know a bit about the structure of Borel subgroups.
But not enough!
And crucially, we do not know if they are conjugate
. . . sadness �
Joshua Wiscons Short course: groups of fMr
![Page 164: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/164.jpg)
Algebraic analogies: Borel subgroups
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
DefinitionAny maximal connected definable solvable subgroup of a group of fMr iscalled a Borel subgroup.
So, we know a bit about the structure of Borel subgroups.
But not enough!
And crucially, we do not know if they are conjugate
. . . sadness �
Joshua Wiscons Short course: groups of fMr
![Page 165: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/165.jpg)
Algebraic analogies: Borel subgroups
Fact (Structure of solvable groups)Let G be a connected solvable group of fMr. Then
F◦(G) contains G′ and all p-unipotent radicals of G,
G/F◦(G) is divisible abelian (like a torus), and
(Fitting’s Theorem) G/Z(F(G)) ≤ Aut(F(G)).
DefinitionAny maximal connected definable solvable subgroup of a group of fMr iscalled a Borel subgroup.
So, we know a bit about the structure of Borel subgroups.
But not enough!
And crucially, we do not know if they are conjugate. . . sadness �
Joshua Wiscons Short course: groups of fMr
![Page 166: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/166.jpg)
Sylow Theory
DefinitionA Sylow 2-subgroup of a group is just a maximal 2-subgroup.
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
That’s right—we only know this for the prime 2. . .�
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
Joshua Wiscons Short course: groups of fMr
![Page 167: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/167.jpg)
Sylow Theory
DefinitionA Sylow 2-subgroup of a group is just a maximal 2-subgroup.
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
That’s right—we only know this for the prime 2. . .�
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
Joshua Wiscons Short course: groups of fMr
![Page 168: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/168.jpg)
Sylow Theory
DefinitionA Sylow 2-subgroup of a group is just a maximal 2-subgroup.
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
That’s right—we only know this for the prime 2. . .�
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
Joshua Wiscons Short course: groups of fMr
![Page 169: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/169.jpg)
Sylow Theory
DefinitionA Sylow 2-subgroup of a group is just a maximal 2-subgroup.
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
That’s right—we only know this for the prime 2. . .�
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
Joshua Wiscons Short course: groups of fMr
![Page 170: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/170.jpg)
Sylow Theory
DefinitionA Sylow 2-subgroup of a group is just a maximal 2-subgroup.
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
That’s right—we only know this for the prime 2. . .�
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
Joshua Wiscons Short course: groups of fMr
![Page 171: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/171.jpg)
Sylow Theory
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
DefinitionA group of fMr is said to be of odd, even, mixed, or degenerate typeaccording to the structure of a Sylow 2-subgroup P:
Even type: P◦ is 2-unipotent;
Odd type: P◦ is a 2-tori;
Mixed type: P◦ contains a 2-unipotent subgroup and a 2-torus;
Degenerate type: P◦ = 1 (i.e. P is finite).
Joshua Wiscons Short course: groups of fMr
![Page 172: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/172.jpg)
Sylow Theory
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
DefinitionA group of fMr is said to be of odd, even, mixed, or degenerate typeaccording to the structure of a Sylow 2-subgroup P:
Even type: P◦ is 2-unipotent;
Odd type: P◦ is a 2-tori;
Mixed type: P◦ contains a 2-unipotent subgroup and a 2-torus;
Degenerate type: P◦ = 1 (i.e. P is finite).
Joshua Wiscons Short course: groups of fMr
![Page 173: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/173.jpg)
Sylow Theory
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
DefinitionA group of fMr is said to be of odd, even, mixed, or degenerate typeaccording to the structure of a Sylow 2-subgroup P:
Even type: P◦ is 2-unipotent;
Odd type: P◦ is a 2-tori;
Mixed type: P◦ contains a 2-unipotent subgroup and a 2-torus;
Degenerate type: P◦ = 1 (i.e. P is finite).
Joshua Wiscons Short course: groups of fMr
![Page 174: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/174.jpg)
Sylow Theory
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
DefinitionA group of fMr is said to be of odd, even, mixed, or degenerate typeaccording to the structure of a Sylow 2-subgroup P:
Even type: P◦ is 2-unipotent;
Odd type: P◦ is a 2-tori;
Mixed type: P◦ contains a 2-unipotent subgroup and a 2-torus;
Degenerate type: P◦ = 1 (i.e. P is finite).
Joshua Wiscons Short course: groups of fMr
![Page 175: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/175.jpg)
Sylow Theory
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
DefinitionA group of fMr is said to be of odd, even, mixed, or degenerate typeaccording to the structure of a Sylow 2-subgroup P:
Even type: P◦ is 2-unipotent;
Odd type: P◦ is a 2-tori;
Mixed type: P◦ contains a 2-unipotent subgroup and a 2-torus;
Degenerate type: P◦ = 1 (i.e. P is finite).
Joshua Wiscons Short course: groups of fMr
![Page 176: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/176.jpg)
Sylow Theory
Fact (Conjugacy of Sylow 2-subgroups, Borovik-Poizat—1990)In any group of fMr, the Sylow 2-subgroups are conjugate!
Fact (Structure of Sylow 2-subgroups)In any group of fMr, the connected component of a Sylow 2-subgroup is (acentral product) of the form U ∗ T where U is 2-unipotent and T is a 2-torus.
DefinitionA group of fMr is said to be of odd, even, mixed, or degenerate typeaccording to the structure of a Sylow 2-subgroup P:
Even type: P◦ is 2-unipotent;
Odd type: P◦ is a 2-tori;
Mixed type: P◦ contains a 2-unipotent subgroup and a 2-torus;
Degenerate type: P◦ = 1 (i.e. P is finite).
Joshua Wiscons Short course: groups of fMr
![Page 177: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/177.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odddeg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 178: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/178.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odddeg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 179: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/179.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odddeg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 180: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/180.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odddeg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 181: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/181.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odd
deg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 182: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/182.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odddeg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 183: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/183.jpg)
Algebraicity Conjecture
Algebraicity Conjecture (Cherlin-Zilber)An infinite simple group of finite Morley rank is isomorphic to an algebraicgroup over an algebraically closed field.
Analysis breaks into the 4 types.
does NOT contain⊕
i<ω Z2
contains⊕
i<ω Z2
does NOT contain Z2∞ contains Z2∞
even
odddeg.
mixed
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 184: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/184.jpg)
Algebraicity Conjecture
Deg? Odd?
Groups of fMr
Algebraicgroups
Simple groups of fMr
?
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 185: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/185.jpg)
Algebraicity Conjecture
Deg? Odd?
Groups of fMr
Algebraicgroups
Simple groups of fMr
Fact (Altınel-Borovik-Cherlin—2008)There are no infinite simple groups of finite Morley rank of mixed type andthose of even type are indeed algebraic.
Joshua Wiscons Short course: groups of fMr
![Page 186: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/186.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 187: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/187.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 188: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/188.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 189: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/189.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 190: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/190.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 191: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/191.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 192: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/192.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of degenerate type.
Recall: degenerate type if Sylow 2-subgroups are finite.
Recall: according to the Algebraicity Conjecture, G should not exist.
Fact (Borovik-Burdges-Cherlin—2007)A connected group of fMr of degenerate type has no involutions at all.
Thus, showing such a G does not exist amounts to proving aFeit-Thompson for groups of fMr.
And that’s more-or-less it, except in some special cases. . .
Fact (Frécon—2018)The group G cannot have rank 3.
Joshua Wiscons Short course: groups of fMr
![Page 193: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/193.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 194: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/194.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 195: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/195.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 196: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/196.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 197: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/197.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 198: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/198.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 199: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/199.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . .
but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 200: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/200.jpg)
Algebraicity Conjecture: Status
Suppose G is an infinite simple group of fMr of odd type.
Recall: odd type if the Sylow◦ 2-subgroups are 2-tori.
Thus, the Sylow◦ 2-subgroups are of the form⊕
r Z2∞ .
Recall: according to the Algebraicity Conjecture, G should be algebraicin characteristic not 2.
Fact (High Prüfer Rank Theorem, Burdges—2009)In an inductive setting where every simple definable section of G is algebraic,G is known to be algebraic when r (the Prüfer 2-rank) is at least 3.
The assumption includes that simple definable degenerate sections of Gare algebraic!
There is a corresponding theory assuming that only the simple definableodd type sections of G are algebraic. . . but it’s less developed.
Joshua Wiscons Short course: groups of fMr
![Page 201: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/201.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then
α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G;
if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 202: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/202.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then
α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G;
if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 203: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/203.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then
α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G;
if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 204: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/204.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G;
if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 205: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/205.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G;
if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 206: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/206.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X,
then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 207: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/207.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
Joshua Wiscons Short course: groups of fMr
![Page 208: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/208.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 209: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/209.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =
(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 210: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/210.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =
(g−1gα)α = (g−1)αgαα =
(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 211: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/211.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =
(g−1gα)α = (g−1)αgαα = (gα)−1g =
(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 212: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/212.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =
(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 213: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/213.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =
(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 214: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/214.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 215: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/215.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = nrk = 0rk = nrk = 0
rk = nrk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 216: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/216.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 217: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/217.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n
=⇒ rk G = rk X + n=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 218: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/218.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n
=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 219: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/219.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n
=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 220: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/220.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n
=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 221: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/221.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0
......
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n
=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 222: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/222.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n
=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 223: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/223.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 224: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/224.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 225: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/225.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 226: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/226.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 227: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/227.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 228: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/228.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 229: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/229.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 230: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/230.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α =
= (ax)α = aαxα == (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 231: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/231.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α =
= (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 232: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/232.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1
x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 233: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/233.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 234: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/234.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a)
=⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 235: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/235.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 236: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/236.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 237: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/237.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G)
=⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 238: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/238.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G) =⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 239: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/239.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G) =⇒ Z(G) is generic in G
G is abelian
=⇒ X is a generic subgroup =⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 240: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/240.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G) =⇒ Z(G) is generic in G
G is abelian =⇒ X is a generic subgroup
=⇒ X = G
scratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 241: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/241.jpg)
Final exercise: automorphisms of order 2
Let G be a connected group of fMr.
FactLet α ∈ Aut(G) be definable. If |α| = 2 and CG(α) is finite, then α inverts G.
Let X := {g−1gα : g ∈ G} ⊆ G; if a ∈ X, then aα = a−1
X is generic in G: rk X = rk G
X ⊆ Z(G) =⇒ Z(G) is generic in G
G is abelian =⇒ X is a generic subgroup =⇒ X = Gscratch
(g−1gα)α =(g−1gα)α = (g−1)αgαα =(g−1gα)α = (g−1)αgαα = (gα)−1g =(g−1gα)α = (g−1)αgαα = (gα)−1g = (g−1gα)−1
rk = n
rk = 0
rk = n
rk = 0
rk = n
rk = 0...
...
A
G
B
X
f
g 7→ g−1gα
=⇒ rk A = rk B + n=⇒ rk G = rk X + n
=⇒ rk G = rk X + 0
cosets of CG(α)
G
Y
X
aX
a
= (ax)α == (ax)α = aαxα =
= (ax)α = aαxα = a−1x−1x−1a−1
x ∈ CG(a) =⇒ ax ∈ CG(a)
=⇒ Y ⊆ CG(a)
=⇒ a ∈ Z(G)
Joshua Wiscons Short course: groups of fMr
![Page 242: A short course on groups of finite Morley rank Part 1webpages.csus.edu/wiscons/research/GFMR-Minicourse-Slides.pdf · A short course on groups of finite Morley rank —Part 1—](https://reader030.vdocuments.mx/reader030/viewer/2022040413/5f0a54c17e708231d42b20ca/html5/thumbnails/242.jpg)
The End—Thank You
Joshua Wiscons Short course: groups of fMr