Let $R$ be a commutative ring with a unit. $\newcommand{\spec}{\operatorname{Spec}}\spec(R)$ denotes the set of all prime ideals in $R$, and it can be topologized using the Zariski topology.
Last year I took a course in commutative algebra, and we had some exercises proving that $\spec(R)$ is always $T_0$, and sometimes is or is not $T_1$. And I had spent a good deal of brain cycles in understanding how convergence looks like in $\spec(\Bbb Z)$ (not because anyone asked, I just wanted to figure this out). We never really went anywhere deeper than a few homework questions about the possible topological structure of $\spec(R)$ and $\spec_\max(R)$.
But now I am wondering, what does the topology tell us about $R$? Does the fact that a certain net of ideals converges tells us anything useful? Or are there general constructions in algebra which exploit certain properties of the topology on $\spec(R)$ for one thing or another?
Best Answer
Edit. It was already asked before on math.SE how convergence looks like in the Zariski topology.
There are lots of connections between topological properties of $\mathrm{Spec}(R)$ and algebraic properties of $R$. They can be found in many introductions to algebraic geometry or commutative algebra, for example Atiyah's book, Eisenbud's book, EGA, etc. But the topology doesn't recover the whole algebraic structure, since for example the spectrum of a local artinian ring consists just of one single point; more generally $\mathrm{Spec}(R)$ is homeomorphic to $\mathrm{Spec}(R_{\mathrm{red}})$. This means that the topology can only "see" the ring modulo nilpotents. This is why affine schemes come equipped with the structure sheaf, and are able to reconstruct the ring completely. Anyway, here is a list of the connections:
$\mathrm{Spec}(R)$ is always spectral, i.e. it is sober, quasi-compact, and has a basis consisting of quasi-compact open subsets which is stable under intersections.
$\mathrm{Spec}(R)$ is Hausdorff iff $\mathrm{Spec}(R)$ is $T_1$ iff $\mathrm{dim}(R)=0$ (R. Gilmer, Background and preliminaries on zero-dimensional rings, Zero-dimensional Comutative Rings, Marcel Dekker, New York, 1995, pp. 1-13).
$\mathrm{Spec}(R)$ is connected iff $0,1$ are the only idempotents of $R$. More generally, if $X$ is a locally ringed space, then $f \mapsto X_f$ is a bijection between idempotents in $\Gamma(X,\mathcal{O}_X)$ and clopen subsets of $X$.
There is an anti-isomorphism between the closed subsets of $\mathrm{Spec}(R)$ and the radical ideals of $R$. It follows, for example, that $\mathrm{Spec}(R)$ is noetherian as a topological space iff every ascending chain of radical ideals of $R$ becomes stationary. For example, $\mathrm{Spec}(R)$ is noetherian if $R$ is noetherian (but not conversely).
Under the anti-isomorphism above, the irreducible closed subsets correspond to the prime ideals of $R$. It follows that the topological dimension of $\mathrm{Spec}(R)$ coincides with the Krull dimension of $R$.
The closed points of $\mathrm{Spec}(R)$ correspond to the maximal ideals of $R$. For example, $\mathrm{Spec}(R)$ has a unique closed point iff $R$ is local.
The generic points of $\mathrm{Spec}(R)$ correspond to the minimal prime ideals of $R$. It follows that $\mathrm{Spec}(R)$ is irreducible iff $R$ has only one minimal prime ideal iff $\mathrm{rad}(R)$ is a prime ideal.
Additional remarks:
(a) Not every connected affine scheme is path-connected, see here.
(b) More sophisticated topological properties can be found at the Stacks Project, see topology for the notions of catenary, jacobson, constructible, proper, etc. and algebra for the corresponding properties of rings.
(c) Convergent nets or sequence aren't used so often in algebraic geometry. Even the definition of a complete variety (more generally proper morphisms) doesn't refer to the usual notion of completeness in topological spaces, but rather to a more abstract one where the net is replaced by a $K$-valued point, and its limit is replaced by an $A$-valued point, where $A$ is a valuation ring and $K$ is its field of fractions. Similarily, algebraic geometry needs a more abstract notion of the Hausdorff separation property, namely that of separatedness, which can be characterized by the condition that the abstract limits above are unique iff they exist. In general, one has to adjust the notions and techniques from topology and differential geometry in order to apply them to algebraic geometry. Sometimes even the topology has to be adjusted, for example the Inverse Function Theorem becomes only valid in the etale topology.
Of course you can try to find convergent nets or sequences in (affine) schemes, but in my opinion this is not the best way to get comfortable with them, and probably nets are not really useful in this context, since open sets tend to be quite large. For example, an algebraic curve carries the cofinite topology, plus a generic point, which implies that every sequence of pairwise distinct elements converges to any point.