Direct limit of groups

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 finitary or stable groups, though this latter 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.

The notion of a direct limit captures many vague but intuitive ideas of "group limits": the finite Symmetric groups ${\displaystyle S_{n}}$ should limit to an infinite symmetric group and the subgroups of a group ${\displaystyle G}$ should limit to ${\displaystyle G}$, in some sense. Under the direct limit construction, group families (symmetric groups, dihedral groups, general linear groups , etc) will generally limit to the finitary or stable subgroup of the corresponding infinite group: the groups ${\displaystyle S_{n}}$ don't limit to the permutation group of a countable set, ${\displaystyle S_{\omega }}$, but do limit to its subgroup of permutations which permute only finitely many objects. We'll also often see that recovering a group as a direct limit of its subgroups can be done simply (and sometimes only) with its finitely generated subgroups. Direct limits have a more general definition in Category theory, which reduces to the definition below in the category of groups, and more generally, any concrete category.

Definition

Let ${\displaystyle I}$ be a set with a transitive, reflexive binary relation ${\displaystyle \preceq }$ (a preorder). We call ${\displaystyle I}$ a directed set if, for all ${\displaystyle i}$ and ${\displaystyle j}$ in ${\displaystyle I}$, there exists some ${\displaystyle k\in I}$ such that ${\displaystyle i\preceq k}$ and ${\displaystyle j\preceq k}$. Let ${\displaystyle \{G_{i}\}}$ be a family of groups indexed by ${\displaystyle I}$ with group homomorphisms ${\displaystyle f_{i,j}:G_{i}\to G_{j}}$ for all ${\displaystyle i\preceq j}$ in ${\displaystyle I}$ such that

1. ${\displaystyle f_{i,i}=\operatorname {id} _{G_{i}}}$ for all ${\displaystyle i}$ in ${\displaystyle I}$
2. ${\displaystyle f_{j,k}\circ f_{i,j}=f_{i,k}}$ for all ${\displaystyle i\preceq j\preceq k}$ in ${\displaystyle I}$.

The pair ${\displaystyle \langle G_{i},f_{i,j}\rangle }$ is called a direct system, and we form the set. The direct limit of the direct system ${\displaystyle \langle G_{i},f_{ij}\rangle }$ is denoted by ${\displaystyle \varinjlim G_{i}}$ and is defined on equivalence classes of the disjoint union of the ${\displaystyle G_{i}}$ with ${\displaystyle x_{i}\sim x_{j}}$ for ${\displaystyle x_{i}\in G_{i}}$ and ${\displaystyle x_{j}\in G_{j}}$ if ${\displaystyle f_{i,k}(x_{i})=f_{j,k}(x_{j})}$, where ${\displaystyle k}$ is the upper bound of ${\displaystyle i}$ and ${\displaystyle j}$. That is,

${\displaystyle \varinjlim G_{i}{\text{ has underlying set }}\bigsqcup _{i\in I}G_{i}{\bigg /}\sim .}$

For ${\displaystyle x_{i}\in G_{i}}$, ${\displaystyle x_{j}\in G_{j}}$, and upper bound ${\displaystyle k}$ of ${\displaystyle i}$ and ${\displaystyle j}$, we define the binary operation on ${\displaystyle \varinjlim G_{i}}$ by setting ${\displaystyle [x_{i}]\cdot [x_{j}]=[f_{i,k}(x_{i})f_{j,k}(x_{k})]}$, where the multiplication ${\displaystyle f_{i,k}(x_{i})f_{j,k}(x_{k})}$ is performed in ${\displaystyle G_{k}}$. The operation is well defined by the compatibility condition on the ${\displaystyle f_{i,j}}$, and associativity follows from associativity in the ${\displaystyle G_{i}}$. Since each map ${\displaystyle f_{i,j}}$ is a homomorphism, all identities lie in the same equivalence class, and this class forms the identity of ${\displaystyle \varinjlim G_{i}}$. Finally, the inverse of ${\displaystyle [x_{i}]}$ for ${\displaystyle x_{i}\in G_{i}}$ is simply ${\displaystyle [x_{i}^{-1}]}$.

Like many categorical constructions, direct limits are unique in a strong sense: for two direct limits ${\displaystyle A}$ and ${\displaystyle B}$ of a direct system, there exists a unique isomorphism ${\displaystyle A\cong B}$.

Examples

• The set of ${\displaystyle \mathbb {Z} }$ under its usual order forms a directed set which indexes the family of finite symmetric groups ${\displaystyle S_{n}}$. With the usual embeddings ${\displaystyle f_{i,j}:S_{i}\to S_{j}}$, these groups and maps form a direct system with direct limit (isomorphic to) the subgroup of the symmetric group on countabaly many things ${\displaystyle S_{\omega }}$ which contains permutations permutating only finitely many objects. If the integers ${\displaystyle \mathbb {Z} }$ are viewed under the altenate partial order of divisibility, and only the approriate embeddings ${\displaystyle f_{i,j}:S_{i}\to S_{j}}$ are kept, the same direct limit is formed.
• For a prime number ${\displaystyle p}$, we form the direct system of factor groups ${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ with multiplication by ${\displaystyle p}$homomorphisms ${\displaystyle f_{i,i+1}:\mathbb {Z} /p^{i}\mathbb {Z} \rightarrow \mathbb {Z} /p^{i+1}\mathbb {Z} }$. Setting $${\displaystyle f_{i,i+j}=f_{i+j-1,i+j}\circ \dots f_{i+1,i+2}\circ f_{i,i+1}}$$ forms a direct system with direct limit called the Prüfer group ${\displaystyle \mathbb {Z} (p^{\infty })}$. One exists for each prime ${\displaystyle p}$ and consists of all ${\displaystyle p^{\text{th}}}$ roots of unity of all powers of ${\displaystyle p}$. This demonstrates that for totally ordered index sets, only the maps ${\displaystyle f_{i,i+1}}$ need to be specified.
• Each family of classical groups forms a direct system, via inclusion of matrices in the upper left corner, such as ${\displaystyle \operatorname {GL} (n,A)\to \operatorname {GL} (n+1,A)}$with a ${\displaystyle 1}$ on the remaining diagonal entry and zeros everywhere else. The stable groups are denoted ${\displaystyle \operatorname {GL} (A)}$ or ${\displaystyle \operatorname {GL} (\infty ,A)}$. 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 ${\displaystyle \operatorname {GL} (A)}$. Stable homotopy groups of spheres are the stable groups associated with the suspension functor.

Properties

• If ${\displaystyle \langle G_{i},f_{i,j}\rangle }$ is a direct system with index set ${\displaystyle I}$ containing maximum element ${\displaystyle n}$, then ${\displaystyle \varinjlim G_{i}}$ is (isomorphic to) ${\displaystyle G_{n}}$. Similarly, if there exists some ${\displaystyle i\in I}$ such that for all ${\displaystyle j,k\geq i}$, ${\displaystyle G_{j}=G_{k}}$, then ${\displaystyle \varinjlim G_{n}}$ is (isomorphic to) ${\displaystyle G_{i}}$.
• The collection of finitely generated subgroups ${\displaystyle H_{i}}$ of a given group ${\displaystyle G}$ can be partially ordered by inclusion. Finite sets of finitely generated subgroups ${\displaystyle \{\langle X_{1}\rangle ,\langle X_{2}\rangle ,\dots \langle X_{n}\rangle \}}$ are contained in the finitely generated subgroup ${\displaystyle \langle \cup X_{i}\rangle }$, so the index set is indeed directed. With the inclusion morphisms ${\displaystyle f_{i,j}:H_{i}\to H_{j}}$, the direct limit is simply (isomorphic to) ${\displaystyle G}$. An analogous result holds for rings, modules, algebras, etc. Note the requirement of finite generation may be weakened, as long as the index set remains directed. Often times, this is only possible if the entire group is included in the collection of subgroups.
• Say${\displaystyle \langle G_{i},f_{i,j}\rangle }$ is a direct system with index set ${\displaystyle (I,\preceq )}$, and a ${\displaystyle \leq }$ is an sub preorder on ${\displaystyle I}$ such that ${\displaystyle (I,\leq )}$ is a directed set and upper bounds under ${\displaystyle \leq }$ are upper bounds under ${\displaystyle \preceq }$. Then the directed systems ${\displaystyle \langle G_{i},f_{i,j}\rangle _{(I,\preceq )}}$ and ${\displaystyle \langle G_{i},f_{i,j}\rangle _{(I,\leq )}}$ are isomorphic

See also

• Inverse limit  – Construction in category theory