"idempotenter Homomorphismus" Englisch