##  [Complétion Profinie](/fr/node/60243) 

  ##  [Complétion Profinie](https://mathlogic.quantumdictionary.io/fr/node/60244) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.