Homomorphismus- und Kongruenzanalyse algebraischer Abbildungen