Gruppi di congruenze e matrici di restrizione