Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The following is true? Why?

Let $P$ be a property of morphisms preserved under base change and composition. Let $X\to Y$ and $X'\to Y'$ be morphisms of $S$-schemes with property $P$. Then the unique morphism $X\times_S X' \to Y\times_S Y'$ has property $P$.

share|cite|improve this question
Of course this has nothing to do with schemes. – Martin Brandenburg Feb 16 '13 at 18:39
Thank you for the nice hint. – Tom Feb 17 '13 at 0:42
up vote 3 down vote accepted

Yes this is true.

The canonical morphism $X\times_S X'\to Y\times_S Y'$ is the composition of $X\times_S X'\to Y\times_S X'$ and $Y\times_S X'\to Y\times_S Y'$. The latter verify property P because they are obtained by base change (the first one is $X\to Y$ base changed to $Y\times_S X'$, the second one is similar). As P is stable by composition, your canonical morphism satisfies P.

share|cite|improve this answer
I understood. Thank you very much for your kind help. – Tom Feb 17 '13 at 0:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.