Spectre d'anneaux de polynômes sur une suite croissante d'anneaux. (Spectrum of polynomial rings over an ascending chain of rings) (Q1080894)

On considère une suite croissante d'anneaux (commutatifs et unitaires), soit \({\mathcal A}=(A_ n)_{n\in {\mathbb{N}}}\), et on étudie l'anneau gradué \({\mathcal A}[X]=\oplus _{n\in {\mathbb{N}}}A_ nX^ n.\quad On\) montre que le spectre de \({\mathcal A}[X]\) ne dépend que de \(A_ 0\) et de la réunion \(A=\cup _{n\in {\mathbb{N}}}A_ n\), de façon précise si \({\mathcal A}'\) désigne la suite \((A_ n')_{n\in {\mathbb{N}}}\) où \(A_ 0'=A_ 0\) et \(A_ n'=A\), pour \(n\geq 1\), on montre que l'application canonique \(Spec {\mathcal A}'[X]\to Spec {\mathcal A}[X]\) est un homéomorphisme. On donne un encadrement de la dimension de Krull de \({\mathcal A}[X]\), soit dim A[X]\(\leq \dim {\mathcal A}[X]\leq \dim A[X]+\dim A_ 0\). On termine par des exemples qui montrent que cette dimension varie entre ces bornes, suivant que les idéaux premiers de \(A_ 0\) se relèvent ou non dans A.