arnaucube
arnaucube/mathPublic Self-hosted repository
fix ref label
arnaucube git@arnaucube.com
Wed, 12 Aug 2026 21:36:15 +0200
commit

dbb558a3124ac030e1aa43133dbbe789e7ee90e0

parent

844456247a7a1cea041b2824c648b24329df533c

2 files changed, 1 insertions(+), 1 deletions(-)

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

@@ -1961,7 +1961,7 @@

Since $J \subseteq m$, $P$ is also a zero for every polynomial in $J$; ie. every element of $J$ vanishes at $P$. $\Longrightarrow~ P \in V(J)$, and thus $V(J) \neq \emptyset$. This is what the Nullstellensatz first part states: -\begin{thm}{5.6}[Nullstellensatz] \label{nullstellensatz} +\begin{thm}{5.6}[Nullstellensatz] \label{nullstellensatz-again} Let $k$ be an algebraically closed field and let $J\subseteq k[X_1,\ldots,X_n]$ be an ideal. \begin{enumerate}[a.] \item if $J \subsetneq k[X_1, \ldots, X_n]$ then $V(J) \neq \emptyset$