Summary
In mathematics, a direct limit of groups is the direct limit of a direct system of groups. These are central objects of study in algebraic topology, especially stable homotopy theory and homological algebra. They are sometimes called stable groups, though this term normally means something quite different in model theory.
Certain examples of stable groups are easier to study than "unstable" groups, the groups occurring in the limit. This is a priori surprising, given that they are generally infinite-dimensional, constructed as limits of groups with finite-dimensional representations.
Examples edit
Each family of classical groups forms a direct system, via inclusion of matrices in the upper left corner, such as . The stable groups are denoted or .
Bott periodicity computes the homotopy of the stable unitary group and stable orthogonal group.
The Whitehead group of a ring (the first K-group) can be defined in terms of .
Stable homotopy groups of spheres are the stable groups associated with the suspension functor.
See also edit
- Direct limit – Special case of colimit in category theory
- Direct system – In mathematics, process for extending a category
- Inverse limit – Construction in category theory