Stable group

Stable group

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 Zilber (1977), suggests that infinite (ω-stable) simple groups are simple algebraic groups over algebraically closed fields. The conjecture would have followed from Zilber 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 PSL2(K) for some algebraicially closed field K that G interprets.
  • Tuna Altinel, Alexandre V. Borovik, and Gregory 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.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Stable (disambiguation) — Stable may refer to: *stable, a building in which livestock, usually horses, are kept. ** Stable, in professional wrestling, a group of wrestlers within a promotion who have a common element *the attribute of stability ** Chemically stable **… …   Wikipedia

  • Group psychotherapy — is a form of psychotherapy in which one or more therapists treat a small group of clients together as a group. The term can legitimately refer to any form of psychotherapy when delivered in a group format, including Cognitive behavioural therapy… …   Wikipedia

  • Group I catalytic intron — Group I catalytic introns are large self splicing ribozymes. They catalyze their own excision from mRNA, tRNA and rRNA precursors in a wide range of organisms. The core secondary structure consists of nine paired regions (P1 P9). These fold to… …   Wikipedia

  • stable — stable1 [stā′bəl] adj. stabler, stablest [ME < OFr estable < L stabilis < stare, to STAND] 1. a) not easily moved or thrown off balance; firm; steady b) not likely to break down, fall apart, or give way; fixed c) firm in character, p …   English World dictionary

  • group — group, social group A number of individuals, defined by formal or informal criteria of membership, who share a feeling of unity or are bound together in relatively stable patterns of interaction. The latter criterion is necessary in order to… …   Dictionary of sociology

  • Stable — group of people associated with a particular company: the latest addition to the record company s stable of artists …   Dictionary of Australian slang

  • Stable theory — For differential equations see Stability theory. In model theory, a complete theory is called stable if it does not have too many types. One goal of classification theory is to divide all complete theories into those whose models can be… …   Wikipedia

  • Group (sociology) — In sociology, a group can be defined as two or more humans that interact with one another, accept expectations and obligations as members of the group, and share a common identity. By this definition, society can be viewed as a large group,… …   Wikipedia

  • Stable curve — In algebraic geometry, a stable curve is an algebraic curve that is asymptotically stable in the sense of geometric invariant theory. This is equivalent to the condition that it is a complete connected curve whose only singularities are ordinary… …   Wikipedia

  • Group 2 organometallic chemistry — The group 2 elements are known to form organometallic compounds. .[1][2] Of these, organomagnesium compounds, usually in the form of Grignard reagents are widely used in organic chemistry, while the other organometallic compounds of this group… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”