Add information to definition S_k

Thanks to Antoine Chambert-Loir
https://stacks.math.columbia.edu/tag/031O#comment-4258

algebra.tex

@@ -41620,9 +41620,11 @@ \section{Serre's criterion for normality}
 \end{definition}
 
 \noindent
-Any Noetherian ring has property $(S_0)$ (and so does any finite module
-over it). Our convention that $\dim(\emptyset) = -\infty$ guarantees
-that the zero module has property $(S_k)$ for all $k$.
+Any Noetherian ring has property $(S_0)$ and so does any finite module
+over it. Our convention that the depth of the zero module is $\infty$
+(see Section \ref{section-depth}) and the dimension of the empty set is
+$-\infty$ (see Topology, Section \ref{topology-section-krull-dimension})
+guarantees that the zero module has property $(S_k)$ for all $k$.
 
 \begin{lemma}
 \label{lemma-criterion-no-embedded-primes}