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.

Principe

Rassembler toutes les informations sur les quotients finis en un seul objet topologique compact en prenant la limite projective sur le système dirigé des quotients finis, de sorte que les applications continues depuis l'objet complété correspondent à des familles compatibles d'applications sur les quotients finis.

Démonstration

La complétion profinie des entiers Z est la limite projective lim← Z/nZ, donnant les entiers profinis Ẑ ; la complétion profinie d'un groupe résiduellement fini G contient G de manière dense dans Ĝ et capture exactement les images dans les quotients finis de G.

Mauvaise application

Considérer la complétion profinie comme un produit direct algébrique des quotients finis ou l'identifier à des complétions pour des topologies non reliées ; supposer que l'application naturelle G → Ĝ est injective sans vérifier la résiduelle finitude ; confondre la complétion profinie complète avec une complétion pro-p ou une autre complétion restreinte.

Conséquence

La complétion profinie organise l'information de niveau fini et de type galoisien, donne des groupes topologiques compacts utiles en théorie des nombres et en théorie des groupes profinis, et permet des techniques reposant sur la continuité ; elle est fonctorielle et universelle pour les morphismes vers des cibles profinies.

Inversion

L'objet discret ou abstrait sans topologie enregistre davantage d'informations sur les quotients infinis mais n'a pas le contrôle topologique compact des quotients finis ; prendre des limites directes ou d'autres complétions (p-adiques) met l'accent sur d'autres types de limites et de topologies plutôt que sur tous les quotients finis.

Limite

S'applique aux objets algébriques pour lesquels les quotients finis ont un sens ; elle n'encode que les données des quotients finis et perd de l'information sur les quotients infinis ou les phénomènes non résiduellement finis. L'application canonique est injective exactement lorsque l'objet est résiduellement fini ; différentes pro-catégories (pro-p, profinie, prosolvable) enregistrent différentes classes de quotients finis.

Tension sémantique

La tension apparaît entre la complétion profinie et d'autres complétions (p-adique, m-adique) et entre la complétion profinie entière et les complétions restreintes (p. ex. pro-p) : elles fournissent toutes des complétions topologiques mais mettent l'accent sur des familles de quotients finis distinctes et ont des conséquences algébriques/topologiques différentes.

Synthèse

La complétion profinie rassemble toute l'information des quotients finis d'un objet algébrique en un seul objet topologique compact et totalement discontinu par une limite projective, fournissant un récepteur profinie universel pour les morphismes reflétant le comportement fini-niveau tout en éliminant les données propres aux quotients infinis.