ScalingStacks

\exemname 4.5.10 . [01SJ]

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

\exemname 4.5.10.

Supposons que Y=XredY=X_{\text{red}} et soit 𝗆\mathsf{m} la multiplicité générique de XX  ; le degré intégral de Y=XredY=X_{\text{red}} sur XX est alors égal à 1/𝗆1/\mathsf{m}. Ainsi si X=ℳ⁡(k⁡[ϵ])X=\mathscr{M}(k[\epsilon]) avec ϵN=0\epsilon^{N}=0 et ϵN−1≠0\epsilon^{N-1}\neq 0 pour un certain N≥1N\geq 1, on a Y=ℳ⁡(k)Y=\mathscr{M}(k), et le degré intégral de YY sur XX est égal à 1/N1/N.

Remarquons que le degré intégral de YY sur XX est encore égal à 1/𝗆1/\mathsf{m} si l’on suppose simplement que YY s’identifie génériquement avec XredX_{\text{red}}. C’est par exemple le cas lorsque YY est le normalisé de XX ([29], définition 5.10).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.