  The virtual geometry of the moduli space of stable quotients is used to
obtain Chow relations among the kappa classes on the moduli space of
nonsingular genus g curves. In a series of steps, the stable quotient relations
are rewritten in successively simpler forms. The final result is the proof of
the Faber-Zagier relations (conjectured in 2000).
