## [Algèbre Résiduellement Finie](/fr/node/63630) Définition Une algèbre est résiduellement finie si pour chaque paire d'éléments distincts il existe un homomorphisme de l'algèbre vers une algèbre finie qui les sépare (leurs images sont distinctes) ; équivalemment l'algèbre s'injecte dans un produit direct d'algèbres finies. ## Principe Principe La résidualité finie exprime la séparabilité par quotients finis : l'intersection de toutes les congruences d'indice fini est la congruence diagonale, donc les points sont distingués par des applications vers des quotients finis. ## Démonstration Démonstration Exemple : le groupe infini cyclique Z est résiduellement fini car pour tout entier non nul n on peut choisir m tel que la projection Z→Z/mZ sépare n d'élément neutre ; les groupes libres et de nombreux groupes linéaires sont des exemples classiques d'objets résiduellement finis. ## Mauvaise application Mauvaise application Confondre résidualité finie et finitude (une algèbre résiduellement finie n'est pas nécessairement finie), ou la confondre avec la localement finitude, ou croire qu'elle consiste à s'injecter dans une seule algèbre finie plutôt que dans un produit d'algèbres finies. ## Conséquence Conséquence La résidualité finie permet souvent une approximation par structures finies, des plongements dans des complétions profinies, et peut impliquer des propriétés décidables (par exemple résolution du problème du mot pour de nombreux groupes) ; elle restreint aussi la structure des congruences et des quotients possibles. ## Inversion Inversion Le comportement contraire est une algèbre sans quotients finis non triviaux (ou où des éléments distincts ne peuvent être séparés par des quotients finis) ; une telle algèbre n'est pas résiduellement finie — certaines structures simples infinies ou des phénomènes de torsion peuvent empêcher la résidualité finie. ## Limite Limite La notion présuppose l'existence de quotients finis et n'a de sens que pour des signatures et des classes où existent des images homomorphes finies ; la résidualité finie n'assure pas une séparabilité effective d'un point de vue algorithmique et n'implique pas d'autres conditions de finitude comme la finitude locale ou la génération finie. ## Tension sémantique Tension sémantique Tension entre résidualité finie et approximations comme LEF (localement emboîable dans des finis) ou la soficité : ces notions sont apparentées mais diffèrent par la quantification et les cibles (plongements vs séparations homomorphes), il faut donc distinguer la nature de l'approximation finie recherchée. ## Synthèse Synthèse Une algèbre résiduellement finie est exactement une algèbre dont les éléments distincts peuvent être détectés par des applications vers des algèbres finies ; équivalemment elle s'injecte dans un produit de facteurs finis, ce qui rend possible son approximation par quotients finis et relie séparabilité algébrique, complétions profinies et conséquences algorithmiques.