2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/149991The paper proves that if a reductive group scheme acts properly on a scheme then the geometric quotient exists as an algebraic space. As a consequence we obtain the existence of the moduli spcace of canonically polarized varieties over Spec Z.AMSTeX with AMSpptAlgebraic Geometrytext