Direct limit of abelian groups
= 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$.