Un grup rezidual finit sau rezidual finit este un grup astfel încât pentru orice element există un homomorfism într-un grup finit care satisface condiția .