Direct limit of abelian groups (source code)

= Direct limit of abelian groups
{title2=$\varinjlim_aG_a$}

= Direct limit
{synonym}

The direct limit of a <direct system of abelian groups> is the quotient of $\bigoplus_aG_a$ by the relations identifying $g\in G_a$ with $\phi_{ab}(g)\in G_b$ whenever $a\leq b$.