ScalingStacks

Proof. [04NK]

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

Proof.

The smoothness of ZZ (see Remark 2.1.1) implies that the primitive generators of σ\sigma form a ℤ\mathbb{Z}-basis of NN, which is equivalent to the condition det((ul)l∈Lσ)=±1.\det((u_{l})_{l\in L_{\sigma}})=\pm 1. ∎

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