Generic dichotomy for homomorphisms for E0ℕ

In this paper, we prove the following dichotomy. Given an analytic equivalence relation [Formula: see text], either [Formula: see text] or else any Borel homomorphism from [Formula: see text] to [Formula: see text] is “very far from a reduction”, specifically, it factors, on a comeager set, through the projection map [Formula: see text] for some [Formula: see text]. As a corollary, we prove that [Formula: see text] is a prime equivalence relation, answering a question on Clemens.