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.

Principio

La finitud residual expresa separabilidad por cocientes finitos: la intersección de todas las congruencias de índice finito es la congruencia identidad, de modo que los puntos se distinguen por mapas a álgebras factor finitas.

Demostración

Ejemplo: el grupo cíclico infinito Z es residualmente finito porque para cualquier entero no nulo n existe m tal que la proyección Z→Z/mZ separa n del neutro; los grupos libres y muchos grupos lineales son ejemplos clásicos de estructuras residualmente finitas.

Aplicación incorrecta

Confundir residualmente finito con finito (un álgebra residualmente finita no tiene por qué ser finita), o confundirlo con finitud local, o creer que significa embeberse en una sola álgebra finita en lugar de en un producto de álgebras finitas.

Consecuencia

La finitud residual suele permitir aproximación por estructuras finitas, embebimientos en completaciones profinitas y puede implicar propiedades decidibles (por ejemplo, la resolubilidad del problema de la palabra en muchos casos de grupos); también restringe la estructura de congruencias y cocientes posibles.

Inversión

El comportamiento contrario es un álgebra sin cocientes finitos no triviales (o donde elementos distintos no puedan separarse por cocientes finitos); tal álgebra no es residualmente finita — ciertas estructuras simples infinitas o fenómenos de torsión pueden impedir la finitud residual.

Límite

La noción presupone la existencia de cocientes finitos y tiene sentido sólo para firmas y clases donde existen imágenes homomorfas finitas; la finitud residual no garantiza separabilidad efectiva en términos computacionales ni implica otras condiciones de finitud como finitud local o generación finita.

Tensión semántica

Tensión entre finitud residual y aproximaciones como LEF (localmente embebible en finitos) o soficidad: estas nociones están relacionadas pero difieren en cuantificación y objetivos (embebimientos frente a separaciones homomorfas), por lo que hay que distinguir qué tipo de aproximación finita se pretende.

Síntesis

Un álgebra residualmente finita es precisamente la que permite detectar elementos distintos mediante mapas a álgebras finitas; equivalentemente se embebe en un producto de factores finitos, lo que la hace aproximable por cocientes finitos y vincula la separabilidad algebraica con completaciones profinitas y consecuencias algorítmicas.