4.5.6 [01SF]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
4.5.6
Soit un espace -analytique irréductible de dimension , soit un espace -analytique et soit un morphisme fini. Soit la multiplicité générique de , et soit l’entier . Il résulte de ce qui précède que pour tout domaine affinoïde de , pour tout morphisme fini où est un espace -affinoïde, et pour tout point de tel que soit un corps, le degré de au-dessus de est égal au produit du degré de au-dessus de par . On dira que est le degré intégral de sur .