Inverse system
= Inverse system
{wiki=Inverse_limit}
An inverse system is a family $(N_i)$ with transition maps $g_{ij}:N_j\to N_i$ for $i\le j$, satisfying $g_{ii}=1$ and $g_{ik}=g_{ij}g_{jk}$.
= Inverse system
{wiki=Inverse_limit}
An inverse system is a family $(N_i)$ with transition maps $g_{ij}:N_j\to N_i$ for $i\le j$, satisfying $g_{ii}=1$ and $g_{ik}=g_{ij}g_{jk}$.