Difference between revisions of "Group of finite Morley rank"
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 10: | Line 10: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Borovik, A. Nesin, "Groups of finite Morley rank" , Oxford Univ. Press (1994) {{MR|1321141}} {{MR|1273276}} {{MR|1273275}} {{ZBL|0816.20001}} {{ZBL|0818.20031}} {{ZBL|0818.20030}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> G. Cherlin, "Groups of small Morley rank" ''Ann. Math. Logic'' , '''17''' (1979) pp. 1–28 {{MR|0552414}} {{ZBL|0427.20001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> B. Poizat, "Groupes stables" , Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne (1987) {{MR|0902156}} {{MR|0895648}} {{ZBL|0633.03019}} {{ZBL|0626.03025}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> B.I. Zil'ber, "Groups and rings whose theory is categorical" ''Fundam. Math.'' , '''55''' (1977) pp. 1730188</TD></TR></table> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Borovik, A. Nesin, "Groups of finite Morley rank" , Oxford Univ. Press (1994) {{MR|1321141}} {{MR|1273276}} {{MR|1273275}} {{ZBL|0816.20001}} {{ZBL|0818.20031}} {{ZBL|0818.20030}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> G. Cherlin, "Groups of small Morley rank" ''Ann. Math. Logic'' , '''17''' (1979) pp. 1–28 {{MR|0552414}} {{ZBL|0427.20001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> B. Poizat, "Groupes stables" , Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne (1987) {{MR|0902156}} {{MR|0895648}} {{ZBL|0633.03019}} {{ZBL|0626.03025}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> B.I. Zil'ber, "Groups and rings whose theory is categorical" ''Fundam. Math.'' , '''55''' (1977) pp. 1730188 {{MR|}} {{ZBL|0745.03029}} </TD></TR></table> |
Revision as of 16:29, 24 March 2012
A group such that the formula
has finite Morley rank in the theory
. (Cf. also Model theory.) Sometimes
appears as a definable group in a structure
and in this context
is said to have finite Morley rank if the formula defining
in
has finite Morley rank with respect to the theory of
.
There is a well-developed theory of groups of finite Morley rank, both from the model-theoretic and group-theoretic point of view. The theory began with B.I. Zil'ber's study [a4] of groups definable in uncountably categorical structures. G.L. Cherlin's paper [a2] also played an important role in the early theory. Examples of groups of finite Morley rank are algebraic groups over algebraically closed fields (cf. Algebraic group). The Cherlin–Zil'ber conjecture says that any infinite non-commutative simple group of finite Morley rank is an algebraic group over an algebraically closed field. The conjecture remains unproved (1996). A certain amount of the theory of algebraic groups can be developed for groups of finite Morley rank, specifically the notions of generic type, connected component, and stabilizer. Another important technical tool is the Zil'ber indecomposability theorem, which states that if is a group of finite Morley rank and
, for
, is a family of definable subsets of
satisfying some mild assumptions, then the subgroup of
generated by all the
is definable and connected. This is an analogue of the Borel theorem for algebraic groups.
The relevance of groups of finite Morley rank for model theory comes from a theorem of Zil'ber which states that if is a model of an uncountably categorical theory (cf. Categoricity in cardinality), then
is built up from a set of Morley rank
by a finite sequence of "definable fibre bundles" .
Much of the recent work on the Cherlin–Zil'ber conjecture is contained in [a1].
A vast generalization of the theory of groups of finite Morley rank is the theory of stable groups, due essentially to B. Poizat [a3].
References
[a1] | A. Borovik, A. Nesin, "Groups of finite Morley rank" , Oxford Univ. Press (1994) MR1321141 MR1273276 MR1273275 Zbl 0816.20001 Zbl 0818.20031 Zbl 0818.20030 |
[a2] | G. Cherlin, "Groups of small Morley rank" Ann. Math. Logic , 17 (1979) pp. 1–28 MR0552414 Zbl 0427.20001 |
[a3] | B. Poizat, "Groupes stables" , Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne (1987) MR0902156 MR0895648 Zbl 0633.03019 Zbl 0626.03025 |
[a4] | B.I. Zil'ber, "Groups and rings whose theory is categorical" Fundam. Math. , 55 (1977) pp. 1730188 Zbl 0745.03029 |
Group of finite Morley rank. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Group_of_finite_Morley_rank&oldid=21980