ScalingStacks

Proof. [026H]

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.

As tt is integral over AA, there are a1,…,ar−1∈Aa_{1},\ldots,a_{r-1}\in A such that

tr=a1​tr−1+⋯+ar−1​t+ar.t^{r}=a_{1}t^{r-1}+\cdots+a_{r-1}t+a_{r}.

We choose s∈Ss\in S such that s​ti∈Ast^{i}\in A for i=0,…,r−1i=0,\ldots,r-1. By induction on nn, we prove that s​tn∈Ast^{n}\in A for all n≥0n\geq 0. Note that

tn=a1​tn−1+⋯+ar−1​tn−r+1+ar​tn−r.t^{n}=a_{1}t^{n-1}+\cdots+a_{r-1}t^{n-r+1}+a_{r}t^{n-r}.

Thus, if s​ti∈Ast^{i}\in A for i=0,…,n−1i=0,\ldots,n-1, then s​tn∈Ast^{n}\in A because

s​tn=a1​(s​tn−1)+⋯+ar−1​(s​tn−r+1)+ar​(s​tn−r).st^{n}=a_{1}(st^{n-1})+\cdots+a_{r-1}(st^{n-r+1})+a_{r}(st^{n-r}).

∎

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