Editing Direct limit (section)

===Direct limits of algebraic objects===
In this section objects are understood to consist of underlying [[Set (mathematics)|sets]] equipped with a given [[algebraic structure]], such as [[group (mathematics)|groups]], [[ring (mathematics)|rings]], [[module (mathematics)|modules]] (over a fixed ring), [[algebra over a field|algebras]] (over a fixed [[field (mathematics)|field]]), etc. With this in mind, ''[[homomorphism]]s'' are understood in the corresponding setting ([[group homomorphism]]s, etc.).

Let <math>\langle I,\le\rangle</math> be a [[directed set]]. Let <math>\{A_i : i\in I\}</math> be a family of objects [[index set|indexed]] by <math>I\,</math> and  <math> f_{ij}\colon A_i \rightarrow A_j </math> be a homomorphism for all <math>i \le j</math> with the following properties:
# <math>f_{ii}\,</math> is the identity on <math>A_i\,</math>, and
# <math>f_{ik}= f_{jk}\circ f_{ij}</math> for all <math>i\le j\le k</math>.
Then the pair <math>\langle A_i,f_{ij}\rangle</math> is called a '''direct system''' over <math>I</math>.

The '''direct limit''' of the direct system <math>\langle A_i,f_{ij}\rangle</math> is denoted by <math>\varinjlim A_i</math> and is defined as follows. Its underlying set is the [[disjoint union]] of the <math>A_i</math>'s [[Modulo (jargon)|modulo]] a certain {{nowrap|[[equivalence relation]] <math>\sim\,</math>}}:

:<math>\varinjlim A_i = \bigsqcup_i A_i\bigg/\sim.</math>

Here, if <math>x_i\in A_i</math> and <math>x_j\in A_j</math>, then <math>x_i\sim\, x_j</math> if and only if there is some <math>k\in I</math> with <math>i \le k</math> and <math>j \le k</math> such that <math>f_{ik}(x_i) = f_{jk}(x_j)\,</math>.
Intuitively, two elements in the disjoint union are equivalent if and only if they "eventually become equal" in the direct system. An equivalent formulation that highlights the duality to the [[inverse limit]] is that an element is equivalent to all its images under the maps of the direct system, i.e. <math>x_i\sim\, f_{ij}(x_i)</math> whenever <math>i \le j</math>.

One obtains from this definition ''canonical functions'' <math>\phi_j \colon A_j\rightarrow \varinjlim A_i</math> sending each element to its equivalence class. The algebraic operations on <math>\varinjlim A_i\,</math> are defined such that these maps become homomorphisms. Formally, the direct limit of the direct system <math>\langle A_i,f_{ij}\rangle</math> consists of the object <math>\varinjlim A_i</math> together with the canonical homomorphisms <math>\phi_j \colon A_j\rightarrow \varinjlim A_i</math>.