## [Álgebra Residualmente Finita](/es/node/63630) Definición 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 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 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 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 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 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 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 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 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.