Остаточно конечная или финитно аппроксимируемая группа — группа G {\displaystyle G} такая, что для любого элемента g ≠ 1 {\displaystyle g\neq 1} найдётся гомоморфизм h : G → F {\displaystyle h\colon G\to F} в конечную группу F {\displaystyle F} , удовлетворяющий условию h ( g ) ≠ 1 {\displaystyle h(g)\neq 1} .