Álgebra Residualmente Finita

Un álgebra en la que cualesquiera dos elementos distintos pueden separarse mediante un homomorfismo hacia algún álgebra finita; equivalentemente, la intersección de todas las congruencias de índice finito es la congruencia trivial.

Un álgebra es residualmente finita si para cada par de elementos distintos existe un homomorfismo desde el álgebra a alguna álgebra finita que los separa (sus imágenes son distintas); equivalente a que el álgebra se embebe en un producto directo de álgebras finitas.