Análisis de homomorfismos y congruencias en mapeos algebraicos