ScalingStacks

Theorem 2.1 . [026C]

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

Theorem 2.1.

If we set ℬ:={α∈A∣α is integral over 𝒜}\mathscr{B}:=\{\alpha\in A\mid\text{$\alpha$ is integral over $\mathscr{A}$}\}, then

ℬ=⋂x∈Spec⁡(A)𝒜an(A,|.|x)≤1,\mathscr{B}=\bigcap_{x\in\operatorname{Spec}(A)^{\mathrm{an}}_{\mathscr{A}}}(A,|\raisebox{1.72218pt}{.}|_{x})_{\leq 1},

where (A,|.|x)≤1:={α∈A∣|α|x≤1}(A,|\raisebox{1.72218pt}{.}|_{x})_{\leq 1}:=\{\alpha\in A\mid|\alpha|_{x}\leq 1\}.

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