Schemamorphismus/Endlicher Typ/Etale/Charakterisierung/Fakt

Sei

ein Schemamorphismus vom endlichen Typ. Dann sind folgende Aussagen äquivalent.
  1. ist étale.
  2. ist flach und unverzweigt.