Semi-stable Reduction Implies Minimality of the Resultant

For a dynamical system on n-dimensional projective space over a number field or a function field, we show that semi-stable reduction implies the minimality of the resultant. We use this to show that every such dynamical system over a number field admits a globally minimal presentation.