A continuación se presentan una serie de definiciones que serán utilizadas luego: inverso (o proyectivo) sistema de grupos y homomorfismos.