Un metodo di decomposizione per sistemi finiti di funzioni invarianti rispetto ad un gruppo di congruenze