Bourbaki

Exercise 21, § 4

Commutative Algebra, II, 145

Let (Aα,ϕβα)(A_\alpha, \phi_{\beta\alpha}) be a direct system of rings whose indexing set is directed, A=lim←⁡AαA = \varprojlim A_\alpha, and ϕα:Aα→A\phi_\alpha : A_\alpha \to A the canonical homomorphism. If we write Xα=Spec⁡(Aα)X_\alpha = \operatorname{Spec}(A_\alpha), (Xα,aϕβα)(X_\alpha, {}^a\phi_{\beta\alpha}) is an inverse system of topological spaces and, if X=Spec⁡(A)X = \operatorname{Spec}(A), the aϕα:X→Xα{}^a\phi_\alpha : X \to X_\alpha, form an inverse system of continuous mappings. Show that u=lim←⁡aϕαu = \varprojlim {}^a\phi_\alpha is a homeomorphism of XX onto lim←⁡Xα\varprojlim X_\alpha. (Prove first that, if, for all aa, pαp_\alpha is a prime ideal of AαA_\alpha, such that pα=ϕβα−1(pβ)p_\alpha = \phi_{\beta\alpha}^{-1}(p_\beta) for all a≤βa \leq \beta, the union pp of the ϕα(pα)\phi_\alpha(p_\alpha) is a prime ideal of AA; conversely, every prime ideal pp of AA is the union of the ϕα(pα)\phi_\alpha(p_\alpha), where pα=ϕα(p)p_\alpha = \phi_\alpha(p). Finally, if fα∈Aαf_\alpha \in A_\alpha and f=ϕα(fα)f = \phi_\alpha(f_\alpha), note that the relation p∈Xp \in X, is equivalent to

u(p)∈pr⁡α((Xα)fα)‾. u(p) \in \overline{\operatorname{pr}_\alpha((X_\alpha)_{f_\alpha})}.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.