Algèbre Résiduellement Finie

Une algèbre telle que deux éléments distincts peuvent toujours être séparés par un homomorphisme vers une algèbre finie ; de manière équivalente l'intersection de toutes les congruences d'indice fini est la congruence triviale.

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.