El libro de álgebra conmutativa de Atiyah/Macdonald pide al lector que haga dibujos del espectro primo de $\mathbb{Z}$ en el ejercicio 1.16. Lo trabajé por mi cuenta, descubrí cómo es el espacio como conjunto y dónde están los conjuntos abiertos/cerrados, pero cuando investigué un poco para comprobar mi trabajo encontré la siguiente imagen:
¿Qué se supone que representa exactamente la línea cuadriculada? $(0)$ ? Eso tiene un poco de sentido para mí, ya que el cierre de (0) es todo el espacio, pero contradice el hecho de que (0) es un solo punto en el espectro primo. Otra fuente dice que hay que dibujar $\operatorname{Spec}(\mathbb{Z})$ como una curva que pasa por los ideales $(2),(3),(5),\ldots$ y un punto separado a un lado para representar $(0)$ Pero, de nuevo, no entiendo cómo dibujar una curva ayuda a aclarar la estructura del espacio. ¿Por qué no dibujarlo como un conjunto discreto de puntos y omitir la curva?
Edición: Aquí hay otra suposición que se me acaba de ocurrir: Si ponemos la topología de complemento finito en la línea real y luego creamos un espacio cociente identificando cada punto que no es un entero positivo primo como un punto y lo llamamos (0), ¿tenemos $\operatorname{Spec}(\mathbb{Z})$ ? Si este es el caso, definitivamente ayudaría a justificar el dibujo.