Skip to main content
Fix a hypothesis.
Source Link
Qing Liu
  • 11.1k
  • 1
  • 42
  • 50

A correct statement would be : suppose Y is unramified/étale/smooth over X, then $Y\times_X Z\to X$ is unramfied/étale/smooth iff $Z\to X$ is.

[EDITED] According to Matt's remark below, we must suppose $Y\to X$ surjective.

A correct statement would be : suppose Y is unramified/étale/smooth over X, then $Y\times_X Z\to X$ is unramfied/étale/smooth iff $Z\to X$ is.

A correct statement would be : suppose Y is unramified/étale/smooth over X, then $Y\times_X Z\to X$ is unramfied/étale/smooth iff $Z\to X$ is.

[EDITED] According to Matt's remark below, we must suppose $Y\to X$ surjective.

Source Link
Qing Liu
  • 11.1k
  • 1
  • 42
  • 50

A correct statement would be : suppose Y is unramified/étale/smooth over X, then $Y\times_X Z\to X$ is unramfied/étale/smooth iff $Z\to X$ is.