M commutative-algebra-notes.pdf → commutative-algebra-notes.pdf

M commutative-algebra-notes.tex → commutative-algebra-notes.tex

@@ -1427,6 +1427,7 @@ \vspace{1cm}
 
 \section{Nullstellensatz}
 
+\subsection{Corollary from Weak Nullstellensatz}
 Note: for $k$ a field, $k[X_1, \ldots, X_n]$, $m$ maximal ideal; the residue field $K=k[X_1, \ldots, X_n]/m$ satisfies the Zariski's lemma (\ref{zariski}), thus $K$ is a finite algebraic extension of $k$.
 
 \vspace{0.3cm}