Complétion Profinie

La limite projective (pro-objet) de tous les quotients finis d'un groupe discret, d'un anneau ou d'un autre objet algébrique, munie de la topologie de limite inverse ; le résultat est un objet topologique profini (compact, totalement discontinu, de Hausdorff) qui encode la combinatoire des quotients finis.