Stable group

Last updated November 21, 2023

In model theory, a stable group is a group that is stable in the sense of stability theory. An important class of examples is provided by groups of finite Morley rank (see below).

Examples

A group of finite Morley rank is an abstract group G such that the formula x = x has finite Morley rank for the model G. It follows from the definition that the theory of a group of finite Morley rank is ω-stable; therefore groups of finite Morley rank are stable groups. Groups of finite Morley rank behave in certain ways like finite-dimensional objects. The striking similarities between groups of finite Morley rank and finite groups are an object of active research.
All finite groups have finite Morley rank, in fact rank 0.
Algebraic groups over algebraically closed fields have finite Morley rank, equal to their dimension as algebraic sets.
Sela (2006) showed that free groups, and more generally torsion-free hyperbolic groups, are stable. Free groups on more than one generator are not superstable.

The Cherlin–Zilber conjecture

The Cherlin–Zilber conjecture (also called the algebraicity conjecture), due to Gregory Cherlin (1979) and Boris Zil'ber (1977), suggests that infinite (ω-stable) simple groups are simple algebraic groups over algebraically closed fields. The conjecture would have followed from Zilber's trichotomy conjecture. Cherlin posed the question for all ω-stable simple groups, but remarked that even the case of groups of finite Morley rank seemed hard.

Progress towards this conjecture has followed Borovik’s program of transferring methods used in classification of finite simple groups. One possible source of counterexamples is bad groups: nonsoluble connected groups of finite Morley rank all of whose proper connected definable subgroups are nilpotent. (A group is called connected if it has no definable subgroups of finite index other than itself.)

A number of special cases of this conjecture have been proved; for example:

Any connected group of Morley rank 1 is abelian.
Cherlin proved that a connected rank 2 group is solvable.
Cherlin proved that a simple group of Morley rank 3 is either a bad group or isomorphic to PSL₂(K) for some algebraically closed field K that G interprets.
TunaAltinel,Alexandre V. Borovik,andGregory Cherlin ( 2008 ) showed that an infinite group of finite Morley rank is either an algebraic group over an algebraically closed field of characteristic 2, or has finite 2-rank.

Related Research Articles

In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and consequential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."

Jean-Pierre Serre is a French mathematician who has made contributions to algebraic topology, algebraic geometry and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inaugural Abel Prize in 2003.

In mathematics, G₂ is the name of three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras $as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups. G 2 has rank 2 and dimension 14. It has two fundamental representations, with dimension 7 and 14.$

<span class="mw-page-title-main">Simon Donaldson</span> English mathematician

Sir Simon Kirwan Donaldson is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. He is currently a permanent member of the Simons Center for Geometry and Physics at Stony Brook University in New York, and a Professor in Pure Mathematics at Imperial College London.

<span class="mw-page-title-main">Jean Dieudonné</span> French mathematician (1906–1992)

Jean Alexandre Eugène Dieudonné was a French mathematician, notable for research in abstract algebra, algebraic geometry, and functional analysis, for close involvement with the Nicolas Bourbaki pseudonymous group and the Éléments de géométrie algébrique project of Alexander Grothendieck, and as a historian of mathematics, particularly in the fields of functional analysis and algebraic topology. His work on the classical groups, and on formal groups, introducing what now are called Dieudonné modules, had a major effect on those fields.

In mathematical logic, Morley rank, introduced by Michael D. Morley (1965), is a means of measuring the size of a subset of a model of a theory, generalizing the notion of dimension in algebraic geometry.

<span class="mw-page-title-main">Yuri Manin</span> Russian mathematician (1937–2023)

Yuri Ivanovich Manin was a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics.

Phillip Augustus Griffiths IV is an American mathematician, known for his work in the field of geometry, and in particular for the complex manifold approach to algebraic geometry. He is a major developer in particular of the theory of variation of Hodge structure in Hodge theory and moduli theory, which forms part of transcendental algebraic geometry and which also touches upon major and distant areas of differential geometry. He also worked on partial differential equations, coauthored with Shiing-Shen Chern, Robert Bryant and Robert Gardner on Exterior Differential Systems.

In mathematics, the Steinberg representation, or Steinberg module or Steinberg character, denoted by St, is a particular linear representation of a reductive algebraic group over a finite field or local field, or a group with a BN-pair. It is analogous to the 1-dimensional sign representation ε of a Coxeter or Weyl group that takes all reflections to –1.

In mathematics, an affine Hecke algebra is the algebra associated to an affine Weyl group, and can be used to prove Macdonald's constant term conjecture for Macdonald polynomials.

In the mathematical field of model theory, a theory is called stable if it satisfies certain combinatorial restrictions on its complexity. Stable theories are rooted in the proof of Morley's categoricity theorem and were extensively studied as part of Saharon Shelah's classification theory, which showed a dichotomy that either the models of a theory admit a nice classification or the models are too numerous to have any hope of a reasonable classification. A first step of this program was showing that if a theory is not stable then its models are too numerous to classify.

János Kollár is a Hungarian mathematician, specializing in algebraic geometry.

Michael Makkai is Canadian mathematician of Hungarian origin, specializing in mathematical logic. He works in model theory, category theory, algebraic logic, type theory and the theory of topoi.

Aleksandr Sergeyevich Merkurjev is a Russian-American mathematician, who has made major contributions to the field of algebra. Currently Merkurjev is a professor at the University of California, Los Angeles.

Charles Whittlesey Curtis is a mathematician and historian of mathematics, known for his work in finite group theory and representation theory. He is a retired professor of mathematics at the University of Oregon.

In finite group theory, a p-stable group for an odd prime p is a finite group satisfying a technical condition introduced by Gorenstein and Walter in order to extend Thompson's uniqueness results in the odd order theorem to groups with dihedral Sylow 2-subgroups.

Gary Michael Seitz is an American mathematician, a Fellow of the American Mathematical Society and a College of Arts and Sciences Distinguished Professor Emeritus in Mathematics at the University of Oregon. He received his Ph.D. from the University of Oregon in 1968, where his adviser was Charles W. Curtis. Seitz specializes in the study of algebraic and finite groups. Seitz has been active in the effort to exploit the relationship between algebraic groups and the finite groups of Lie type, in order to study the structure and representations of groups in the latter class. Such information is important in its own right, but was also critical in the classification of the finite simple groups, a major achievement of 20th century mathematics. Seitz made contributions to the classification of finite simple groups, such as those containing standard subgroups of Lie type. Following the classification, he pioneered the study of the subgroup structure of simple algebraic groups, and as an application went a long way towards solving the maximal subgroup problem for finite groups. For this work he received the Creativity Award from the National Science Foundation in 1991.

James Edward Humphreys was an American mathematician who worked in algebraic groups, Lie groups, and Lie algebras and applications of these mathematical structures. He is known as the author of several mathematical texts, such as Introduction to Lie Algebras and Representation Theory and Reflection Groups and Coxeter Groups.

Tuna Altınel is a Turkish mathematician, born February 12, 1966 in Istanbul, who has worked at the University Lyon 1 in France since 1996. He is a specialist in group theory and mathematical logic. With Alexandre Borovik and Gregory Cherlin, he proved a major case of the Cherlin–Zilber conjecture.

References

Altinel, Tuna; Borovik, Alexandre; Cherlin, Gregory (1997), "Groups of mixed type", J. Algebra, 192 (2): 524–571, doi: 10.1006/jabr.1996.6950 , MR 1452677
Altinel, Tuna; Borovik, Alexandre V.; Cherlin, Gregory (2008), Simple groups of finite Morley rank, Mathematical Surveys and Monographs, vol. 145, Providence, R.I.: American Mathematical Society, doi: 10.1090/surv/145 , ISBN 978-0-8218-4305-5, MR 2400564
Borovik, A. V. (1998), "Tame groups of odd and even type", in Carter, R. W.; Saxl, J. (eds.), Algebraic Groups and their Representations, NATO ASI Series C: Mathematical and Physical Sciences, vol. 517, Dordrecht: Kluwer Academic Publishers, pp. 341–366
Borovik, A. V.; Nesin, Ali (1994), Groups of Finite Morley Rank , Oxford Logic Guides, vol. 26, New York: Oxford University Press, ISBN 0-19-853445-0, MR 1321141
Burdges, Jeffrey (2007), "The Bender method in groups of finite Morley rank" (PDF), J. Algebra, 312 (1): 33–55, doi:10.1016/j.jalgebra.2005.10.009, MR 2320445, S2CID 9031997
Cherlin, G. (1979), "Groups of small Morley rank", Ann. Math. Logic, 17 (1–2): 1–28, doi: 10.1016/0003-4843(79)90019-6
Macpherson, Dugald (2010), "Review of "Simple groups of finite Morley rank" by T. Altinel, A. V. Borovik and G. Cherlin", Bulletin of the American Mathematical Society , 47 (4): 729–734, doi: 10.1090/S0273-0979-10-01287-5
Pillay, Anand (2001) [1994], "Group of finite Morley rank", Encyclopedia of Mathematics , EMS Press
Poizat, Bruno (2001), Stable groups, Mathematical Surveys and Monographs, vol. 87, Providence, RI: American Mathematical Society, pp. xiv+129, doi:10.1090/surv/087, ISBN 0-8218-2685-9, MR 1827833 (Translated from the 1987 French original.)
Scanlon, Thomas (2002), "Review of "Stable groups"", Bull. Amer. Math. Soc., 39 (4): 573–579, doi: 10.1090/S0273-0979-02-00953-9
Sela, Zlil (2006), Diophantine Geometry over Groups VIII: Stability, arXiv: math/0609096 , Bibcode:2006math......9096S
Wagner, Frank Olaf (1997), Stable groups, Cambridge University Press, ISBN 0-521-59839-7
Zil'ber, B. I. (1977), "Группы и кольца, теория которых категорична (Groups and rings whose theory is categorical)", Fundam. Math., 95: 173–188, doi: 10.4064/fm-95-3-173-188 , MR 0441720

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

Stable group

Contents

Examples

The Cherlin–Zilber conjecture

Related Research Articles

References